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
- 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 control system design using approximate simulation
- Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications
- 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?)
- Hybrid Systems: Computation and Control
- Introduction to algorithms
- Linear Time Logic Control of Discrete-Time Linear Systems
- Planning Algorithms
Cited in
(46)- Reachable set estimation for switched linear systems with dwell-time switching
- Modelling and supervisory control of hybrid dynamical systems via fuzzy \(l\)-complete approximation approach
- Automated generation of dynamics-based runtime certificates for high-level control
- Decentralized abstractions for multi-agent systems under coupled constraints
- Robust control for signal temporal logic specifications using discrete average space robustness
- Funnel control for fully actuated systems under a fragment of signal temporal logic specifications
- Classification of driving behaviors using STL formulas: a comparative study
- 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
- Feedback control strategies for multi-agent systems under a fragment of signal temporal logic tasks
- Safe and stabilizing distributed multi-path cellular flows
- Time window temporal logic
- First steps toward formal controller synthesis for bipedal robots with experimental implementation
- Deadness and how to disprove liveness in hybrid dynamical systems
- Supervisor synthesis of POMDP via automata learning
- Formal controller synthesis from specifications given by discrete-time hybrid automata
- Design and implement of optimal patrolling control system to satisfy the complex requirements
- On reducing complexity in LTL-based motion planning
- Hierarchical Control of Linear Systems from the Abstraction Feedback Gain
- Iterative temporal motion planning for hybrid systems in partially unknown environments
- Temporal logic motion planning using POMDPs with parity objectives
- Cross-entropy temporal logic motion planning
- Finite abstractions with robustness margins for temporal logic-based control synthesis
- A Dynamical System for Prioritizing and Coordinating Motivations
- Model checking learning agent systems using Promela with embedded C code and abstraction
- Deductive verification of simple foraging robotic behaviours
- A framework for multi-robot motion planning from temporal logic specifications
- Probabilistic Motion Planning Under Temporal Tasks and Soft Constraints
- An input-output simulation approach to controlling multi-affine systems for linear temporal logic specifications
- scientific article; zbMATH DE number 7370547 (Why is no real title available?)
- Formal composition of hybrid systems
- Guaranteed global performance through local coordinations
- OmegaThreads
- Scalable anytime algorithms for learning fragments of linear temporal logic
- Reachability and stabilization of discrete-time affine systems with disturbances
- Refining constructive hybrid games
- A leader-follower communication protocol for motion planning in partially known environments under temporal logic specifications
- Abstraction-based optimal controller synthesis using dynamic quantization and RRT*
- Approximate bisimulation: a bridge between computer science and control theory
- Topology-aware planning under linear temporal logic constraints
- Incorporating logic in online preference learning for safe personalization of autonomous vehicles
- A robust non-linear MPC framework for control of underwater vehicle manipulator systems under high-level tasks
- Hybrid and oriented harmonic potentials for safe task execution in unknown environment
- Symbolic models for switched systems with ranged dwell-times
- Closing the gap between discrete abstractions and continuous control: completeness via robustness and controllability
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)
