scientific article; zbMATH DE number 2163583

zbMath1074.93014MaRDI QIDQ4672469

Claire J. Tomlin, Alexandre M. Bayen, Meeko K. M. Oishi, Ian M. Mitchell

Publication date: 29 April 2005

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

hybrid systemssafetylarge scale systemsverification techniquesaircraft collision avoidanceautopilotsconstrained level set methodsdifferential game methodimplicit surface function representationreachable set computationsoftware toolkit

Mathematics Subject Classification ID

Reliability, availability, maintenance, inspection in operations research (90B25) Discrete event control/observation systems (93C65) Variable structure systems (93B12) Attainable sets, reachability (93B03) Large-scale systems (93A15) Software, source code, etc. for problems pertaining to systems and control theory (93-04)

Related Items (3)

Differential Game Logic ⋮ On the decidability of reachability in continuous time linear time-invariant systems ⋮ Conditional viability for impulse differential games

Uses Software

• Kronos
• SPIN
• PVS
• HyTech
• Uppaal

This page was built for publication: