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...

Celý popis

Podrobná bibliografia

Vydané v:	2016 IEEE 55th Conference on Decision and Control (CDC) s. 434 - 440
Hlavní autori:	Papusha, Ivan, Jie Fu, Topcu, Ufuk, Murray, Richard M.
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	IEEE 01.12.2016
Predmet:	Aerospace electronics Automata Continuous time systems Cost function Dynamic programming Optimal control Trajectory
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!