Pages that link to "Item:Q1301405"
From MaRDI portal
The following pages link to Controllers for reachability specifications for hybrid systems (Q1301405):
Displayed 50 items.
- Interval bounds on the solutions of semi-explicit index-one DAEs. I: Analysis (Q368576) (← links)
- Tracking within a time interval on the basis of data supplied by finite observers (Q376387) (← links)
- Stabilizability of linear switching systems (Q534369) (← links)
- Optimal paths in weighted timed automata (Q596026) (← links)
- Optimization of output feedback control under set-membership uncertainty (Q650238) (← links)
- Optimization techniques for state-constrained control and obstacle problems (Q857579) (← links)
- Synthesis of optimal controllers for piecewise affine systems with sampled-data switching (Q875964) (← links)
- Generalized solutions of functional differential inclusions (Q938345) (← links)
- Failure detection and reconstruction in switched nonlinear systems (Q963746) (← links)
- Dynamical properties of hybrid systems simulators (Q983922) (← links)
- Approximate equivalence and synchronization of metric transition systems (Q1004092) (← links)
- Identification of piecewise affine systems via mixed-integer programming. (Q1426258) (← links)
- Robustness of trajectories with finite time extent (Q1614418) (← links)
- Control-invariance of hybrid systems with forcible events (Q1776418) (← links)
- On reachability and minimum cost optimal control (Q1888412) (← links)
- On the regularization of Zeno hybrid automata (Q1978482) (← links)
- Reach set computation and control synthesis for discrete-time dynamical systems with disturbances (Q2276115) (← links)
- Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems (Q2377974) (← links)
- Attainability problems under stochastic perturbations (Q2388058) (← 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)
- 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 unified approach to controllability analysis for hybrid control systems (Q2643429) (← links)
- Harvesting control in an integrodifference population model with concave growth term (Q2643447) (← links)
- Cadenced runs of impulse and hybrid control systems (Q2716780) (← links)
- Zeno hybrid systems (Q2716782) (← links)
- Computability and Dynamical Systems (Q2908425) (← 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)
- 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)
- 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)
- Dynamic optimization for reachability problems. (Q5929413) (← links)
- A hybrid control approach to action coordination for mobile robots (Q5953546) (← links)