scientific article; zbMATH DE number 1444360
From MaRDI portal
Publication:4953402
zbMath0952.93006MaRDI QIDQ4953402
Ian M. Mitchell, Claire J. Tomlin
Publication date: 9 May 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
nonlinear systemshybrid systemsHamilton-Jacobi equationslevel set methodaircraft conflict resolutionreachability operator
Controllability (93B05) Control/observation systems involving computers (process control, etc.) (93C83) Automated systems (robots, etc.) in control theory (93C85) Attainable sets, reachability (93B03) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Related Items
Efficient polyhedral enclosures for the reachable set of nonlinear control systems ⋮ Reachability analysis of linear dynamic systems with constant, arbitrary, and Lipschitz continuous inputs ⋮ On reachability and minimum cost optimal control ⋮ Finite data-rate feedback stabilization of switched and hybrid linear systems ⋮ Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems ⋮ Reachable set estimation and safety verification of nonlinear systems via iterative sums of squares programming ⋮ Viability, viscosity, and storage functions in model-predictive control with terminal constraints ⋮ Hybrid Tools for Hybrid Systems – Proving Stability and Safety at Once ⋮ The flexible, extensible and efficient toolbox of level set methods ⋮ Compositional abstraction refinement for control synthesis ⋮ Verification of discrete time stochastic hybrid systems: a stochastic reach-avoid decision problem ⋮ Reachability analysis using dissipation inequalities for uncertain nonlinear systems ⋮ Controller synthesis for safety and reachability via approximate bisimulation ⋮ An adaptive sparse grid semi-Lagrangian scheme for first order Hamilton-Jacobi Bellman equations ⋮ A computational approach to synthesizing guards for hybrid systems ⋮ Approximate bisimulation relations for constrained linear systems ⋮ Extent-compatible control barrier functions ⋮ Safe autonomy under perception uncertainty using chance-constrained temporal logic ⋮ Computing reachable states for nonlinear biological models ⋮ Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement ⋮ Symbolic reachability computation for families of linear vector fields ⋮ Vector barrier certificates and comparison systems ⋮ Reachability analysis of linear systems using support functions ⋮ Trajectory Based Verification Using Local Finite-Time Invariance ⋮ Supervisory target control for hybrid systems ⋮ Coverage-guided test generation for continuous and hybrid systems ⋮ Reachable set computation of linear systems with nonconvex constraints via convex optimization