Search results for: Thomas Moor
Lecture Notes in Computer Science > Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems > Regular Papers > 52-67
Lecture Notes in Control and Information Sciences > Modelling, Analysis, and Design of Hybrid Systems > Analysis and Verification > 247-265
Lecture Notes in Computer Science > Hybrid Systems: Computation and Control > Regular Papers > 280-295
Lecture Notes in Control and Information Sciences > Control and Observer Design for Nonlinear Finite and Infinite Dimensional Systems > 199-216
Annual Reviews in Control > 2016 > 41 > C > 159-169
Discrete Event Dynamic Systems > 2015 > 25 > 1-2 > 95-124
52nd IEEE Conference on Decision and Control > 7291 - 7296
Discrete Event Dynamic Systems > 2002 > 12 > 1 > 83-107