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.
hybrid systemssafetylarge scale systemsverification techniquesaircraft collision avoidanceautopilotsconstrained level set methodsdifferential game methodimplicit surface function representationreachable set computationsoftware toolkit
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)
Uses Software
This page was built for publication: