Using formal verification to evaluate human-automation interaction: A review
Failures in complex systems controlled by human operators can be difficult to anticipate
because of unexpected interactions between the elements that compose the system …
because of unexpected interactions between the elements that compose the system …
Avionics human-machine interfaces and interactions for manned and unmanned aircraft
Technological advances in avionics systems and components have facilitated the
introduction of progressively more integrated and automated Human-Machine Interfaces …
introduction of progressively more integrated and automated Human-Machine Interfaces …
Event-triggered control for switched systems with denial-of-service attack
This article studies the stabilization problem for switched systems in the presence of denial-
of-service (DoS) attack using the event-triggered scheme. Unlike the traditional switching …
of-service (DoS) attack using the event-triggered scheme. Unlike the traditional switching …
Computational techniques for the verification of hybrid systems
Hybrid system theory lies at the intersection of the fields of engineering control theory and
computer science verification. It is defined as the modeling, analysis, and control of systems …
computer science verification. It is defined as the modeling, analysis, and control of systems …
[图书][B] Application of level set methods to control and reachability problems in continuous and hybrid systems
IM Mitchell - 2002 - search.proquest.com
Computer control is an intimate part of many modern devices, and yet there exist few formal
methods for designing and analyzing the complex interactions between the discrete realm of …
methods for designing and analyzing the complex interactions between the discrete realm of …
Aircraft autolander safety analysis through optimal control-based reach set computation
ONE of the key technologies for design and analysis of safety critical and human-in-the-loop
systems is verification, which allows for heightened confidence that the system will perform …
systems is verification, which allows for heightened confidence that the system will perform …
Automatic commercial aircraft-collision avoidance in free flight: the three-dimensional problem
MA Christodoulou, SG Kodaxakis - IEEE transactions on …, 2006 - ieeexplore.ieee.org
In this paper, optimal resolution of air-traffic (AT) conflicts were considered. Aircraft are
assumed to cruise within a free altitude layer and are modeled in three dimensions with …
assumed to cruise within a free altitude layer and are modeled in three dimensions with …
Reachability calculations for automated aerial refueling
J Ding, J Sprinkle, SS Sastry… - 2008 47th IEEE …, 2008 - ieeexplore.ieee.org
This paper describes Hamilton-Jacobi (HJ) reachability calculations for a hybrid systems
formalism governing unmanned aerial vehicles (UAVs) interacting with another vehicle in a …
formalism governing unmanned aerial vehicles (UAVs) interacting with another vehicle in a …
Active fault-tolerant control systems
The field of system and control theory has always been considered as an interdisciplinary
engineering and research field. This mainly relates to the study of automation and the …
engineering and research field. This mainly relates to the study of automation and the …
Automatically generating specification properties from task models for the formal verification of human–automation interaction
ML Bolton, N Jiménez… - IEEE Transactions on …, 2014 - ieeexplore.ieee.org
Human-automation interaction (HAI) is often a contributor to failures in complex systems.
This is frequently due to system interactions that were not anticipated by designers and …
This is frequently due to system interactions that were not anticipated by designers and …