The following pages link to (Q4472258):
Displaying 31 items.
- 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)
- Rewarding probabilistic hybrid automata (Q2986936) (← links)
- Approximating acceptance probabilities of CTMC-paths on multi-clock deterministic timed automata (Q2986937) (← links)
- Specification-guided controller synthesis for linear systems and safe linear-time temporal logic (Q2986938) (← links)
- Temporal logic model predictive control for discrete-time systems (Q2986939) (← links)
- Iterative temporal motion planning for hybrid systems in partially unknown environments (Q2986941) (← links)
