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 39 items.
- On the necessity of the invariance conditions for reach control on polytopes (Q254620) (← links)
- An obstruction to solvability of the reach control problem using affine feedback (Q313222) (← links)
- Automatic synthesis of switching controllers for linear hybrid systems: safety control (Q391117) (← links)
- A Petri net based approach for multi-robot path planning (Q481351) (← links)
- Time-varying affine feedback for reach control on simplices (Q490600) (← 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)
- Chattering in the reach control problem (Q1640259) (← links)
- A topological obstruction in a control problem (Q1678578) (← links)
- Flow functions, control flow functions, and the reach control problem (Q1689356) (← links)
- Augmented finite transition systems as abstractions for control synthesis (Q1693823) (← links)
- Decentralized abstractions for multi-agent systems under coupled constraints (Q1712902) (← links)
- Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications (Q2116657) (← links)
- Robustly complete synthesis of sampled-data control for continuous-time nonlinear systems with reach-and-stay objectives (Q2123411) (← links)
- Finite-time \(l_2 - l_\infty\) filtering for persistent dwell-time switched piecewise-affine systems against deception attacks (Q2141197) (← links)
- Set-based control for disturbed piecewise affine systems with state and actuation constraints (Q2178184) (← links)
- On algorithmic analysis of transcriptional regulation by LTL model checking (Q2271449) (← links)
- Reach control problem for affine multi-agent systems on simplices (Q2280833) (← links)
- Safe and stabilizing distributed multi-path cellular flows (Q2344755) (← links)
- Characterization of a topological obstruction to reach control by continuous state feedback (Q2364587) (← links)
- Applying differential dynamic logic to reconfigurable biological networks (Q2411314) (← links)
- Observability of the discrete state for dynamical piecewise hybrid systems (Q2568101) (← links)
- LTL receding horizon control for finite deterministic systems (Q2628417) (← links)
- A piecewise ellipsoidal reachable set estimation method for continuous bimodal piecewise affine systems (Q2677116) (← links)
- Construction of discontinuous piecewise quadratic value functions in a target control problem (Q2689285) (← links)
- Proving Safety of Traffic Manoeuvres on Country Roads (Q2842637) (← links)
- Controllability Analysis and Control Design for Switched Boolean Networks with State and Input Constraints (Q2949982) (← links)
- Safe and Optimal Adaptive Cruise Control (Q3449638) (← links)
- Symbolic models for time-varying time-delay systems via alternating approximate bisimulation (Q3465677) (← 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)
- Model reference adaptive control of piecewise affine systems with state tracking performance guarantees (Q6087293) (← links)
- Structural controllability in timed continuous Petri nets (Q6110265) (← links)