Author of the publication

A Survey of Petri Net Methods for Controlled Discrete Event Systems.

, , and . Discrete Event Dynamic Systems, 7 (2): 151-190 (1997)

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

Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations., and . HSCC, volume 1569 of Lecture Notes in Computer Science, page 76-90. Springer, (1999)Verification of Supervisory Control Software Using State Proximity and Merging., , , and . HSCC, volume 4981 of Lecture Notes in Computer Science, page 344-357. Springer, (2008)Energy-Efficient Surveillance System Using Wireless Sensor Networks., , , , , , , , , and . MobiSys, ACM / USENIX, (2004)Dynamic steering control of conventionally-steered mobile robots., and . ICRA, page 390-395. IEEE, (1990)Petri Net Tools for the Specification and Analysis of Discrete Controllers., and . IEEE Trans. Software Eng., 16 (1): 39-50 (1990)A moving horizon state estimator in the control of thermostatically controlled loads for demand response., , , , , and . SmartGridComm, page 253-258. IEEE, (2013)Software Rejuvenation for Secure Tracking Control., , , and . CoRR, (2018)Formal verification of phase-locked loops using reachability analysis and continuization., , , , , and . Commun. ACM, 56 (10): 97-104 (2013)Context-Dependent Agents for Real-Time Scheduling in Manufacturing Systems., , and . IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 85-A (11): 2407-2413 (2002)Markov decision Processes with fractional costs., and . IEEE Trans. Automat. Contr., 50 (5): 646-650 (2005)