Automata theory meets approximate dynamic programming: Optimal control with temporal logic constraints

We investigate the synthesis of optimal controllers for continuous-time and continuous-state systems under temporal logic specifications. The specification is expressed as a deterministic, finite automaton (the specification automaton) with transition costs, and the optimal system behavior is captur...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	2016 IEEE 55th Conference on Decision and Control (CDC) S. 434 - 440
Hauptverfasser:	Papusha, Ivan, Jie Fu, Topcu, Ufuk, Murray, Richard M.
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	IEEE 01.12.2016
Schlagworte:	Aerospace electronics Automata Continuous time systems Cost function Dynamic programming Optimal control Trajectory
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!