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

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