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