Timed Condition/Event Systems: A Framework for Modular Discrete Models of Chemical Plants and Verification of Their Real-Time Discrete Control.
Stefan KowalewskiJörg PreußigPublished in: TACAS (1996)
Keyphrases
- real time
- complex systems
- probabilistic model
- control system
- modeling framework
- distributed systems
- real time control
- low cost
- vision system
- process model
- computational models
- finite state machines
- discrete data
- physical systems
- event driven
- formal methods
- telecommunication systems
- event processing
- data acquisition
- management system
- event models
- safety critical
- control method
- hybrid intelligent systems
- discrete space
- autonomous systems
- mathematical models
- bayesian framework
- neural network