Author of the publication

Optimal Liveness-Enforcing Control for a Class of Petri Nets Arising in Multithreaded Software.

, , , , and . IEEE Trans. Autom. Control., 58 (5): 1123-1138 (2013)

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

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)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)Failure diagnosis of dynamic systems: an approach based on discrete event systems., , , , and . ACC, page 2058-2071. IEEE, (2001)Communication Obfuscation for Privacy and Utility against Obfuscation-Aware Eavesdroppers., , and . ACC, page 3363. IEEE, (2022)A new approach for synthesizing opacity-enforcing supervisors for partially-observed discrete-event systems., and . ACC, page 377-383. IEEE, (2015)Robust codiagnosability of discrete event systems., and . ACC, page 2202-2209. IEEE, (2009)