Iterative temporal motion planning for hybrid systems in partially unknown environments

DOI10.1145/2461328.2461380zbMath1361.68272OpenAlexW2082965709MaRDI QIDQ2986941

Moshe Y. Vardi, Hadas Kress-Gazit, Morteza Lahijanian, Matthew R. Maly, Lydia E. Kavraki

Publication date: 16 May 2017

Published in: Proceedings of the 16th international conference on Hybrid systems: computation and control (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/1911/70941

zbMATH Keywords

motion planningtemporal logicformal synthesis

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Artificial intelligence for robotics (68T40)

Related Items (4)

CASP solutions for planning in hybrid domains ⋮ Automated generation of dynamics-based runtime certificates for high-level control ⋮ Control synthesis for stochastic systems given automata specifications defined by stochastic sets ⋮ Lifted model checking for relational MDPs

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A note on two problems in connexion with graphs
• Enhancing model checking in verification by AI techniques
• Receding horizon control for temporal logic specifications
• Model Repair for Probabilistic Systems
• Markov decision processes and regular events
• A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
• Controlling a Class of Nonlinear Systems on Rectangles
• Diagnostic Information for Realizability

This page was built for publication: Iterative temporal motion planning for hybrid systems in partially unknown environments