Cross-entropy temporal logic motion planning

DOI10.1145/2728606.2728635MaRDI QIDQ2988949zbMATH OpenOpenAlexWikidataFDO

Authors Scott C. Livingston, Eric M. Wolff, Richard M. Murray

Publication date 19 May 2017

Published in Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL https://authors.library.caltech.edu/55595/

zbMATH Keywords

cross-entropyincremental synthesislinear temporal logicmotion planningstochastic optimization

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Stochastic programming (90C15)

Recommendations

• Temporal logic model predictive control
• Sampling-based approximate optimal control under temporal logic constraints
• Temporal logic motion planning for dynamic robots
• Temporal logic model predictive control for discrete-time systems
• Iterative temporal motion planning for hybrid systems in partially unknown environments

Cites work

• Continuous system simulation
• scientific article; zbMATH DE number 1638973 (Why is no real title available?)
• Hybrid Systems: Computation and Control
• On fixed points of strictly causal functions
• Requirements for hybrid cosimulation standards
• THEORY OF QUANTIZED SYSTEMS: DEVS SIMULATION OF PERCEIVING AGENTS

Cited in

(8)

• Temporal logic motion planning for dynamic robots
• Sampling polynomial trajectories for LTL verification
• Resource-aware networked control systems under temporal logic specifications
• Iterative temporal motion planning for hybrid systems in partially unknown environments
• Temporal logic motion planning using POMDPs with parity objectives
• From Uncertainty Data to Robust Policies for Temporal Logic Planning
• Probabilistic Motion Planning Under Temporal Tasks and Soft Constraints
• Sampling-based approximate optimal control under temporal logic constraints

This page was built for publication: Cross-entropy temporal logic motion planning

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2988949)