Receding Horizon Temporal Logic Planning

DOI10.1109/TAC.2012.2195811zbMath1369.93392OpenAlexW2064572756WikidataQ59813924 ScholiaQ59813924MaRDI QIDQ5353005

Richard M. Murray, Tichakorn Wongpiromsarn, Ufuk Topcu

Publication date: 8 September 2017

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tac.2012.2195811

Mathematics Subject Classification ID

Hierarchical systems (93A13) Discrete event control/observation systems (93C65) Synthesis problems (93B50) Temporal logic (03B44)

Related Items (11)

Finite abstraction of mixed monotone systems with discrete and continuous inputs ⋮ Finite abstractions with robustness margins for temporal logic-based control synthesis ⋮ Compositional and symbolic synthesis of reactive controllers for multi-agent systems ⋮ Time window temporal logic ⋮ Resource-aware networked control systems under temporal logic specifications ⋮ Flow functions, control flow functions, and the reach control problem ⋮ Stability of finite horizon optimisation based control without terminal weight ⋮ Optimal mixed discrete-continuous planning for linear hybrid systems ⋮ Weakness monitors for fail-aware systems ⋮ A survey of challenges for runtime verification from advanced application domains (beyond software) ⋮ Model predictive control: recent developments and future promise

This page was built for publication: Receding Horizon Temporal Logic Planning