Formal Analysis and Design of Supervisor and User Interface Allowing for Non-Deterministic Choices Using Weak Bi-Simulation-Reference-Cited by-同舟云学术

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

Published:2018-01-31 Issue:2 Volume:8 Page:221
ISSN:2076-3417
Container-title:Applied Sciences
language:en
Short-container-title:Applied Sciences

Author:

Khan Shazada,He Wenlong

Funder

Hanyang University

Publisher

MDPI AG

Subject

Fluid Flow and Transfer Processes,Computer Science Applications,Process Chemistry and Technology,General Engineering,Instrumentation,General Materials Science

Link

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

Reference36 articles.

1. Human resource strategies for effective introduction of advanced manufacturing technologies (AMT);Saraph;Prod. Inventory Manag. J.,1992

2. The Handbook of Formal Methods in Human-Computer Interaction;Weyers,2017

3. Model-based verification method for solving the parameter uncertainty in the train control system

4. Using affective human–machine interface to increase the operation performance in virtual construction crane training system: A novel approach

5. A Systematic Approach to Model Checking Human–Automation Interaction Using Task Analytic Models

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. The Evolution Mechanism of Correctness for Cyber-Physical System;International Journal of Software Engineering and Knowledge Engineering;2024-05-16

2. Innovative Approaches to Simulating Human-Machine Interactions Through Virtual Counterparts;Advances in Business Information Systems and Analytics;2024-02-02

3. A product-process-resource based formal modelling framework for customized manufacturing in cyber-physical production systems;International Journal of Computer Integrated Manufacturing;2022-01-31

4. Formalization of continuous Fourier transform in verifying applications for dependable cyber-physical systems;Journal of Systems Architecture;2020-06

5. Formal modeling and verification of a part manufacturing systems using FSZ-automaton with CLS criteria;The International Journal of Advanced Manufacturing Technology;2018-06-20