Author of the publication

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

A Survey of Petri Net Methods for Controlled Discrete Event Systems., , and . Discrete Event Dynamic Systems, 7 (2): 151-190 (1997)Computing Approximating Automata for a Class of Hybrid Systems, and . Mathematical and Computer Modelling of Dynamical Systems, 6 (1): 30--50 (2000)Markov decision Processes with fractional costs., and . IEEE Trans. Automat. Contr., 50 (5): 646-650 (2005)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)Robustness of supervisors for discrete-event systems., and . IEEE Trans. Automat. Contr., 44 (2): 376-379 (1999)Context-Dependent Agents for Real-Time Scheduling in Manufacturing Systems., , and . IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 85-A (11): 2407-2413 (2002)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)