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

Context-Dependent Agents for Real-Time Scheduling in Manufacturing Systems., , and . IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 85-A (11): 2407-2413 (2002)Computing Approximating Automata for a Class of Hybrid Systems, and . Mathematical and Computer Modelling of Dynamical Systems, 6 (1): 30--50 (2000)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)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)Formal verification of phase-locked loops using reachability analysis and continuization., , , , , and . Commun. ACM, 56 (10): 97-104 (2013)Software Rejuvenation for Secure Tracking Control., , , and . CoRR, (2018)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)