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.
- An improved result on reachable set estimation and synthesis of time-delay systems (Q298558) (← links)
- 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)
- Hierarchical control of a hybrid solar air conditioning plant (Q397389) (← links)
- Theory and computation of discrete state space decompositions for hybrid systems (Q397399) (← links)
- A computational approach to synthesizing guards for hybrid systems (Q464595) (← links)
- Finite controlled invariants for sampled switched systems (Q487251) (← links)
- An architectural approach to the analysis, verification and validation of software intensive embedded systems (Q488384) (← links)
- Asynchronous event-triggered observation and control of linear systems via impulsive observers (Q509510) (← links)
- Stabilization of discrete-time nonlinear switching systems (Q531254) (← 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)
- Increasing pursuer capturability by using hybrid dynamics (Q747448) (← 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)
- Method for computing exterior and interior approximations to the reachability sets of bilinear differential systems (Q897045) (← links)
- Estimation for decentralized safety control under communication delay and measurement uncertainty (Q901139) (← 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)
- Reachable set bounding for a class of nonlinear time-varying systems with delay (Q1629291) (← links)
- Semi-tensor product of matrices approach to reachability of finite automata with application to language recognition (Q1633055) (← links)
- Reachable set estimation for switched linear systems with dwell-time switching (Q1642317) (← links)
- A topological obstruction in a control problem (Q1678578) (← links)
- Controllability, reachability, and stabilizability of finite automata: a controllability matrix method (Q1721288) (← links)
- Control-invariance of hybrid systems with forcible events (Q1776418) (← links)
- A dynamic game approach to distributionally robust safety specifications for stochastic systems (Q1797093) (← links)
- On reachability and minimum cost optimal control (Q1888412) (← links)
- On the regularization of Zeno hybrid automata (Q1978482) (← links)
- State bounding for time-delay impulsive and switching genetic regulatory networks with exogenous disturbance (Q2090452) (← links)
- A novel \(\mathcal{L}_1\) adaptive-hybrid control with guaranteed stability for a class of uncertain nonlinear systems: a case study on SA330 Puma (Q2096116) (← links)
- Set-based control for disturbed piecewise affine systems with state and actuation constraints (Q2178184) (← links)
- Computation of controlled invariant sets for discrete-time switched nonlinear systems with time-delay (Q2230844) (← links)
- Viable set computation for hybrid systems (Q2252963) (← links)
- Safety preserving control synthesis for sampled data systems (Q2252964) (← links)
- Description of the attainable sets of one-dimensional differential inclusions (Q2260652) (← links)
- Reach set computation and control synthesis for discrete-time dynamical systems with disturbances (Q2276115) (← links)
- Robust self-triggered control for time-varying and uncertain constrained systems via reachability analysis (Q2280887) (← links)
- Semitensor product approach to controllability, reachability, and stabilizability of probabilistic finite automata (Q2298809) (← links)
- Viability discrimination of a class of control systems on a nonsmooth region (Q2320654) (← links)
- Model-invariant viability kernel approximation (Q2327367) (← links)
- On reachable set estimation of singular systems (Q2342764) (← links)
- 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)