High-level modeling and analysis of TCAS

Proceedings - Real-Time Systems Symposium

Volumn , Issue , 1999, Pages 115-125

  Livadas, Carolos ^a   Lygeros, John ^a   Lynch, Nancy A ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AIR TRAFFIC CONTROL; AUTOMATA THEORY; CLOSED LOOP CONTROL SYSTEMS; COLLISION AVOIDANCE; COMPUTATIONAL COMPLEXITY; COMPUTER SOFTWARE; LARGE SCALE SYSTEMS; MATHEMATICAL MODELS;

HIGH LEVEL MODEL; HYBRID INPUT OUTPUT AUTOMATA; TRAFFIC ALERT AND COLLISION AVOIDANCE SYSTEM;

SYSTEMS ANALYSIS;

EID: 0033319552     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)