scientific article; zbMATH DE number 1444360
From MaRDI portal
Publication:4953402
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)
Recommendations
- scientific article; zbMATH DE number 1798193
- scientific article; zbMATH DE number 2163583
- scientific article; zbMATH DE number 1303074
- 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
Cited in
(40)- 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
- scientific article; zbMATH DE number 1303074 (Why is no real title available?)
- 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:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4953402)
