Expertise
Poles
Controllers
Linear Systems
Hybrid Automata
Robustness (Control Systems)
Feedback
Dynamical System
Invariant
Organizations
Publications
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
UT Research Information System
Courses
Contact Details
Visiting Address
University of Twente
Faculty of Electrical Engineering, Mathematics & Computer Science
Zilverling
(building no. 11), room 3054
Hallenweg 19
7522NH Enschede
The Netherlands
Mailing Address
University of Twente
Faculty of Electrical Engineering, Mathematics & Computer Science
Zilverling
3054
P.O. Box 217
7500 AE Enschede
The Netherlands