Sciweavers

RTSS
2015
IEEE

Periodically-Scheduled Controller Analysis Using Hybrid Systems Reachability and Continuization

8 years 7 months ago
Periodically-Scheduled Controller Analysis Using Hybrid Systems Reachability and Continuization
—Cyber-physical systems (CPS) consist of physical entities that obey dynamical laws and interact with software components. A typical CPS implementation includes a discrete controller, where software periodically samples physical state and produces actuation commands according to a real-time schedule. Such a hybrid system can be modeled formally as a hybrid automaton. However, reachability tools to verify specifications for hybrid automata do not perform well on such periodicallyscheduled models. This is due to a combination of the large number of discrete jumps and the nondeterminism of the exact controller start time. In this paper, we demonstrate this and propose a solution, which is a validated abstraction mechanism where every behavior of the original sampled system is contained in the behaviors of a purely continuous system with an additive nondeterministic input. Reachability tools for hybrid automata can better handle such systems. We further improve the analysis by consideri...
Stanley Bak, Taylor T. Johnson
Added 17 Apr 2016
Updated 17 Apr 2016
Type Journal
Year 2015
Where RTSS
Authors Stanley Bak, Taylor T. Johnson
Comments (0)