loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Ninth IEEE International Symposium on Distributed Simulation and Real-Time Applications
Modeling Decentralized Real-Time Control by State Space Partition of Timed Automata
Montreal, Canada
October 10-October 11
ISBN: 0-7695-2462-1
ASCII Text
x 
 
Thanikesavan Sivanthi, Srivas Chennu, Lothar Kreft, "Modeling Decentralized Real-Time Control by State Space Partition of Timed Automata," Distributed Simulation and Real Time Applications, IEEE/ACM International Symposium on, pp. 229-235, Ninth IEEE International Symposium on Distributed Simulation and Real-Time Applications, 2005.
 
 
BibTex
x
 
@article{ 10.1109/DISTRA.2005.28,
author = {Thanikesavan Sivanthi and Srivas Chennu and Lothar Kreft},
title = {Modeling Decentralized Real-Time Control by State Space Partition of Timed Automata},
journal ={Distributed Simulation and Real Time Applications, IEEE/ACM International Symposium on},
volume = {0},
year = {2005},
isbn = {0-7695-2462-1},
pages = {229-235},
doi = {http://doi.ieeecomputersociety.org/10.1109/DISTRA.2005.28},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Distributed Simulation and Real Time Applications, IEEE/ACM International Symposium on
TI - Modeling Decentralized Real-Time Control by State Space Partition of Timed Automata
SN - 0-7695-2462-1
SP229
EP235
A1 - Thanikesavan Sivanthi,
A1 - Srivas Chennu,
A1 - Lothar Kreft,
PY - 2005
KW - null
VL - 0
JA - Distributed Simulation and Real Time Applications, IEEE/ACM International Symposium on
ER -
 
Thanikesavan Sivanthi, Department of Communication Networks Hamburg University of Technology Schwarzenberg Strasse, BA 4d, D - 21073, Germany
Srivas Chennu, Department of Communication Networks Hamburg University of Technology Schwarzenberg Strasse, BA 4d, D - 21073, Germany
Lothar Kreft, Department of Communication Networks Hamburg University of Technology Schwarzenberg Strasse, BA 4d, D - 21073, Germany

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 speci?ed 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.

Citation:
Thanikesavan Sivanthi, Srivas Chennu, Lothar Kreft, "Modeling Decentralized Real-Time Control by State Space Partition of Timed Automata," ds-rt, pp.229-235, Ninth IEEE International Symposium on Distributed Simulation and Real-Time Applications, 2005
Usage of this product signifies your acceptance of the Terms of Use.