A Formal Approach to User Interface Design using Hybrid System Theory, Phase I

Metadata Updated: April 5, 2018

Optimal Synthesis Inc.(OSI) proposes to develop an aiding tool for user interface design that is based on mathematical formalism of hybrid system theory. The correctness of information content of a user interface is ensured by a special observability test that takes into account of human cognition and psychology. A possible mismatch between an operational mode perceived by a human operator and the one active in a machine is detected via an algorithm that infers the intent of the human operator and generates an alert if a discrepancy from the mode of the machine is found. The developed tool is evaluated by considering standard operations in the national air space in the absence and the presence of a system fault.

Access & Use Information

Public: This dataset is intended for public access and use. License: U.S. Government Work

Downloads & Resources


Metadata Created Date April 9, 2015
Metadata Updated Date April 5, 2018

Metadata Source

Harvested from NASA Data.json

Additional Metadata

Resource Type Dataset
Metadata Created Date April 9, 2015
Metadata Updated Date April 5, 2018
Publisher Space Technology Mission Directorate
Unique Identifier TECHPORT_16690
Maintainer Email
Public Access Level public
Bureau Code 026:00
Metadata Context https://project-open-data.cio.gov/v1.1/schema/catalog.jsonld
Schema Version https://project-open-data.cio.gov/v1.1/schema
Catalog Describedby https://project-open-data.cio.gov/v1.1/schema/catalog.json
Harvest Object Id 2d6320c5-0931-4d82-8f23-090f45734961
Harvest Source Id 39e4ad2a-47ca-4507-8258-852babd0fd99
Harvest Source Title NASA Data.json
Data First Published 2013-11-01T07:00:00.000Z
Homepage URL https://techport.nasa.gov/view/16690
Language en-US
License http://www.usa.gov/publicdomain/label/1.0/
Data Last Modified 2017-09-16T00:00:00.000Z
Program Code 026:027
Publisher Hierarchy National Aeronautics and Space Administration > Space Technology Mission Directorate
Source Datajson Identifier True
Source Hash 9fb62ca868b3f357ef5cab7b22da771ae29435a8
Source Schema Version 1.1

Didn't find what you're looking for? Suggest a dataset here.