Formal Verification of Curved Flight Collision Avoidance Maneuvers: A Case Study
- 1 January 2009
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Computing differential invariants of hybrid systems as fixedpointsFormal Methods in System Design, 2009
- Differential Dynamic Logic for Hybrid SystemsJournal of Automated Reasoning, 2008
- Safety Verification of an Aircraft Landing Protocol: A Refinement ApproachPublished by Springer Science and Business Media LLC ,2007
- Protocol-Based Conflict Resolution for Air Traffic ControlAir Traffic Control Quarterly, 2007
- Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery AlgorithmLecture Notes in Computer Science, 2007
- Proving Safety Properties of an Aircraft Landing Protocol Using I/O Automata and the PVS Theorem Prover: A Case StudyLecture Notes in Computer Science, 2006
- Provably Safe Coordinated Strategy for Distributed Conflict ResolutionPublished by American Institute of Aeronautics and Astronautics (AIAA) ,2005
- Guaranteed Termination in the Verification of LTL Properties of Non-linear Robust Discrete Time Hybrid SystemsLecture Notes in Computer Science, 2005
- Optimal Coordinated Motions of Multiple Agents Moving on a PlaneSIAM Journal on Control and Optimization, 2003
- Conflict resolution for air traffic management: a study in multiagent hybrid systemsIEEE Transactions on Automatic Control, 1998