Log In Sign Up

Safe Handover in Mixed-Initiative Control for Cyber-Physical Systems

by   Frederik Wiehr, et al.

For mixed-initiative control between cyber-physical systems (CPS) and its users, it is still an open question how machines can safely hand over control to humans. In this work, we propose a concept to provide technological support that uses formal methods from AI – description logic (DL) and automated planning – to predict more reliably when a hand-over is necessary, and to increase the advance notice for handovers by planning ahead of runtime. We combine this with methods from human-computer interaction (HCI) and natural language generation (NLG) to develop solutions for safe and smooth handovers and provide an example autonomous driving scenario. A study design is proposed with the assessment of qualitative feedback, cognitive load and trust in automation.


page 2

page 4


Overview of Logical Foundations of Cyber-Physical Systems

Cyber-physical systems (CPSs) are important whenever computer technology...

Towards an Automated Requirements-driven Development of Smart Cyber-Physical Systems

The Invariant Refinement Method for Self Adaptation (IRM-SA) is a design...

PSY-TaLiRo: A Python Toolbox for Search-Based Test Generation for Cyber-Physical Systems

In this paper, we present the Python package PSY-TaLiRo which is a toolb...

Wyner wiretap-like encoding scheme for cyber-physical systems

In this study, the authors consider the problem of exchanging secrete me...

Extending MAPE-K to support Human-Machine Teaming

The MAPE-K feedback loop has been established as the primary reference m...

Challenges of engineering safe and secure highly automated vehicles

After more than a decade of intense focus on automated vehicles, we are ...

Quality of Control Assessment for Tactile Internet based Cyber-Physical Systems

We evolve a methodology and define a metric to evaluate Tactile Internet...