View Full Document

Invariance-Preserving Abstractions of Hybrid Systems



View the full content.
View Full Document
View Full Document

4 views

Unformatted text preview:

Invariance Preserving Abstractions of Hybrid Systems Application to User Interface Design Meeko Oishi1 Ian Mitchell2 Alexandre Bayen3 Claire Tomlin4 1 American Institute of Biological Sciences Washington DC USA moishi aibs org 2 Dept of Computer Science University of British Columbia Vancouver BC Canada mitchell cs ubc ca 3 Civil Engineering University of California Berkeley CA USA bayen ce berkeley edu 4 Dept of Aeronautics and Astronautics Stanford University Stanford CA USA tomlin stanford edu November 8 2005 Abstract Hybrid systems combine discrete state dynamics which model mode switching with continuous state dynamics which model physical processes Hybrid systems can be controlled by affecting both their discrete mode logic and continuous dynamics in many systems such as commercial aircraft these can be controlled both automatically and using manual control A human interacting with a hybrid system is often presented through information displays with a simplified representation of the underlying system This user interface should not overwhelm the human with unnecessary information and thus usually contains only a subset of information about the true system model yet if properly designed represents an abstraction of the true system which the human is able to use to safely interact with the system In safety critical systems correct and succinct interfaces are paramount interfaces must provide adequate information and must not confuse the user We present an invariance preserving abstraction which generates a discrete event system that can be used to analyze verify or design user interfaces Research supported by a National Science Foundation Graduate Research Fellowship by DARPA under the Software Enabled Control Program AFRL contract F33615 99 C 3014 by the DoD Multidisciplinary University Research Initiative MURI program administered by the Office of Naval Research under Grant N00014 00 1 0637 and by Grant NCC2 798 from NASA Ames Research Center to the San Jose



Access the best Study Guides, Lecture Notes and Practice Exams

Loading Unlocking...
Login

Join to view Invariance-Preserving Abstractions of Hybrid Systems and access 3M+ class-specific study document.

or
We will never post anything without your permission.
Don't have an account?
Sign Up

Join to view Invariance-Preserving Abstractions of Hybrid Systems and access 3M+ class-specific study document.

or

By creating an account you agree to our Privacy Policy and Terms Of Use

Already a member?