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 …
Towards increased systems resilience: new challenges based on dissonance control for human reliability in Cyber-Physical&Human Systems
F Vanderhaegen - Annual Reviews in Control, 2017 - Elsevier
This paper discusses concepts and tools for joint human and cyber-physical-systems
analysis and control in the view of increasing the whole system resilience. More precisely, it …
analysis and control in the view of increasing the whole system resilience. More precisely, it …
Toward verified artificial intelligence
Toward verified artificial intelligence Page 1 46 COMMUNICATIONS OF THE ACM | JULY
2022 | VOL. 65 | NO. 7 contributed articles ILL US TRA TION B Y PETER CRO W THER A …
2022 | VOL. 65 | NO. 7 contributed articles ILL US TRA TION B Y PETER CRO W THER A …
Synthesis of human-in-the-loop control protocols for autonomous systems
L Feng, C Wiltsche, L Humphrey… - IEEE Transactions on …, 2016 - ieeexplore.ieee.org
We propose an approach to synthesize control protocols for autonomous systems that
account for uncertainties and imperfections in interactions with human operators. As an …
account for uncertainties and imperfections in interactions with human operators. As an …
[图书][B] Design and safety assessment of critical systems
M Bozzano, A Villafiorita - 2010 - books.google.com
Safety-critical systems, by definition those systems whose failure can cause catastrophic
results for people, the environment, and the economy, are becoming increasingly complex …
results for people, the environment, and the economy, are becoming increasingly complex …
" Automation Surprise" in Aviation: Real-Time Solutions
Conflicts between the pilot and the automation, when pilots detect but do not understand
them, cause" automation surprise" situations and jeopardize flight safety. We conducted an …
them, cause" automation surprise" situations and jeopardize flight safety. We conducted an …
Software engineering for safety: a roadmap
RR Lutz - Proceedings of the Conference on the Future of …, 2000 - dl.acm.org
Software Engineering for Safety: A Roadmap Robyn Lutz Page 1 Software Engineering for
Safety: A Roadmap Robyn Lutz Key Research Pointers Provide readier access to formal …
Safety: A Roadmap Robyn Lutz Key Research Pointers Provide readier access to formal …
How to design valid simulator studies for investigating user experience in automated driving: review and hands-on considerations
Simulator studies have been conducted in the automotive domain since the 1960s.
Recently, automated driving studies have become more popular as real-world automated …
Recently, automated driving studies have become more popular as real-world automated …
Simulations in cyber-security: a review of cognitive modeling of network attackers, defenders, and users
VD Veksler, N Buchler, BE Hoffman… - Frontiers in …, 2018 - frontiersin.org
Computational models of cognitive processes may be employed in cyber-security tools,
experiments, and simulations to address human agency and effective decision-making in …
experiments, and simulations to address human agency and effective decision-making in …
Cognitive conflict in human–automation interactions: a psychophysiological study
The review of literature in sociology and distributed artificial intelligence reveals that the
occurrence of conflict is a remarkable precursor to the disruption of multi-agent systems. The …
occurrence of conflict is a remarkable precursor to the disruption of multi-agent systems. The …