Verification of hybrid systems: monotonicity in the AHS control system

• Authors:

• John A. Haddon;Datta N. Godbole;Akash Deshpande;John Lygeros

• Affiliations:

• -;-;-;-

• Venue:
• Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
• Year:
• 1996