Reachability and Control Synthesis for Piecewise-Affine Hybrid Systems on Simplices
From MaRDI portal
Publication:5281859
Cited in
(43)- On the necessity of the invariance conditions for reach control on polytopes
- Reach control problem for affine multi-agent systems on simplices
- Time-varying affine feedback for reach control on simplices
- On a reachability problem for affine hypersurface systems on polytopes
- Parallel parameter synthesis for multi-affine hybrid systems from hybrid CTL specifications
- Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications
- Controllability analysis and control design for switched Boolean networks with state and input constraints
- Tracking control of join-free timed continuous Petri net systems under infinite servers semantics
- Span-reachability and observability of bilinear hybrid systems
- Robustly complete synthesis of sampled-data control for continuous-time nonlinear systems with reach-and-stay objectives
- Safe and stabilizing distributed multi-path cellular flows
- Augmented finite transition systems as abstractions for control synthesis
- Piecewise affine approximations of fluxes and enzyme kinetics from in vivo \(^{13}\text{C}\) labeling experiments
- Approximability of nonlinear affine control systems
- Flow functions, control flow functions, and the reach control problem
- Construction of discontinuous piecewise quadratic value functions in a target control problem
- Symbolic models for time-varying time-delay systems via alternating approximate bisimulation
- Chattering in the reach control problem
- Model reference adaptive control of piecewise affine systems with state tracking performance guarantees
- An obstruction to solvability of the reach control problem using affine feedback
- Safe and optimal adaptive cruise control
- Symbolic models for nonlinear control systems affected by disturbances
- Structural controllability in timed continuous Petri nets
- On reachability and controllability of switched Boolean control networks
- Applying differential dynamic logic to reconfigurable biological networks
- On algorithmic analysis of transcriptional regulation by LTL model checking
- Synthesis for Constrained Nonlinear Systems Using Hybridization and Robust Controllers on Simplices
- Characterization of a topological obstruction to reach control by continuous state feedback
- Proving safety of traffic manoeuvres on country roads
- A topological obstruction in a control problem
- A Petri net based approach for multi-robot path planning
- Observability of the discrete state for dynamical piecewise hybrid systems
- A piecewise ellipsoidal reachable set estimation method for continuous bimodal piecewise affine systems
- Set-based control for disturbed piecewise affine systems with state and actuation constraints
- Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer
- Approaching minimum time control of timed continuous Petri nets
- On the complexity of bounded time and precision reachability for piecewise affine systems
- LTL receding horizon control for finite deterministic systems
- Reachability and stabilization of discrete-time affine systems with disturbances
- Hybrid simplicial-randomized approximate stochastic dynamic programming for multireservoir optimization
- Decentralized abstractions for multi-agent systems under coupled constraints
- Automatic synthesis of switching controllers for linear hybrid systems: safety control
- Finite-time \(l_2 - l_\infty\) filtering for persistent dwell-time switched piecewise-affine systems against deception attacks
This page was built for publication: Reachability and Control Synthesis for Piecewise-Affine Hybrid Systems on Simplices
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5281859)
