Level set methods for computation in hybrid systems
aircraft conflict resolutionHamilton-Jacobi equationshybrid systemslevel set methodnonlinear systemsreachability operator
Attainable sets, reachability (93B03) Controllability (93B05) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Control/observation systems involving computers (process control, etc.) (93C83) Automated systems (robots, etc.) in control theory (93C85)
The reachability operator, conceived as a function or an algorithm that can determine the evolution of sets of trajectories, is a key tool in the synthesis and verification of controllers for continuous, discrete, and hybrid systems. The aim of this paper is to provide a new reachability analysis and an implementation of an exact reachability operator for nonlinear hybrid systems. An algorithm which synthesizes the control laws for such systems based on the Hamilton-Jacobi equations is reviewed, and then a new Hamilton-Jacobi formulation with superior numerical properties is developed and proved to be equivalent. The new algorithm is implemented using an improved level set method, and its effectiveness is shown by the numerical solutions of three examples concerning both continuous and multi-mode aircraft conflict resolution maneuvers. For the entire collection see [Zbl 0934.00029].
- scientific article; zbMATH DE number 1798193
- scientific article; zbMATH DE number 2163583
- Computing controllers for nonlinear hybrid systems
- Level Set Methods for Computing Reachable Sets of Hybrid Systems with Differential Algebraic Equation Dynamics
- Hybrid control synthesis for eventuality specifications using level set methods
- Coverage-guided test generation for continuous and hybrid systems
- A level set algorithm for tracking discontinuities in hyperbolic conservation laws. II: Systems of equations
- Reachability analysis of linear dynamic systems with constant, arbitrary, and Lipschitz continuous inputs
- Compositional abstraction refinement for control synthesis
- On reachability and minimum cost optimal control
- An adaptive sparse grid semi-Lagrangian scheme for first order Hamilton-Jacobi Bellman equations
- Vector barrier certificates and comparison systems
- Reachable set computation of linear systems with nonconvex constraints via convex optimization
- Reachable set estimation and safety verification of nonlinear systems via iterative sums of squares programming
- Reachability analysis using dissipation inequalities for uncertain nonlinear systems
- Extent-compatible control barrier functions
- Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
- Approximate bisimulation relations for constrained linear systems
- Finite data-rate feedback stabilization of switched and hybrid linear systems
- Viability, viscosity, and storage functions in model-predictive control with terminal constraints
- Efficient polyhedral enclosures for the reachable set of nonlinear control systems
- Hybrid tools for hybrid systems -- proving stability and safety at once
- Level Set Methods for Computing Reachable Sets of Hybrid Systems with Differential Algebraic Equation Dynamics
- Trajectory Based Verification Using Local Finite-Time Invariance
- Computing controllers for nonlinear hybrid systems
- Hybrid control synthesis for eventuality specifications using level set methods
- Supervisory target control for hybrid systems
- Controller synthesis for safety and reachability via approximate bisimulation
- scientific article; zbMATH DE number 1794387 (Why is no real title available?)
- scientific article; zbMATH DE number 1798192 (Why is no real title available?)
- scientific article; zbMATH DE number 1798193 (Why is no real title available?)
- A computational approach to synthesizing guards for hybrid systems
- scientific article; zbMATH DE number 2163583 (Why is no real title available?)
- scientific article; zbMATH DE number 2085318 (Why is no real title available?)
- Computing reachable states for nonlinear biological models
- Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement
- Level-Set Approach for Reachability Analysis of Hybrid Systems under Lag Constraints
- Synthesis of controllers for target problems of hybrid systems using approximate computation
- Symbolic reachability computation for families of linear vector fields
- A novel unified framework for solving reachability and invariance problems
- The flexible, extensible and efficient toolbox of level set methods
- Verification of discrete time stochastic hybrid systems: a stochastic reach-avoid decision problem
- Safe autonomy under perception uncertainty using chance-constrained temporal logic
- Two-player zero-sum hybrid games
- Reachability analysis of linear systems using support functions
This page was built for publication: Level set methods for computation in hybrid systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4953402)
