{"ID":2840024,"CreatedAt":"2026-06-01T04:54:23.091178241Z","UpdatedAt":"2026-06-01T04:54:23.091178241Z","DeletedAt":null,"paper_url":"https://arxiv.org/abs/2511.14437","arxiv_id":"2511.14437","title":"Model Learning for Adjusting the Level of Automation in HCPS","abstract":"The steadily increasing level of automation in human-centred systems demands rigorous design methods for analysing and controlling interactions between humans and automated components, especially in safety-critical applications. The variability of human behaviour poses particular challenges for formal verification and synthesis. We present a model-based framework that enables design-time exploration of safe shared-control strategies in human-automation systems. The approach combines active automata learning -- to derive coarse, finite-state abstractions of human behaviour from simulations -- with game-theoretic reactive synthesis to determine whether a controller can guarantee safety when interacting with these models. If no such strategy exists, the framework supports iterative refinement of the human model or adjustment of the automation's controllable actions. A driving case study, integrating automata learning with reactive synthesis in UPPAAL, illustrates the applicability of the framework on a simplified driving scenario and its potential for analysing shared-control strategies in human-centred cyber-physical systems.","short_abstract":"The steadily increasing level of automation in human-centred systems demands rigorous design methods for analysing and controlling interactions between humans and automated components, especially in safety-critical applications. The variability of human behaviour poses particular challenges for formal verification and...","url_abs":"https://arxiv.org/abs/2511.14437","url_pdf":"https://arxiv.org/pdf/2511.14437v1","authors":"[\"Mehrnoush Hajnorouzi\",\"Astrid Rakow\",\"Martin Fränzle\"]","published":"2025-11-18T12:35:34Z","proceeding":"cs.HC","tasks":"[\"cs.HC\",\"cs.FL\"]","methods":"[\"LoRA\"]","has_code":false}