Expertise
Uncertainty
Controllers
Robustness (Control Systems)
Poles
Adaptive Control Systems
Linear Systems
Controllability
Decoding
Synchronization
Case-Control
Linear Systems
Behavioral Approach
Interpolation Problem
Decoding
Geometric Approach
Switching Systems
Interpolation
Network Protocols
Time-Varying
Balancing
Dwell Time
Feedback
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