By Topic

Reachability analysis for continuous systems under shared control: Application to user-interface design

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Nikolai Matni ; Department of Electrical and Computer Engineering, University of British Columbia, Vancouver, Canada ; Meeko Oishi

We extend techniques for a reachability-based abstraction to continuous systems under shared control, that is, systems which have both inputs controlled by the automation and inputs controlled by the human, to account for potential interactions between the human and the automation that affect safety. We broadly classify human input as assisting the automated input, neutral, or fighting against the automated input, resulting in three types of invariance. Using standard reachability tools to calculate invariant, user-invariant, and user-assisted-invariant sets, regions in the state-space are associated with three levels of safety: (1) safe, (2) marginally safe, and (3) recoverably safe. By partitioning the state-space according to intersections of the invariant sets, we create an abstraction to a discrete event system of minimal cardinality which can inform the information content of a discrete user-interface that preserves information about the safety levels of the system. We apply the reachable set calculation and abstraction method to an aircraft landing under shared control.

Published in:

Decision and Control, 2009 held jointly with the 2009 28th Chinese Control Conference. CDC/CCC 2009. Proceedings of the 48th IEEE Conference on

Date of Conference:

15-18 Dec. 2009