Pages that link to "Item:Q1012729"

The following pages link to Temporal logic motion planning for dynamic robots (Q1012729):

Displaying 29 items.

• Finite abstractions with robustness margins for temporal logic-based control synthesis (Q313326) (← links)
• Model checking learning agent systems using Promela with embedded C code and abstraction (Q333329) (← links)
• A framework for multi-robot motion planning from temporal logic specifications (Q439866) (← links)
• Guaranteed global performance through local coordinations (Q540161) (← links)
• Reachability and stabilization of discrete-time affine systems with disturbances (Q665205) (← links)
• Approximate bisimulation: a bridge between computer science and control theory (Q693690) (← links)
• Closing the gap between discrete abstractions and continuous control: completeness via robustness and controllability (Q832033) (← links)
• Reachable set estimation for switched linear systems with dwell-time switching (Q1642317) (← links)
• Modelling and supervisory control of hybrid dynamical systems via fuzzy \(l\)-complete approximation approach (Q1690519) (← links)
• Automated generation of dynamics-based runtime certificates for high-level control (Q1693827) (← links)
• Decentralized abstractions for multi-agent systems under coupled constraints (Q1712902) (← links)
• Robust control for signal temporal logic specifications using discrete average space robustness (Q1737745) (← links)
• Funnel control for fully actuated systems under a fragment of signal temporal logic specifications (Q2061223) (← links)
• Classification of driving behaviors using STL formulas: a comparative study (Q2112115) (← links)
• Resource-aware networked control systems under temporal logic specifications (Q2177771) (← links)
• Path planning for robotic teams based on LTL specifications and Petri net models (Q2177780) (← links)
• Linear temporal logic for hybrid dynamical systems: characterizations and sufficient conditions (Q2178216) (← links)
• Feedback control strategies for multi-agent systems under a fragment of signal temporal logic tasks (Q2280776) (← links)
• Safe and stabilizing distributed multi-path cellular flows (Q2344755) (← links)
• Time window temporal logic (Q2402278) (← links)
• First steps toward formal controller synthesis for bipedal robots with experimental implementation (Q2406959) (← links)
• Deadness and how to disprove liveness in hybrid dynamical systems (Q2629097) (← links)
• Supervisor synthesis of POMDP via automata learning (Q2665148) (← links)
• Formal controller synthesis from specifications given by discrete-time hybrid automata (Q2665407) (← links)
• Hierarchical Control of Linear Systems from the Abstraction Feedback Gain (Q2960131) (← links)
• A Dynamical System for Prioritizing and Coordinating Motivations (Q3176278) (← links)
• An input–output simulation approach to controlling multi-affine systems for linear temporal logic specifications (Q4897712) (← links)
• (Q4998904) (← links)
• Formal composition of hybrid systems (Q5129226) (← links)