Quantized Feedback Control Software Synthesis from System Level Formal Specifications
Federico MariIgor MelattiIvano SalvoEnrico TronciPublished in: CoRR (2011)
Keyphrases
- feedback control
- formal specification
- object oriented design
- closed loop
- adaptive control
- optimal control
- open loop
- software testing
- formal methods
- software components
- specification languages
- autonomous control
- model checking
- specification language
- networked control systems
- object oriented systems
- machine learning
- software design
- software development
- source code
- concurrent systems
- object oriented
- database
- linear time invariant