Modeling Decentralized Real-Time Control by State Space Partition of Timed Automata

Sivanthi, Thanikesavan and Chennu, Srivas and Kreft, Lothar (2005) Modeling Decentralized Real-Time Control by State Space Partition of Timed Automata. In: DS-RT '05: Proceedings of the Ninth IEEE International Symposium on Distributed Simulation and Real-Time Applications. (Full text available)

Download (277kB) Preview


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 model-checking of the derived decentralized system against the same set of verifications as that specified for the centralized system. The complexity analysis of the algorithm is presented as a function of the number of tasks and nodes comprising the decentralized system.

Item Type: Conference or workshop item (Paper)
Uncontrolled keywords: Algorithms, Design, Performance, Theory
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Sciences > School of Computing
Depositing User: Srivas Chennu
Date Deposited: 24 Nov 2008 18:02 UTC
Last Modified: 12 Jan 2017 14:48 UTC
Resource URI: (The current URI for this page, for reference purposes)
  • Depositors only (login required):


Downloads per month over past year