RTComposer: a framework for real-time components with scheduling interfaces
EMSOFT '08 Proceedings of the 8th ACM international conference on Embedded software
Specification and Analysis of Network Resource Requirements of Control Systems
HSCC '09 Proceedings of the 12th International Conference on Hybrid Systems: Computation and Control
Scalable scheduling algorithms for wireless networkedcontrol systems
CASE'09 Proceedings of the fifth annual IEEE international conference on Automation science and engineering
A proposal for real-time interfaces in SPEEDS
Proceedings of the Conference on Design, Automation and Test in Europe
EMSOFT '10 Proceedings of the tenth ACM international conference on Embedded software
A hybrid approach to cyber-physical systems verification
Proceedings of the 49th Annual Design Automation Conference
State-based scheduling with tree schedules: analysis and evaluation
Real-Time Systems
Time-Triggered Implementations of Dynamic Controllers
ACM Transactions on Embedded Computing Systems (TECS) - Special Section on CAPA'09, Special Section on WHS'09, and Special Section VCPSS' 09
System architecture and software design for electric vehicles
Proceedings of the 50th Annual Design Automation Conference
Model-based development and verification of control software for electric vehicles
Proceedings of the 50th Annual Design Automation Conference
Cyber-physical system design contracts
Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems
| Hi-index | 0.00 |
For embedded control systems, a schedule for the allocation of resources to a software component can be described by an infinite word whose $i$th symbol models the resources used at the ith sampling interval. Dependency of performance on schedules can be formally modeled by an automaton (omega-regular language) which captures all the schedules that keep the system within performance requirements. We show how such an automaton is constructed for linear control designs and exponential stability or settling time performance requirements. Then, we explore the use of the automaton for online scheduling and for schedulability analysis. As a case study, we examine how this approach can be applied for the LQG control design. We demonstrate, by examples, that online schedulers can be used to guarantee performance in worst-case condition together with good performance in normal conditions. We also provide examples of schedulability analysis.