Modeling a Production Cell as a Distributed Real-Time System with Cottbus Timed Automata.
Dirk BeyerHeinrich RustPublished in: FBT (1998)
Keyphrases
- real time
- timed automata
- distributed systems
- real time systems
- vision system
- computer networks
- control system
- low cost
- mobile agents
- distributed stream processing
- high volume
- fault tolerant
- model checking
- software systems
- communication cost
- theorem proving
- modeling method
- peer to peer
- high speed
- multimedia communication
- shop floor
- knowledge representation
- reachability analysis
- multi agent