Cargando…
Automated formal synthesis of provably safe digital controllers for continuous plants
We present a sound and automated approach to synthesizing safe, digital controllers for physical plants represented as time-invariant models. Models are linear differential equations with inputs, evolving over a continuous state space. The synthesis precisely accounts for the effects of finite-preci...
| Autores principales: | , , , , , , |
|---|---|
| Formato: | Online Artículo Texto |
| Lenguaje: | English |
| Publicado: |
Springer Berlin Heidelberg
2019
|
| Materias: | |
| Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7056743/ https://www.ncbi.nlm.nih.gov/pubmed/32189718 http://dx.doi.org/10.1007/s00236-019-00359-1 |