Verification of embedded control systems by simulation and program execution control.
Stefan ResmeritaWolfgang PreePublished in: ACC (2012)
Keyphrases
- program execution
- control system
- matlab simulink
- multi processor
- process control
- control method
- micro controller
- simulation model
- real time
- control strategy
- closed loop
- embedded systems
- fuzzy control
- model checking
- real environment
- discrete event
- control policies
- mathematical model
- control law
- high level
- machine learning