32 search results - page 1 / 7 » Modeling Decentralized Real-Time Control by State Space Part... |
DSRT
2005
IEEE
14 years 3 months ago
2005
IEEE
Timed automata provide useful state machine based representations for the validation and verification of realtime control systems. This paper introduces an algorithmic methodolog...
IJCSA
2007
13 years 9 months ago
2007
Timed Concurrent State Machines are an application of Alur’s Timed Automata concept to coincidence-based (rather than interleaving) CSM modeling technique. TCSM support the idea...
RTSS
2007
IEEE
14 years 4 months ago
2007
IEEE
We present a performance analysis technique for distributed real-time systems in a setting where certain components are modeled in a purely functional manner, while the remainin...
CIMCA
2006
IEEE
14 years 3 months ago
2006
IEEE
The MPSG (Message-based Part State Graph) model has been developed for the execution portion of shop-floor controllers that operate in a distributed and hierarchical control envir...
FBT
1998
13 years 11 months ago
1998
We build on work in designing modeling languages for hybrid systems in the development of CTA, the Cottbus Timed Automata. Our design features a facility to specify a hybrid system...