Pages that link to "Item:Q1301405"
From MaRDI portal
The following pages link to Controllers for reachability specifications for hybrid systems (Q1301405):
Displaying 50 items.
- Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems (Q2377974) (← links)
- Attainability problems under stochastic perturbations (Q2388058) (← links)
- Barriers and potentially safe sets in hybrid systems: pendulum with non-rigid cable (Q2409309) (← links)
- Invertibility of switched linear systems (Q2440678) (← links)
- Optimal persistent disturbance attenuation control for linear hybrid systems (Q2496817) (← links)
- An optimal control approach to mode generation in hybrid systems (Q2499632) (← links)
- Digital idle speed control of automotive engines: a safety problem for hybrid systems (Q2507861) (← links)
- Discrete-time hybrid modeling and verification of the batch evaporator process benchmark (Q2512159) (← links)
- A model for stochastic hybrid systems with application to communication networks (Q2572181) (← links)
- Dynamic programming for constrained optimal control of discrete-time linear hybrid systems (Q2573908) (← links)
- A stochastic games framework for verification and control of discrete time stochastic hybrid systems (Q2628473) (← links)
- A unified approach to controllability analysis for hybrid control systems (Q2643429) (← links)
- Harvesting control in an integrodifference population model with concave growth term (Q2643447) (← links)
- Improved results on reachable set estimation of singular systems (Q2657293) (← links)
- Viability, viscosity, and storage functions in model-predictive control with terminal constraints (Q2665391) (← links)
- Formal controller synthesis from specifications given by discrete-time hybrid automata (Q2665407) (← links)
- Multi-objective low-thrust spacecraft trajectory design using reachability analysis (Q2681188) (← links)
- Cadenced runs of impulse and hybrid control systems (Q2716780) (← links)
- Zeno hybrid systems (Q2716782) (← links)
- On the controller synthesis for linear hybrid systems (Q2777931) (← links)
- Reachability Analysis and Deterministic Global Optimization of DAE Models (Q2795640) (← links)
- Computability and Dynamical Systems (Q2908425) (← links)
- An adaptive neural network switching control approach of robotic manipulators for trajectory tracking (Q2921905) (← links)
- Discrete state observability of hybrid systems (Q2928286) (← links)
- Observer-based control of block-triangular discrete time hybrid automata on a partial order (Q2928287) (← links)
- Stabilisation and control synthesis of switching systems subject to actuator saturation (Q2932631) (← links)
- Complexity reduction through a Schur-based decomposition for reachability analysis of linear time-invariant systems (Q3015126) (← links)
- Stabilisation of discrete 2D time switching systems by state feedback control (Q3082691) (← links)
- Theory and computational techniques for analysis of discrete-time control systems with disturbances (Q3096879) (← links)
- Linear quadratic networked control of uncertain polytopic systems (Q3187872) (← links)
- Hybrid systems in automotive electronics design (Q3442635) (← links)
- Constrained control of switching systems: a positive invariant approach (Q3542899) (← links)
- A distributed control algorithm for internal flow management in a multi-zone climate unit (Q3542950) (← links)
- Automated Generation of Optimal Controllers through Model Checking Techniques (Q3564226) (← links)
- Supervisory target control for hybrid systems (Q4459051) (← links)
- Hamilton–Jacobi–Bellman Equations (Q4609610) (← links)
- Robustness of transitions in switched linear systems (Q4676592) (← links)
- Hybrid control loops, A/D maps, and dynamic specifications (Q4736581) (← links)
- Controller synthesis for hybrid systems with a lower bound on event separation (Q4810934) (← links)
- Stabilization of switching Takagi–Sugeno systems by switched Lyapunov function (Q4908485) (← links)
- Hybrid automata: an insight into the discrete abstraction of discontinuous systems (Q4909026) (← links)
- COMPLETE SOLUTION OF A PURSUIT–EVASION DIFFERENTIAL GAME WITH HYBRID EVADER DYNAMICS (Q5325967) (← links)
- Non-linear control of electromagnetic valves for camless engines (Q5440119) (← links)
- Path-following with a bounded-curvature vehicle: a hybrid control approach (Q5704605) (← links)
- Time-optimal control for discrete-time hybrid automata (Q5707981) (← links)
- Reachability under uncertainty and measurement noise (Q5712062) (← links)
- Equivalence of switching linear systems by bisimulation (Q5758269) (← links)
- Optimal run problem for weighted register automata (Q5919052) (← links)
- Dynamic optimization for reachability problems. (Q5929413) (← links)
- A hybrid control approach to action coordination for mobile robots (Q5953546) (← links)
