Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

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