Integrated Real-Time Control And Scheduling For Safety Critical Cyber-Physical Systems
Abstract
Cyber-physical systems (CPS) must interact with varying environments at fine-grained time-scales, assuring control safety and stability while optimizing application-specific performance objectives. To address those requirements, co-design of real-time control and scheduling has received considerable attention over multiple decades, to allow rigorous assurance of system properties while enabling diverse forms of adaptation to changing operating conditions. In this paper, we present a new formalization of the periodicity requirements for control inputs to (1) guarantee reachability of safe (and avoidance of unsafe) portions of the system state space, (2) adaptively manage dynamic periodicity constraints that may change as the state space is traversed, and (3) express minimum periods to enable safe hand-offs between high-performance controllers and more conservative backup controllers. Our evaluations of this approach confirm that it is able to maintain system safety and stability while optimizing system performance.
Recommended Citation
M. Sudvarg et al., "Integrated Real-Time Control And Scheduling For Safety Critical Cyber-Physical Systems," Proceedings of the IEEE Real Time and Embedded Technology and Applications Symposium Rtas, pp. 310 - 323, Institute of Electrical and Electronics Engineers, Jan 2025.
The definitive version is available at https://doi.org/10.1109/RTAS65571.2025.00037
Department(s)
Computer Science
Keywords and Phrases
control and scheduling co-design; control barrier functions; Cyber-physical systems; real-time scheduling
International Standard Serial Number (ISSN)
1545-3421
Document Type
Article - Conference proceedings
Document Version
Citation
File Type
text
Language(s)
English
Rights
© 2026 Institute of Electrical and Electronics Engineers (IEEE), All rights reserved.
Publication Date
01 Jan 2025
Comments
National Science Foundation, Grant CNS-2303563