Formal Analysis and Design of Supervisor and User Interface Allowing for Non-Deterministic Choices Using Weak Bi-Simulation

Formal Analysis and Design of Supervisor and User Interface Allowing for Non-Deterministic Choices Using Weak Bi-Simulation

In human machine systems, a user display should contain sufficient information to encapsulate expressive and normative human operator behavior. Failure in such system that is commanded by supervisor can be difficult to anticipate because of unexpected interactions between the different users and mac...

Full description

Bibliographic Details
Main Authors: Shazada Muhammad Umair Khan, Wenlong He
Format: Article
Language:English
Published: MDPI AG 2018-01-01
Series:Applied Sciences
Subjects:
user interface
machine interface
supervisor interface
formal model
composite interface
Online Access:http://www.mdpi.com/2076-3417/8/2/221

Internet

http://www.mdpi.com/2076-3417/8/2/221

Similar Items