The algorithmic analysis of hybrid systems
Theoretical Computer Science - Special issue on hybrid systems
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
Journal of the ACM (JACM)
Computer Controlled Systems: Theory and Design
Computer Controlled Systems: Theory and Design
On task schedulability in real-time control systems
RTSS '96 Proceedings of the 17th IEEE Real-Time Systems Symposium
Real-time control system analysis: an integrated approach
RTSS'10 Proceedings of the 21st IEEE conference on Real-time systems symposium
Controllers for reachability specifications for hybrid systems
Automatica (Journal of IFAC)
Sensor/actuator abstractions for symbolic embedded control design
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Verification of Safety and Liveness Properties of Metric Transition Systems
ACM Transactions on Embedded Computing Systems (TECS) - Special Section on CAPA'09, Special Section on WHS'09, and Special Section VCPSS' 09
| Hi-index | 0.00 |
We propose models that capture the influence of computation on the performance of computer-controlled systems, and make it possible to employ computational considerations in early stages of the design process of such systems. The problem of whether it is possible to meet performance requirements given resource constraints is phrased as a problem of synthesizing switching controllers for hybrid automata, for which we give algorithms that in some cases are guaranteed to terminate and in others can solve the problem in an approximate manner.