End-to-end arguments in embedded control systems
Event details
| Date | 21.06.2011 |
| Hour | 15:15 |
| Speaker | Prof. Rupak Majumdar, Max-Planck Institute for Software Systems |
| Location | |
| Category | Conferences - Seminars |
There is a semantic gap between the mathematics of control theory and the implementation of controllers on top of real-time operating systems. We show two examples ---stability analysis and controller-scheduler co-design--- of verification algorithms that perform an end-to-end analysis of control system implementations, translating the mathematical analysis of the control system to properties of the implementation. We also outline a theory of robustness for discrete systems, inspired by similar theories in robust control. Prof. Majumdar's homepage
Practical information
- General public
- Free