Pages that link to "Item:Q1301405"
From MaRDI portal
The following pages link to Controllers for reachability specifications for hybrid systems (Q1301405):
Displayed 40 items.
- 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)
- 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)
- 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)
- 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)
- Sparse optimal control problems with intermediate constraints: Necessary conditions (Q6053697) (← links)
- Reachable set estimation and decentralized control synthesis of large‐scale switched systems under mixed switching (Q6054904) (← links)
- State bounding and controller design for genetic regulatory networks with multiple delays and bounded disturbances (Q6069329) (← links)
- Regularity of optimal solutions and the optimal cost for hybrid dynamical systems via reachability analysis (Q6160741) (← links)
- Model-based reinforcement learning for approximate optimal control with temporal logic specifications (Q6201592) (← links)