Reachability and Control Synthesis for Piecewise-Affine Hybrid Systems on Simplices

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
Robustly complete synthesis of sampled-data control for continuous-time nonlinear systems with reach-and-stay objectives
Span-reachability and observability of bilinear hybrid systems
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
Flow functions, control flow functions, and the reach control problem
Approximability of nonlinear affine control systems
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
Safe and optimal adaptive cruise control
An obstruction to solvability of the reach control problem using affine feedback
Structural controllability in timed continuous Petri nets
Symbolic models for nonlinear control systems affected by disturbances
Applying differential dynamic logic to reconfigurable biological networks
On algorithmic analysis of transcriptional regulation by LTL model checking
On reachability and controllability of switched Boolean control networks
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
Observability of the discrete state for dynamical piecewise hybrid systems
A Petri net based approach for multi-robot path planning
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
Hybrid simplicial-randomized approximate stochastic dynamic programming for multireservoir optimization
Reachability and stabilization of discrete-time affine systems with disturbances
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)