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

Full description

Bibliographic Details

Published in:	2016 IEEE 55th Conference on Decision and Control (CDC) pp. 434 - 440
Main Authors:	Papusha, Ivan, Jie Fu, Topcu, Ufuk, Murray, Richard M.
Format:	Conference Proceeding
Language:	English
Published:	IEEE 01.12.2016
Subjects:	Aerospace electronics Automata Continuous time systems Cost function Dynamic programming Optimal control Trajectory
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!