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

Integration of Formal Analysis into a Model-Based Software Development Process., , , , und . FMICS, Volume 4916 von Lecture Notes in Computer Science, Seite 68-84. Springer, (2007)A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata., , und . HSCC, Volume 4981 von Lecture Notes in Computer Science, Seite 187-200. Springer, (2008)From Analysis to Design.. FORMATS, Volume 4763 von Lecture Notes in Computer Science, Seite 4. Springer, (2007)Refinements of Approximating Automata for Synthesis of Supervisory Controllers for Hybrid Systems., , und . Hybrid Systems, Volume 1066 von Lecture Notes in Computer Science, Seite 475-484. Springer, (1995)Kinematics and open-loop control of an ilonator-based mobile platform., , und . ICRA, Seite 346-351. IEEE, (1985)Passivity-based robust control for power systems subject to wind power variability., , und . ACC, Seite 4149-4154. IEEE, (2011)Reachability analysis of hybrid control systems using reduced-order models., und . ACC, Seite 1183-1189. IEEE, (2004)Saturation-induced instability in electric power systems., , und . ACC, Seite 580-585. IEEE, (2008)Formal verification of Statecharts using finite-state model checkers., und . ACC, Seite 313-318. IEEE, (2001)Design of Software Rejuvenation for CPS Security Using Invariant Sets., , und . ACC, Seite 3740-3745. IEEE, (2019)