Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications

Specifications considered in symbolic control are often interpreted qualitatively and controllers are usually classified as correct if they enforce the specification or as incorrect if they do not. In practice, a given ideal specification might be impossible to meet. In that case, it is interesting...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Automatica (Oxford) 2021-05, Vol.127, p.109543, Article 109543
Hauptverfasser:	Girard, Antoine, Eqtami, Alina
Format:	Artikel
Sprache:	eng
Schlagworte:	Automatic Computer Science Dynamic programming Engineering Sciences Mathematics Optimization and Control Quantitative synthesis Safety Symbolic control Systems and Control Uniform attractivity Uniform reachability
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!