Automated formal synthesis of digital controllers for state-space physical plants
We present a sound and automated approach to synthesize safe digital feedback controllers for physical plants represented as linear, time invariant models. Models are given as dynamical equations with inputs, evolving over a continuous state space and accounting for errors due to the digitalization...
| Main Authors: | , , , , , , , |
|---|---|
| Format: | Conference item |
| Published: |
International Conference on Computer-Aided Verification
2017
|