An Approach to the Verification of the Center-TRACON Automation System

• Authors:

• John Lygeros;George J. Pappas;Shankar Sastry

• Affiliations:

• -;-;-

• Venue:
• HSCC '98 Proceedings of the First International Workshop on Hybrid Systems: Computation and Control
• Year:
• 1998