Pages that link to "Item:Q4974124"
From MaRDI portal
The following pages link to A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications (Q4974124):
Displayed 50 items.
- Multi-agent planning under local LTL specifications and event-based synchronization (Q290878) (← links)
- Finite abstractions with robustness margins for temporal logic-based control synthesis (Q313326) (← links)
- Reachability and stabilization of discrete-time affine systems with disturbances (Q665205) (← links)
- Formal methods for robot motion planning with time and space constraints (extended abstract) (Q832022) (← links)
- Flow functions, control flow functions, and the reach control problem (Q1689356) (← links)
- Decentralized abstractions for multi-agent systems under coupled constraints (Q1712902) (← links)
- Sampling polynomial trajectories for LTL verification (Q2055964) (← links)
- Funnel control for fully actuated systems under a fragment of signal temporal logic specifications (Q2061223) (← links)
- Robust approximate symbolic models for a class of continuous-time uncertain nonlinear systems via a control interface (Q2081803) (← links)
- Constructive hybrid games (Q2096468) (← links)
- Robustly complete finite-state abstractions for verification of stochastic systems (Q2112105) (← links)
- Verification of agent navigation in partially-known environments (Q2144175) (← links)
- Abstraction-based synthesis for stochastic systems with omega-regular objectives (Q2158881) (← links)
- Resource-aware networked control systems under temporal logic specifications (Q2177771) (← links)
- Linear temporal logic for hybrid dynamical systems: characterizations and sufficient conditions (Q2178216) (← links)
- A design of GPU-based quantitative model checking (Q2234091) (← links)
- Optimal control of multi-task Boolean control networks via temporal logic (Q2242936) (← links)
- Time-constrained temporal logic control of multi-affine systems (Q2252961) (← links)
- Safe and stabilizing distributed multi-path cellular flows (Q2344755) (← links)
- Time window temporal logic (Q2402278) (← links)
- LTL receding horizon control for finite deterministic systems (Q2628417) (← links)
- Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications (Q2665348) (← links)
- Temporal logic guided safe model-based reinforcement learning: a hybrid systems approach (Q2677109) (← links)
- Linear temporal logic vehicle routing with applications to multi-UAV mission planning (Q2903986) (← links)
- Least-violating control strategy synthesis with safety rules (Q2986905) (← links)
- Limited-information control of hybrid systems via reachable set propagation (Q2986906) (← links)
- Resilient synchronization in robust networked multi-agent systems (Q2986907) (← links)
- Learning nonlinear hybrid systems (Q2986908) (← links)
- Mining requirements from closed-loop control models (Q2986909) (← links)
- On the decidability of stability of hybrid systems (Q2986910) (← links)
- Lyapunov analysis of rigid body systems with impacts and friction via sums-of-squares (Q2986911) (← links)
- Hybrid control lyapunov functions for the stabilization of hybridsystems (Q2986912) (← links)
- A toolbox for simulation of hybrid systems in matlab/simulink (Q2986913) (← links)
- Stabhyli (Q2986914) (← links)
- Zélus (Q2986915) (← links)
- State estimation for polyhedral hybrid systems and applications to the Godunov scheme (Q2986916) (← links)
- Observer design for a class of piecewise affine hybrid systems (Q2986918) (← links)
- Automated analysis of real-time scheduling using graph games (Q2986919) (← links)
- Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets (Q2986920) (← links)
- One-shot computation of reachable sets for differential games (Q2986922) (← links)
- Tracking differentiable trajectories across polyhedra boundaries (Q2986923) (← links)
- Flowpipe approximation and clustering in space-time (Q2986925) (← links)
- Bounded model-checking of discrete duration calculus (Q2986927) (← links)
- Optimal CPU allocation to a set of control tasks with soft real--time execution constraints (Q2986929) (← links)
- Safe schedulability of bounded-rate multi-mode systems (Q2986930) (← links)
- Compositional heterogeneous abstraction (Q2986931) (← links)
- Quantitative timed simulation functions and refinement metrics for real-time systems (Q2986932) (← links)
- Formula-free finite abstractions for linear temporal verification of stochastic hybrid systems (Q2986933) (← links)
- Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems (Q2986934) (← links)
- Control design for specifications on stochastic hybrid systems (Q2986935) (← links)