Invariance-Preserving Abstractions of Hybrid Systems: Application to User Interface Design

Meeko Oishi,Ian M. Mitchell,A. Bayen,C. Tomlin

Published 2008 in IEEE Transactions on Control Systems Technology

ABSTRACT

No abstract is available for this paper.

PUBLICATION RECORD

Publication year
2008
Venue
IEEE Transactions on Control Systems Technology
Publication date
2008-02-25
Fields of study
Computer Science, Engineering
Identifiers
DOI 10.1109/TCST.2007.903370
External record
Open on Semantic Scholar
Source metadata
Semantic Scholar

CITATION MAP

EXTRACTION MAP

CLAIMS

No claims are published for this paper.

CONCEPTS

No concepts are published for this paper.

REFERENCES

Switching and Finite Automata Theory: Frontmatter
2009cited by this paper
Synthesis from Design Requirements of a Hybrid System for Transport Aircraft Longitudinal Control. Volume 1
2007cited by this paper
Ellipsoidal Techniques for Hybrid Dynamics: the Reachability Problem
2005cited by this paper
PHAVer: algorithmic verification of hybrid systems past HyTech
2005cited by this paper
Handbook of Human Factors and Ergonomics
2005cited by this paper
A Toolbox of Level Set Methods
2005influential reference
Nonlinear Systems: Approximating Reach Sets
2004cited by this paper
HYSDEL-a tool for generating computational hybrid models for analysis and synthesis problems
2004cited by this paper
Incremental Search Methods for Reachability Analysis of Continuous and Hybrid Systems
2004cited by this paper
Multi-Parametric Toolbox (MPT)
2004cited by this paper
Computational techniques for hybrid system verification
2003cited by this paper
Reachability Analysis of Nonlinear Systems Using Conservative Approximation
2003cited by this paper
Computational techniques for the verification of hybrid systems
2003cited by this paper
Immediate observability of discrete event systems with application to user-interface design
2003cited by this paper
Progress on Reachability Analysis of Hybrid Systems Using Predicate Abstraction
2003cited by this paper
On Abstractions and Simplifications in the Design of Human-Automation Interfaces
2002influential reference
Composing Abstractions of Hybrid Systems
2002cited by this paper
Formal Verification of Human-Automation Interaction
2002influential reference
Using model checking to help discover mode confusions and other automation surprises
2002cited by this paper
Bisimulation Based Hierarchical System Architecture for Single-Agent Multi-modal Systems
2002cited by this paper
Hybrid verification of an interface for an automatic landing
2002influential reference
Some Formal Aspects of Human-Automation Interaction
2002cited by this paper
SOSTOOLS: Sum of squares optimization toolbox for MATLAB
2002cited by this paper
Automation Surprises
2001cited by this paper
Verification of infinite-state dynamic systems using approximate quotient transition systems
2001cited by this paper
Validating a Hamilton-Jacobi Approximation to Hybrid System Reachable Sets
2001cited by this paper
d/dt: a verification tool for hybrid systems
2001cited by this paper
Addressing Multiobjective Control: Safety and Performance through Constrained Optimization
2001cited by this paper
A model for types and levels of human interaction with automation
2000cited by this paper
Models and Mechanized Methods that Integrate Human Factors into Automation Design
2000cited by this paper
Computation of Viscous Flow for a Boeing 777 Aircraft in Landing Configuration
2000cited by this paper
A game theoretic approach to controller design for hybrid systems
2000cited by this paper
Modes in Human-Machine Systems: Constructs, Representation, and Classification
1999cited by this paper
Optimal control of hybrid systems
1999cited by this paper
A new algorithm for exact reduction of incompletely specified finite state machines
1999cited by this paper
Aircraft Design: Synthesis and Analysis
1999cited by this paper
Civil jet aircraft design
1999cited by this paper
Analyzing Software Specifications for Mode Confusion Potential
1998cited by this paper
A new algorithm for the reduction of incompletely specified finite state machines
1998cited by this paper
A formal methods approach to the analysis of mode confusion
1998cited by this paper
Formal Aspects of Human-Automation Interaction
1998cited by this paper
Implicit computation of compatible sets for state minimization of ISFSMs
1997cited by this paper
Theory and algorithms for state minimization of nondeterministic FSMs
1997cited by this paper
Designing automation to reduce operator errors
1997cited by this paper
Aviation Automation: The Search for A Human-centered Approach
1996cited by this paper
A review of the yellow interval dilemma
1996cited by this paper
Verification of Hybrid Systems Using Abstractions
1996cited by this paper
The interfaces between flightcrews and modern flight deck systems
1996cited by this paper
Towards Continuous Abstractions of Dynamical and Control Systems
1996cited by this paper
Mode Awareness in Advanced Autoflight Systems
1995cited by this paper
A User Guide to HyTech
1995cited by this paper
Exact and heuristic algorithms for the minimization of incompletely specified state machines
1994cited by this paper
An efficient algorithm to search for minimal closed covers in sequential machines
1993cited by this paper
Flight-deck automation: promises and problems
1980cited by this paper
Influence of the time duration of yellow traffic signals on driver response
1980cited by this paper
A Method for Minimizing the Number of Internal States in Incompletely Specified Sequential Networks
1965cited by this paper
Driver Judgment and Error During the Amber Period at Traffic Lights
1962cited by this paper
The Problem of the Amber Signal Light in Traffic Flow
1960cited by this paper
A Technique for the Reduction of a Given Machine to a Minimal-State Machine
1959cited by this paper
Minimizing the Number of States in Incompletely Specified Sequential Switching Functions
1959cited by this paper

CITED BY

A review of fault management issues in aircraft systems: Current status and future directions
2024cites this paper
Sensor Selection for Dynamics-Driven User-Interface Design
2022cites this paper
The challenge of advanced FDI algorithms for aircraft systems
2022cites this paper
Trust-based user-interface design for human-automation systems
2020cites this paper
Research on Influencing Factor Selection of Pilot’s Intention
2020cites this paper
Mental Models for Cybersecurity: A Formal Methods Approach
2018cites this paper
On flight operational issues management: Past, present and future
2018cites this paper
A Hybrid-Systems Approach for Analyzing Pilot-Cockpit Interactions
2017cites this paper
User-interface design for MIMO LTI human-automation systems through sensor placement
2016cites this paper
Formal Verification for Mode Confusion in the Flight Deck Using Intent-Based Abstraction
2016cites this paper
Observability of User-Interfaces for Hybrid LTI Systems Under Collaborative Control: Application to Aircraft Flight Management Systems
2016cites this paper
An overview of driver feedback systems for efficiency and safety
2016cites this paper
Change-of-bases abstractions for non-linear hybrid systems
2016cites this paper
Abstraction of analytical models from cognitive models of human control of robotic swarms
2015cites this paper
Observability based techniques to analyze and design user-interfaces : situation-awareness and displayed information
2015cites this paper
Verifying Correctness of Information in Flight-Deck User Interface using Hybrid System Observability
2015cites this paper
For Review Only AN INTEGER PROGRAMMING FOR AIRPLANE ROUNTING IN THE U.S. CENTER-TRACON
2014cites this paper
Example of a Complementary Use of Model Checking and Human Performance Simulation
2014cites this paper
User Interface Validation using Mode Confusion Detection
2014cites this paper
Assessing information availability for user-interfaces of shared control systems under reference tracking
2014cites this paper
Toward 4-D Trajectory Management in Air Traffic Control: A Study Based on Monte Carlo Simulation and Reachability Analysis
2013cites this paper
AFRL-OSR-VA-TR-2013-0422 MODELING OF EMBEDDED HUMAN SYSTEMS
2013cites this paper
Design Validation of Multi-mode Systems
2013cites this paper
Timed Relational Abstractions for Sampled Data Control Systems
2012cites this paper
Change-Of-Bases Abstractions for Non-Linear Systems
2012cites this paper
Pursuit, evasion and defense in the plane
2012cites this paper
Safety Control of Hidden Mode Hybrid Systems
2012cites this paper
General aviation landing assistance using formal methods-based system design
2012cites this paper
Safety Control for Order Preserving Systems with Applications to Intelligent Transportation.
2012cites this paper
Safe-Reachable Area Cooperative Pursuit
2012influential citation
Computing observable and predictable subspaces to evaluate user-interfaces of LTI systems under shared control
2011cites this paper
Development of safety control for hidden mode hybrid systems and verification in the multi-vehicle lab
2011cites this paper
Automatic abstraction of non-linear systems using change of bases transformations
2011cites this paper
Guaranteed safe online learning of a bounded system
2011cites this paper
Relational Abstractions for Continuous and Hybrid Systems
2011cites this paper
A differential game approach to planning in adversarial scenarios: A case study on capture-the-flag
2011cites this paper
Safe intersections: At the crossing of hybrid systems and verification
2011cites this paper
Applications of hybrid reachability analysis to robotic aerial vehicles
2011cites this paper
Dynamics of a Hysteretic Relay Oscillator with Periodic Forcing
2011cites this paper
Using formal methods to verify safe deep stall landing of a MAV
2011cites this paper
Control of Hidden Mode Hybrid Systems: Algorithm termination
2011cites this paper
Hybrid System Model of Air Traffic Controller Cognition
2010influential citation
Stability of switched systems with switching delay : application to remote operation of aircraft under distributed control
2010cites this paper
Design of guaranteed safe maneuvers using reachable sets: Autonomous quadrotor aerobatics in theory and practice
2010cites this paper
Reachability analysis for continuous systems under shared control: Application to user-interface design
2009influential citation
What Is Chess? Bridging Research & Education Embedded Systems Curriculum Introduction to Embedded Systems Eecs 149
2009cites this paper
Reachability-based abstraction for an aircraft landing under shared control
2008influential citation
Towards Provably Safe Control for Smart Wheelchairs
2008cites this paper
Aircraft Autolander Safety Analysis Through Optimal Control-Based Reach Set Computation
2007cites this paper