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

Markov decision Processes with fractional costs., and . IEEE Trans. Automat. Contr., 50 (5): 646-650 (2005)A Survey of Petri Net Methods for Controlled Discrete Event Systems., , and . Discrete Event Dynamic Systems, 7 (2): 151-190 (1997)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)Inner Source Identification for Field Estimation in Wireless Sensor Networks., , and . ICASSP (4), page 853-856. IEEE, (2006)Satisficing feedback strategies for local navigation of autonomous mobile robots., and . IEEE Trans. Syst. Man Cybern., 20 (6): 1383-1395 (1990)Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows., and . IEEE Trans. Robotics Autom., 6 (6): 724-734 (1990)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)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)