A Formal Transparency Framework for Validation of Real-Time Discrete-Event Control Requirements Modeled by Timed Transition Graphs.
Amrith DhananjayanKiam Tian SeowPublished in: IEEE Trans. Hum. Mach. Syst. (2015)
Keyphrases
- discrete event
- dynamic systems
- real time
- simulation model
- hybrid systems
- supervisory control
- discrete event simulation
- dynamical systems
- crisis response
- discrete event systems
- real time systems
- real time control
- low cost
- probabilistic model
- manufacturing process
- complex systems
- transition model
- introduce a general framework
- control system