Temporal logic motion planning for dynamic robots
From MaRDI portal
Publication:1012729
DOI10.1016/j.automatica.2008.08.008zbMath1158.93369OpenAlexW2071797744WikidataQ57581869 ScholiaQ57581869MaRDI QIDQ1012729
George J. Pappas, Antoine Girard, Hadas Kress-Gazit, Georgios E. Fainekos
Publication date: 22 April 2009
Published in: Automatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.automatica.2008.08.008
Control/observation systems involving computers (process control, etc.) (93C83) Artificial intelligence for robotics (68T40)
Related Items (30)
Closing the gap between discrete abstractions and continuous control: completeness via robustness and controllability ⋮ Deadness and how to disprove liveness in hybrid dynamical systems ⋮ A Dynamical System for Prioritizing and Coordinating Motivations ⋮ Finite abstractions with robustness margins for temporal logic-based control synthesis ⋮ Reachable set estimation for switched linear systems with dwell-time switching ⋮ Model checking learning agent systems using Promela with embedded C code and abstraction ⋮ Time window temporal logic ⋮ First steps toward formal controller synthesis for bipedal robots with experimental implementation ⋮ Supervisor synthesis of POMDP via automata learning ⋮ Formal controller synthesis from specifications given by discrete-time hybrid automata ⋮ Resource-aware networked control systems under temporal logic specifications ⋮ Path planning for robotic teams based on LTL specifications and Petri net models ⋮ Linear temporal logic for hybrid dynamical systems: characterizations and sufficient conditions ⋮ Modelling and supervisory control of hybrid dynamical systems via fuzzy \(l\)-complete approximation approach ⋮ OmegaThreads ⋮ Unnamed Item ⋮ Automated generation of dynamics-based runtime certificates for high-level control ⋮ Hierarchical Control of Linear Systems from the Abstraction Feedback Gain ⋮ A framework for multi-robot motion planning from temporal logic specifications ⋮ Decentralized abstractions for multi-agent systems under coupled constraints ⋮ Reachability and stabilization of discrete-time affine systems with disturbances ⋮ An input–output simulation approach to controlling multi-affine systems for linear temporal logic specifications ⋮ Robust control for signal temporal logic specifications using discrete average space robustness ⋮ Approximate bisimulation: a bridge between computer science and control theory ⋮ Guaranteed global performance through local coordinations ⋮ Feedback control strategies for multi-agent systems under a fragment of signal temporal logic tasks ⋮ Formal composition of hybrid systems ⋮ Funnel control for fully actuated systems under a fragment of signal temporal logic specifications ⋮ Safe and stabilizing distributed multi-path cellular flows ⋮ Classification of driving behaviors using STL formulas: a comparative study
Uses Software
Cites Work
- Hierarchical control system design using approximate simulation
- A control problem for affine dynamical systems on a full-dimensional polytope.
- Constructing Büchi Automata from Linear Temporal Logic Using Simulation Relations for Alternating Büchi Automata
- Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications
- Dynamical properties of hybrid automata
- Linear Time Logic Control of Discrete-Time Linear Systems
- Approximation Metrics for Discrete and Continuous Systems
- Planning Algorithms
- Hybrid Systems: Computation and Control
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Temporal logic motion planning for dynamic robots
