scientific article; zbMATH DE number 2163583
From MaRDI portal
Publication:4672469
aircraft collision avoidanceautopilotsconstrained level set methodsdifferential game methodhybrid systemsimplicit surface function representationlarge scale systemsreachable set computationsafetysoftware toolkitverification techniques
Reliability, availability, maintenance, inspection in operations research (90B25) Software, source code, etc. for problems pertaining to systems and control theory (93-04) Large-scale systems (93A15) Attainable sets, reachability (93B03) Variable structure systems (93B12) Discrete event control/observation systems (93C65)
Cited in
(15)- Avoiding geometric intersection operations in reachability analysis of hybrid systems
- Verification of Supervisory Control Software Using State Proximity and Merging
- Level Set Methods for Computing Reachable Sets of Hybrid Systems with Differential Algebraic Equation Dynamics
- Applications of MetiTarski in the Verification of Control and Hybrid Systems
- scientific article; zbMATH DE number 1303060 (Why is no real title available?)
- Control and simulation of hybrid systems
- scientific article; zbMATH DE number 1798193 (Why is no real title available?)
- Satellite rendezvous and conjunction avoidance: case studies in verification of nonlinear hybrid systems
- scientific article; zbMATH DE number 2085318 (Why is no real title available?)
- scientific article; zbMATH DE number 1444360 (Why is no real title available?)
- Differential game logic
- Automated Technology for Verification and Analysis
- Hybrid Systems: Computation and Control
- On the decidability of reachability in continuous time linear time-invariant systems
- Conditional viability for impulse differential games
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 Q4672469)
