Thanikesavan Sivanthi, Srivas Chennu, Lothar Kreft. Modeling Decentralized Real-Time Control by State Space Partition of Timed Automata. In 9th IEEE International Symposium on Distributed Simulation and Real-Time Applications (DS-RT 2005), 10-12 October 2005, Montreal, Canada. pages 229-235, IEEE Computer Society, 2005. [doi]
Abstract is missing.