Holistic schedulability analysis for distributed hard real-time systems
Microprocessing and Microprogramming - Parallel processing in embedded real-time systems
Computer-controlled systems (3rd ed.)
Computer-controlled systems (3rd ed.)
`` Direct Search'' Solution of Numerical and Statistical Problems
Journal of the ACM (JACM)
On task schedulability in real-time control systems
RTSS '96 Proceedings of the 17th IEEE Real-Time Systems Symposium
Schedulability Analysis for Tasks with Static and Dynamic Offsets
RTSS '98 Proceedings of the IEEE Real-Time Systems Symposium
Time-triggered implementations of dynamic controllers
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
Task Scheduling for Control Oriented Requirements for Cyber-Physical Systems
RTSS '08 Proceedings of the 2008 Real-Time Systems Symposium
Delay-Aware Period Assignment in Control Systems
RTSS '08 Proceedings of the 2008 Real-Time Systems Symposium
Analysis of distributed control systems with shared communication and computation resources
ACC'09 Proceedings of the 2009 conference on American Control Conference
Integrated scheduling and synthesis of control applications on distributed embedded systems
Proceedings of the Conference on Design, Automation and Test in Europe
Integration of off-line scheduling and optimal control
Euromicro-RTS'00 Proceedings of the 12th Euromicro conference on Real-time systems
Performance-aware scheduler synthesis for control systems
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
A hybrid approach to cyber-physical systems verification
Proceedings of the 49th Annual Design Automation Conference
Designing High-Quality Embedded Control Systems with Guaranteed Stability
RTSS '12 Proceedings of the 2012 IEEE 33rd Real-Time Systems Symposium
Time-triggered implementations of mixed-criticality automotive software
DATE '12 Proceedings of the Conference on Design, Automation and Test in Europe
| Hi-index | 0.00 |
Many cyber-physical systems comprise several control applications sharing communication and computation resources. The design of such systems requires special attention due to the complex timing behavior that can lead to poor control quality or even instability. The two main requirements of control applications are: (1) robustness and, in particular, stability and (2) high control quality. Although it is essential to guarantee stability and provide a certain degree of robustness even in the worst-case scenario, a design procedure which merely takes the worst-case scenario into consideration can lead to a poor expected (average-case) control quality, since the design is solely tuned to a scenario that occurs very rarely. On the other hand, considering only the expected quality of control does not necessarily provide robustness and stability in the worst-case. Therefore, both the robustness and the expected control quality should be taken into account in the design process. This paper presents an efficient and integrated approach for designing high-quality cyber-physical systems with robustness guarantees.