Reachability and Control Synthesis for Piecewise-Affine Hybrid Systems on Simplices
From MaRDI portal
Publication:5281859
DOI10.1109/TAC.2006.876952zbMath1366.93348OpenAlexW2166691751MaRDI QIDQ5281859
L. C. G. J. M. Habets, Jan H. van Schuppen, Peter J. Collins
Publication date: 27 July 2017
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/tac.2006.876952
Related Items
Robustly complete synthesis of sampled-data control for continuous-time nonlinear systems with reach-and-stay objectives, Characterization of a topological obstruction to reach control by continuous state feedback, LTL receding horizon control for finite deterministic systems, Safe and Optimal Adaptive Cruise Control, Finite-time \(l_2 - l_\infty\) filtering for persistent dwell-time switched piecewise-affine systems against deception attacks, An obstruction to solvability of the reach control problem using affine feedback, Chattering in the reach control problem, Symbolic models for time-varying time-delay systems via alternating approximate bisimulation, Set-based control for disturbed piecewise affine systems with state and actuation constraints, Applying differential dynamic logic to reconfigurable biological networks, A topological obstruction in a control problem, Automatic synthesis of switching controllers for linear hybrid systems: safety control, Controllability Analysis and Control Design for Switched Boolean Networks with State and Input Constraints, A piecewise ellipsoidal reachable set estimation method for continuous bimodal piecewise affine systems, Flow functions, control flow functions, and the reach control problem, Model reference adaptive control of piecewise affine systems with state tracking performance guarantees, Structural controllability in timed continuous Petri nets, Augmented finite transition systems as abstractions for control synthesis, Construction of discontinuous piecewise quadratic value functions in a target control problem, Decentralized abstractions for multi-agent systems under coupled constraints, A Petri net based approach for multi-robot path planning, Reachability and stabilization of discrete-time affine systems with disturbances, Symbolic models for nonlinear control systems affected by disturbances, Tracking control of join-free timed continuous Petri net systems under infinite servers semantics, Time-varying affine feedback for reach control on simplices, Piecewise affine approximations of fluxes and enzyme kinetics from in vivo13C labeling experiments, On a reachability problem for affine hypersurface systems on polytopes, On reachability and controllability of switched Boolean control networks, Approaching minimum time control of timed continuous Petri nets, Approximability of nonlinear affine control systems, On algorithmic analysis of transcriptional regulation by LTL model checking, Span-reachability and observability of bilinear hybrid systems, Reach control problem for affine multi-agent systems on simplices, Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer, Proving Safety of Traffic Manoeuvres on Country Roads, Observability of the discrete state for dynamical piecewise hybrid systems, Safe and stabilizing distributed multi-path cellular flows, On the necessity of the invariance conditions for reach control on polytopes, Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications
