Temporal logic motion planning for dynamic robots
From MaRDI portal
Recommendations
- A framework for multi-robot motion planning from temporal logic specifications
- On reducing complexity in LTL-based motion planning
- Iterative temporal motion planning for hybrid systems in partially unknown environments
- Cross-entropy temporal logic motion planning
- Temporal logic model predictive control
Cites work
- scientific article; zbMATH DE number 2084409 (Why is no real title available?)
- scientific article; zbMATH DE number 1794383 (Why is no real title available?)
- scientific article; zbMATH DE number 1444350 (Why is no real title available?)
- scientific article; zbMATH DE number 2238822 (Why is no real title available?)
- A control problem for affine dynamical systems on a full-dimensional polytope.
- Approximation Metrics for Discrete and Continuous Systems
- Constructing Büchi automata from linear temporal logic using simulation relations for alternating Büchi automata
- Dynamical properties of hybrid automata
- Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications
- Hierarchical control system design using approximate simulation
- Hybrid Systems: Computation and Control
- Introduction to algorithms
- Linear Time Logic Control of Discrete-Time Linear Systems
- Planning Algorithms
Cited in
(38)- Probabilistic Motion Planning Under Temporal Tasks and Soft Constraints
- On reducing complexity in LTL-based motion planning
- Closing the gap between discrete abstractions and continuous control: completeness via robustness and controllability
- A Dynamical System for Prioritizing and Coordinating Motivations
- 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
- Deadness and how to disprove liveness in hybrid dynamical systems
- Safe and stabilizing distributed multi-path cellular flows
- Formal composition of hybrid systems
- Classification of driving behaviors using STL formulas: a comparative study
- A framework for multi-robot motion planning from temporal logic specifications
- Iterative temporal motion planning for hybrid systems in partially unknown environments
- Reachable set estimation for switched linear systems with dwell-time switching
- Finite abstractions with robustness margins for temporal logic-based control synthesis
- Guaranteed global performance through local coordinations
- Formal controller synthesis from specifications given by discrete-time hybrid automata
- Supervisor synthesis of POMDP via automata learning
- Model checking learning agent systems using Promela with embedded C code and abstraction
- Design and implement of optimal patrolling control system to satisfy the complex requirements
- Hierarchical Control of Linear Systems from the Abstraction Feedback Gain
- Approximate bisimulation: a bridge between computer science and control theory
- Funnel control for fully actuated systems under a fragment of signal 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
- Resource-aware networked control systems under temporal logic specifications
- Feedback control strategies for multi-agent systems under a fragment of signal temporal logic tasks
- Modelling and supervisory control of hybrid dynamical systems via fuzzy \(l\)-complete approximation approach
- Time window temporal logic
- Deductive verification of simple foraging robotic behaviours
- First steps toward formal controller synthesis for bipedal robots with experimental implementation
- Automated generation of dynamics-based runtime certificates for high-level control
- scientific article; zbMATH DE number 7370547 (Why is no real title available?)
- Reachability and stabilization of discrete-time affine systems with disturbances
- Cross-entropy temporal logic motion planning
- Scalable anytime algorithms for learning fragments of linear temporal logic
- Decentralized abstractions for multi-agent systems under coupled constraints
- Temporal logic motion planning using POMDPs with parity objectives
- OmegaThreads
This page was built for publication: Temporal logic motion planning for dynamic robots
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1012729)
