Safety-Aware Strategy Synthesis for Autonomous System of Systems with UPPAAL
2026 (English)In: Lecture Notes in Computer Science, Springer Nature , 2026, p. 73-87Conference paper, Published paper (Refereed)
Abstract [en]
Systems of Systems (SoS) in critical domains like construction require the coordination of independent and heterogeneous Constituent Systems (CS) to accomplish complex missions. To help with such coordination, an architectural approach, called orchestration, has been proposed. However, safety in such an approach remains unexplored. In this paper, we present a safety-aware strategy synthesis framework to fill this gap. It combines formal modeling of CS and shared resources as timed automata, integration of safety contracts to capture assumptions and guarantees, and Q-learning strategy generation by using Uppaal Stratego. As a result, the framework enables the synthesis of execution strategies that not only fulfill mission objectives but also ensure safety constraints. We demonstrate our method through a case study in autonomous construction operations, highlighting its ability to minimize unsafe interactions and to reduce resource conflicts and waiting times. © 2025 Elsevier B.V., All rights reserved.
Place, publisher, year, edition, pages
Springer Nature , 2026. p. 73-87
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 15955 LNCS
Keywords [en]
Formal Models, Safety Strategy Synthesis, Sos, Uppaal, Safety Engineering, Architectural Approach, Complex Mission, Critical Domain, Formal Modeling, Safety Strategy, Safety-aware, Strategy Synthesis, System-of-systems, Coordination Reactions
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:mdh:diva-73211DOI: 10.1007/978-3-032-02018-5_6ISI: 001579298700007Scopus ID: 2-s2.0-105014764511ISBN: 9783031984136 (print)OAI: oai:DiVA.org:mdh-73211DiVA, id: diva2:1996845
Conference
Co-Design of Communication, Computing and Control in Cyber-Physical Systems, CoC3CPS 2025, 20th Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems, DECSoS 2025, 12th International Workshop on Next Generation of System Assurance Approaches for Critical Systems, SASSUR 2025, 4th International Workshop on Safety and Security Interaction, SENSEI 2025, 2nd International Workshop on Safety/Reliability/Trustworthiness of Intelligent Transportation Systems, SRToITS 2025 and 8th International Workshop on Artificial Intelligence Safety Engineering, WAISE 2025 held in conjunction with the 44th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2025, Stockholm, Sweden, 9 September, 2025
2025-09-102025-09-102025-12-03Bibliographically approved