Expertises
Poles
Controllers
Linear Systems
Hybrid Automata
Robustness (Control Systems)
Feedback
Dynamical System
Invariant
Verbonden aan
Publicaties
Recent
Vettori, P., Polderman, J. W., & Langerak, R. (2014). A geometric approach to stability of linear reset systems. In Proceedings of the 21st International Symposium on Mathematical Theory of Networks and Systems, MTNS 2014 (pp. 776-783). Groningen: University of Groningen.
Kordy, P. T., Langerak, R., Mauw, S., & Polderman, J. W. (2014). A Symbolic Algorithm for the Analysis of Robust Timed Automata. In C. Jones, P. Pihlajasaari, & J. W. Sun (Eds.), 19th International Symposium on Formal Methods, FM 2014 (pp. 351-366). (Lecture Notes in Computer Science; Vol. 8442). London: Springer Verlag. DOI: 10.1007/978-3-319-06410-9_25
Pure Link
Vakken
Contactgegevens
Bezoekadres
Universiteit Twente
Faculteit Elektrotechniek, Wiskunde en Informatica
Zilverling
(gebouwnr. 11), kamer 3054
Hallenweg 19
7522NH Enschede
Postadres
Universiteit Twente
Faculteit Elektrotechniek, Wiskunde en Informatica
Zilverling
3054
Postbus 217
7500 AE Enschede