Control verification via off-line co-simulation.
Mellitus EzemeEman M. HammadDeepa KundurPublished in: CCECE (2016)
Keyphrases
- discrete event
- control theory
- matlab simulink
- simulation model
- information systems
- control system
- mathematical model
- optimal control
- formal verification
- information retrieval
- simulation environment
- control problems
- control strategies
- pid control
- human operators
- process control
- control method
- case study
- artificial intelligence