Verification of Embedded Supervisory Controllers Considering Hybrid Plant Dynamics.
Sebastian EngellSven LohmannOlaf StursbergPublished in: Int. J. Softw. Eng. Knowl. Eng. (2005)
Keyphrases
- control system
- control strategy
- process control
- control law
- real time control
- fuzzy logic
- dynamical systems
- model checking
- dynamic model
- control algorithm
- fuzzy pid
- controller design
- highly nonlinear
- control method
- closed loop
- position control
- control scheme
- neural network
- embedded systems
- hybrid learning
- control strategies
- formal verification
- verification method
- controller synthesis
- pid controller
- signature verification
- formal methods
- face verification
- fuzzy controller
- mathematical model
- reinforcement learning
- artificial intelligence