Distributed Diagnosis of Place-Bordered Petri Nets
Genc, S., Lafortune, S.
Published in IEEE transactions on automation science and engineering (01.04.2007)
Published in IEEE transactions on automation science and engineering (01.04.2007)
Get full text
Journal Article
Selection of coals of different maturities for CO2 Storage by modelling of CH4 and CO2 adsorption isotherms
GARNIER, Ch, FINQUENEISEL, G, ZIMNY, T, POKRYSZKA, Z, LAFORTUNE, S, DEFOSSEZ, P. D. C, GAUCHER, E. C
Published in International journal of coal geology (01.08.2011)
Published in International journal of coal geology (01.08.2011)
Get full text
Journal Article
Verification of Nonconflict of Supervisors Using Abstractions
Pena, P.N., Cury, J., Lafortune, S.
Published in IEEE transactions on automatic control (01.12.2009)
Published in IEEE transactions on automatic control (01.12.2009)
Get full text
Journal Article
Active diagnosis of discrete-event systems
Sampath, M., Lafortune, S., Teneketzis, D.
Published in IEEE transactions on automatic control (01.07.1998)
Published in IEEE transactions on automatic control (01.07.1998)
Get full text
Journal Article
Diagnosability of discrete-event systems
Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., Teneketzis, D.
Published in IEEE transactions on automatic control (01.09.1995)
Published in IEEE transactions on automatic control (01.09.1995)
Get full text
Journal Article
Minimization of Communication of Event Occurrences in Acyclic Discrete Event Systems
Weilin Wang, Lafortune, S., Feng Lin
Published in IEEE transactions on automatic control (01.10.2008)
Published in IEEE transactions on automatic control (01.10.2008)
Get full text
Journal Article
Multi-level hierarchical interface-based supervisory control
Hill, R.C., Cury, J.E.R., de Queiroz, M.H., Tilbury, D.M., Lafortune, S.
Published in Automatica (Oxford) (01.07.2010)
Published in Automatica (Oxford) (01.07.2010)
Get full text
Journal Article
Failure diagnosis using discrete-event models
Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., Teneketzis, D.C.
Published in IEEE transactions on control systems technology (01.03.1996)
Published in IEEE transactions on control systems technology (01.03.1996)
Get full text
Journal Article