SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems.
Fedor ShmarovNicola PaolettiEzio BartocciShan LinScott A. SmolkaPaolo ZulianiPublished in: Haifa Verification Conference (2017)
Keyphrases
- hybrid systems
- pid controller
- discrete event
- intelligent systems
- closed loop
- black box
- computational intelligence
- meta learning
- fuzzy control
- neural network
- control system
- simulation model
- soft computing
- control algorithm
- dynamic systems
- global optimization
- evolutionary computation
- decision trees
- genetic algorithm
- machine learning