Pages that link to "Item:Q5281859"
From MaRDI portal
The following pages link to Reachability and Control Synthesis for Piecewise-Affine Hybrid Systems on Simplices (Q5281859):
Displayed 14 items.
- Automatic synthesis of switching controllers for linear hybrid systems: safety control (Q391117) (← links)
- On a reachability problem for affine hypersurface systems on polytopes (Q534297) (← links)
- Approaching minimum time control of timed continuous Petri nets (Q547883) (← links)
- Approximability of nonlinear affine control systems (Q547908) (← links)
- Reachability and stabilization of discrete-time affine systems with disturbances (Q665205) (← links)
- On reachability and controllability of switched Boolean control networks (Q694840) (← links)
- Tracking control of join-free timed continuous Petri net systems under infinite servers semantics (Q939014) (← links)
- Span-reachability and observability of bilinear hybrid systems (Q987608) (← links)
- On algorithmic analysis of transcriptional regulation by LTL model checking (Q2271449) (← links)
- Observability of the discrete state for dynamical piecewise hybrid systems (Q2568101) (← links)
- Proving Safety of Traffic Manoeuvres on Country Roads (Q2842637) (← links)
- Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer (Q3624585) (← links)
- Symbolic models for nonlinear control systems affected by disturbances (Q4897709) (← links)
- Piecewise affine approximations of fluxes and enzyme kinetics from <i>in vivo</i><sup>13</sup>C labeling experiments (Q4909336) (← links)