Author of the publication

Optimal supervision of discrete event systems in a temporal logic framework.

, and . IEEE Trans. Syst. Man Cybern., 25 (12): 1595-1605 (1995)

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

Feedback control of packet loss for VPN services., and . ICON, page 583-587. IEEE, (2004)Designing Collaborative CORBA-based Environments., and . CAINE, page 276-278. ISCA, (2001)An Architecture for a Hardware Implementation of the OSPF Protocol., , and . CAINE, page 109-114. ISCA, (2004)Web Service Distributed Management Framework for Autonomic Server Virtualization., , , and . SVM, volume 18 of Communications in Computer and Information Science, page 61-71. (2008)Modeling and Simulation of an Operational Transformation Algorithm Using Finite State Machines., , and . SACI, page 119-124. IEEE, (2018)General untimed Petri net models for the general components of automatic transport systems with accumulation areas., , , and . SACI, page 423-428. IEEE, (2009)A new NIR camera for gesture control of electronic devices., , , , , and . SACI, page 179-184. IEEE, (2013)DynFace: A Multi-label, Dynamic-Margin-Softmax Face Recognition Model., , , and . CVC (1), volume 943 of Advances in Intelligent Systems and Computing, page 535-550. Springer, (2019)An Architecture for Multimedia over ATM Real-Time Environments., , and . ICMCS, page 630-631. IEEE Computer Society, (1997)A Hardware Implementation of Layer 2 MPLS., and . DELTA, page 401-404. IEEE Computer Society, (2006)