Formal approach to reactive system design: unmanned aerial vehicle flight management system design example

Proceedings of the IEEE International Symposium on Computer-Aided Control System Design

Volumn , Issue , 1999, Pages 522-527

  Koo, T John ^a   Sinopoli, Bruno ^a   Sangiovanni Vincentelli, Alberto ^a   Sastry, Shankar ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AIRCRAFT; COMPUTER SIMULATION; FLIGHT DYNAMICS; MICROPROCESSOR CHIPS; REAL TIME SYSTEMS; TRAJECTORIES;

AUTOMATIC CODE GENERATION; FLIGHT MANAGEMENT SYSTEMS; MODELS OF COMPUTATION; PTOLEMY; REACTIVE SYSTEMS; UNMANNED AERIAL VEHICLE;

COMPUTER AIDED DESIGN;

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

References (11)