University of British Columbia / Stanford University / NASA Ames Research Center / American Institute of Biological Sciences / University of California / /
IndustryTerm
dimensional systems / particular car / post-processing step / technology effort / car traveling / technologies human-automation systems / human-automation systems / risk applications / car separates / transportation systems / consumer products / computational tool / Σcar / event systems / safety-critical systems / Verification tools / car travels / interface verification tools / reachability tools / model complex human-automation systems / physical systems / input devices / control law / flight management systems / /
Organization
office of Naval Research / San Jose State University Foundation / National Science Foundation / NASA Ames Research Center / Stanford University / University of California / Berkeley / National Aeronautics and Space Administration / Department of Defense / University of British Columbia / Vancouver / American Institute of Biological Sciences / /
Person
Hcar / /
Position
automated controller / driver / hybrid model / model / single driver / controller / human controller / /
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,