Skip to content
U.S. flag

An official website of the United States government

Official websites use .gov
A .gov website belongs to an official government organization in the United States.

Secure .gov websites use HTTPS
A lock ( ) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.

Skip to content

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

Metadata Updated: November 12, 2020

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: No license information was provided. If this work was prepared by an officer or employee of the United States government as part of that person's official duties it is considered a U.S. Government Work.

Downloads & Resources


Metadata Created Date November 12, 2020
Metadata Updated Date November 12, 2020

Metadata Source

Harvested from NASA Data.json

Additional Metadata

Resource Type Dataset
Metadata Created Date November 12, 2020
Metadata Updated Date November 12, 2020
Publisher Space Technology Mission Directorate
Unique Identifier Unknown
Identifier TECHPORT_16690
Data First Published 2013-11-01
Data Last Modified 2020-01-29
Public Access Level public
Bureau Code 026:00
Metadata Context
Metadata Catalog ID
Schema Version
Catalog Describedby
Harvest Object Id c8079b57-4b67-4e3a-bc39-f852d4c849be
Harvest Source Id 58f92550-7a01-4f00-b1b2-8dc953bd598f
Harvest Source Title NASA Data.json
Homepage URL
Program Code 026:027
Source Datajson Identifier True
Source Hash 9e973bff1f30d1ed94702e759fd42d9459d137e7
Source Schema Version 1.1

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

An official website of the General Services Administration.

Looking for U.S. government information and services?