Author of the publication

Synthesis of Maximally Permissive Supervisors for Partially-Observed Discrete-Event Systems.

, and . IEEE Trans. Autom. Control., 61 (5): 1239-1254 (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Incorporating automation logic in online chemical production scheduling., , , , and . Comput. Chem. Eng., (2019)Diagnosability Analysis of a Class of Hierarchical State Machines., and . Discret. Event Dyn. Syst., 18 (3): 385-413 (2008)Supervisory control using variable lookahead policies., , and . Discret. Event Dyn. Syst., 4 (3): 237-268 (1994)On tolerable and desirable behaviors in supervisory control of discrete event systems., and . Discret. Event Dyn. Syst., 1 (1): 61-92 (1991)Optimal sensor selection for ensuring diagnosability in labeled bounded Petri nets., , and . WODES, page 208-213. International Federation of Automatic Control, (2012)Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions., , and . IEEE Trans. Automat. Contr., 64 (10): 4369-4376 (2019)An algorithm for maximising covered area., and . Int. J. Control, 81 (9): 1493-1505 (2008)Codiagnosability and coobservability under dynamic observations: Transformation and verification., and . Autom., (2015)Eliminating Concurrency Bugs in Multithreaded Software: A New Approach Based on Discrete-Event Control., , , , , , and . IEEE Trans. Control. Syst. Technol., 21 (6): 2067-2082 (2013)Eliminating Concurrency Bugs with Control Engineering., , , and . Computer, 42 (11): 52-60 (2009)