Sound and automated synthesis of digital stabilizing controllers for continuous plants
Modern control is implemented with digital microcontrollers, embedded within a dynamical plant that represents physical components. We present a new algorithm based on counterexample guided inductive synthesis that automates the design of digital controllers that are correct by construction. The syn...
| Main Authors: | , , , , , , |
|---|---|
| Format: | Conference item |
| Published: |
Association for Computing Machinery
2017
|