Discrete abstractions of hybrid systems: Verification of safety and application to user-interface design

TitleDiscrete abstractions of hybrid systems: Verification of safety and application to user-interface design
Publication TypeTechnical Report
AuthorsOishi, M., C. Tomlin, and A. Degani
PublisherNASA/TM-2003-212803). Moffett Field, CA: National Aeronautics and Space Administration, Ames Research Center
Year of Publication2003
Publication Languageeng
Citation KeyOishi2003Discrete-abstra

a place of mind, The University of British Columbia

Electrical and Computer Engineering
2332 Main Mall
Vancouver, BC Canada V6T 1Z4
Tel +1.604.822.2872
Fax +1.604.822.5949
Email:

Emergency Procedures | Accessibility | Contact UBC | © Copyright 2021 The University of British Columbia