Stochastic analysis and control of real-time systems with random time delays
Automatica (Journal of IFAC)
Proceedings of the 40th annual Design Automation Conference
Network calculus: a theory of deterministic queuing systems for the internet
Network calculus: a theory of deterministic queuing systems for the internet
Co-design of cyber-physical systems via controllers with flexible delay constraints
Proceedings of the 16th Asia and South Pacific Design Automation Conference
Event density analysis for event triggered control systems
Proceedings of the Conference on Design, Automation and Test in Europe
Formal analysis of sporadic overload in real-time systems
DATE '12 Proceedings of the Conference on Design, Automation and Test in Europe
| Hi-index | 0.00 |
In networked control systems, a physical process interacts with digital computation and networks. Such systems are often called cyber-physical systems. To ensure a safe and reliable operation of such systems, timing aspects must be considered in the design process. This work introduces the delay density, a new delay model that links the timing requirements of the functional system with the underlying platform architecture. Thereby, the delay density describes the maximum and minimum cumulative delay in an interval of events. The delay density allows to specify the timing requirements in an expressive way and on the other hand defines guaranteed delay bounds. We show in this paper how to derive the delay specification from a control system and how to use real-time analysis methods to verify the delays.