A Metric Temporal Logic Specification Interface for Real-Time Discrete-Event Control.
Amrith DhananjayanKiam Tian SeowPublished in: IEEE Trans. Syst. Man Cybern. Syst. (2014)
Keyphrases
- discrete event
- real time
- dynamic systems
- simulation model
- supervisory control
- discrete event simulation
- metric temporal logic
- hybrid systems
- discrete event systems
- crisis response
- human machine interface
- dynamical systems
- control system
- data acquisition
- multiple faults
- manufacturing process
- mathematical modeling
- real time control
- low cost
- visual feedback
- complex systems
- formal specification
- computational intelligence
- user interface