Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems.
Federico MariIgor MelattiIvano SalvoEnrico TronciPublished in: CAV (2010)
Keyphrases
- feedback control
- hybrid systems
- linear time invariant
- closed loop
- discrete event
- optimal control
- dynamic systems
- black box
- adaptive control
- intelligent systems
- meta learning
- soft computing
- neural network
- artificial intelligence
- computational intelligence
- software development
- software systems
- development process
- machine learning
- source code
- dynamic programming
- data mining
- workflow systems
- linear model
- software engineering