Automated formal synthesis of provably safe digital controllers for continuous plants
Sign Up to like & getrecommendations! Published in 2019 at "Acta Informatica"
DOI: 10.1007/s00236-019-00359-1
Abstract: 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… read more here.
Keywords: synthesis provably; safe digital; automated formal; digital controllers ... See more keywords