Title :
Safety issues in the asynchronous control of critical avionics systems
Author_Institution :
Digital Avionics Systems Conference Seattle, Washington
Abstract :
▓ Introduction ▓ Definitions for Asynchronous Systems ▓ Hybrid Input Output Automata ▓ MI MO Closed Loop Control Systems ▓ Fault Models with Byzantine Behaviour ▓ Future Directions
Conference_Titel :
Digital Avionics Systems Conference (DASC), 2011 IEEE/AIAA 30th
Conference_Location :
Seattle, WA, USA
Print_ISBN :
978-1-61284-797-9
DOI :
10.1109/DASC.2011.6096168