A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
Modeling decentralized real-time control by state space partition of timed automata
2005
Ninth IEEE International Symposium on Distributed Simulation and Real-Time Applications
Timed automata provide useful state machine based representations for the validation and verification of realtime control systems. This paper introduces an algorithmic methodology to translate the state space visualization of a centralized real-time control system to a decentralized one. Given a set of timed automata representing a centralized real-time control system, the algorithm partitions them into a collection of interacting submachines. Importantly, this methodology allows for
doi:10.1109/distra.2005.28
dblp:conf/dsrt/SivanthiCK05
fatcat:hey6h65iije23pg7gothmdjsia