InstitucionesIdentificadores de autorPeriodo de publicación recogido
|
|
|
Enforcing opacity by insertion functions under multiple energy constraints
Yiding Ji, Xiang Yin, Stéphane Lafortune
Automatica: A journal of IFAC the International Federation of Automatic Control, ISSN 0005-1098, Nº. 108, 2019
A general approach for optimizing dynamic sensor activation for discrete event systems
Xiang Yin, Stéphane Lafortune
Automatica: A journal of IFAC the International Federation of Automatic Control, ISSN 0005-1098, Nº. 105, 2019, págs. 376-383
Detection and mitigation of classes of attacks in supervisory control systems
Lilian K. Carvalho, Yi-Chin Wu, Raymond Chi-Wing Wong, Stéphane Lafortune
Automatica: A journal of IFAC the International Federation of Automatic Control, ISSN 0005-1098, Nº. 97, 2018, págs. 121-133
Enforcement of opacity by public and private insertion functions
Yiding Ji, Yi-Chin Wu, Stéphane Lafortune
Automatica: A journal of IFAC the International Federation of Automatic Control, ISSN 0005-1098, Vol. 93, 2018, págs. 369-378
Verification complexity of a class of observational properties for modular discrete events systems
Xiang Lin, Stéphane Lafortune
Automatica: A journal of IFAC the International Federation of Automatic Control, ISSN 0005-1098, Vol. 83, 2017, págs. 199-205
A new approach for the verification of infinite-step and -step opacity using two-way observers
Xiong Yin, Stéphane Lafortune
Automatica: A journal of IFAC the International Federation of Automatic Control, ISSN 0005-1098, Vol. 80, 2017, págs. 162-171
Codiagnosability and coobservability under dynamic observations: Transformation and verification
Xiong Yin, Stéphane Lafortune
Automatica: A journal of IFAC the International Federation of Automatic Control, ISSN 0005-1098, Vol. 61, 2015, págs. 241-252
Synthesis of insertion functions for enforcement of opacity security properties
Yi-Chin Wu, Stéphane Lafortune
Automatica: A journal of IFAC the International Federation of Automatic Control, ISSN 0005-1098, Vol. 50, Nº. 5, 2014, págs. 1336-1348
Optimal sensor selection for ensuring diagnosability in labeled Petri nets
M.P. Cabasino, Stéphane Lafortune, C. Seatzu
Automatica: A journal of IFAC the International Federation of Automatic Control, ISSN 0005-1098, Vol. 49, Nº. 8, 2013, págs. 2373-2383
Robust diagnosis of discrete-event systems against permanent loss of observations
Lilian K. Carvalho, Marcos V. Moreira, Joao C. Basilio, Stéphane Lafortune
Automatica: A journal of IFAC the International Federation of Automatic Control, ISSN 0005-1098, Vol. 49, Nº. 1, 2013, págs. 223-231
Introduction to discrete event systems
Christos G. Cassandras, Stéphane Lafortune
New York : Springer, [2008. ISBN 978-0-387-33332-8
Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Dialnet. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.
© 2001-2024 Fundación Dialnet · Todos los derechos reservados