50 citations · 249 across the 50 of their papers we have counts for
51 papers
Opinion-Guided Layered Strategies for Decentralized Coordination
Shuhao Qi, Zhiyong Sun, Siep Weiland +1
Autonomous agents increasingly interact with other independent agents, and such interactions typically admit multiple joint behaviors. When two agents prefer different ones, their…
Autonomous Driving with Priority-Ordered STL Specifications Under Multimodal Uncertainty
Taha Bouzid, Shuhao Qi, Mircea Lazar +1
Autonomous vehicles must plan trajectories that satisfy multiple requirements, such as safety, traffic-rule compliance, and passenger comfort. However, in safety-critical scenarios…
Compressing Correct-by-Design Synthesis for Stochastic Homogeneous Multi-Agent Systems with Counting LTL
Xinyuan Qiu, Ruohan Wang, Siyuan Liu +1
Correct-by-design synthesis provides a principled framework for establishing formal safety guarantees for stochastic multi-agent systems (MAS). However, conventional approaches bas…
Situation-Aware Interactive MPC Switching for Autonomous Driving
Shuhao Qi, Qiling Aori, Luyao Zhang +2
Autonomous driving in interactive traffic scenarios remains challenging because of the mutual influence among vehicles and the inherent uncertainty of surrounding agents. Several m…
Correct-by-Design Control Synthesis of Stochastic Multi-agent Systems: a Robust Tensor-based Solution
Ruohan Wang, Siyuan Liu, Zhiyong Sun +1
Discrete-time stochastic systems with continuous spaces are hard to verify and control, even with MDP abstractions due to the curse of dimensionality. We propose an abstraction-bas…
Integrating Opinion Dynamics into Safety Control for Decentralized Airplane Encounter Resolution
Shuhao Qi, Zhiqi Tang, Zhiyong Sun +1
As the airspace becomes increasingly congested, decentralized conflict resolution methods for airplane encounters have become essential. While decentralized safety controllers can…
A Vehicle-in-the-Loop Simulator with AI-Powered Digital Twins for Testing Automated Driving Controllers
Zengjie Zhang, Giannis Badakis, Michalis Galanis +4
Simulators are useful tools for testing automated driving controllers. Vehicle-in-the-loop (ViL) tests and digital twins (DTs) are widely used simulation technologies to facilitate…
ARCH-COMP25 Category Report: Stochastic Models
Alessandro Abate, Omid Akbarzadeh, Henk A. P. Blom +14
This report is concerned with a friendly competition for formal verification and policy synthesis of stochastic models. The main goal of the report is to introduce new benchmarks a…
Formal Control for Uncertain Systems via Contract-Based Probabilistic Surrogates (Extended Version)
Oliver Schön, Sofie Haesaert, Sadegh Soudjani
The requirement for identifying accurate system representations has not only been a challenge to fulfill, but it has compromised the scalability of formal methods, as the resulting…
Unraveling tensor structures in correct-by-design controller synthesis
Ruohan Wang, Zhiyong Sun, Sofie Haesaert
Formal safety guarantees on the synthesis of controllers for stochastic systems can be obtained using correct-by-design approaches. These approaches often use abstractions as finit…
Avoiding Deadlocks Is Not Enough: Analysis and Resolution of Blocked Airplanes
Shuhao Qi, Zengjie Zhang, Zhiyong Sun +1
This paper is devoted to the analysis and resolution of a pathological phenomenon in airplane encounters called blocking mode. As autonomy in airplane systems increases, a patholog…
Scalable control synthesis for stochastic systems via structural IMDP abstractions
Frederik Baymler Mathiesen, Sofie Haesaert, Luca Laurenti
This paper introduces a novel abstraction-based framework for controller synthesis of nonlinear discrete-time stochastic systems. The focus is on probabilistic reach-avoid specific…
Stochastic MPC for Finite Gaussian Mixture Disturbances with Guarantees
Maico H. W. Engelaar, Micha P. P. Swaanen, Mircea Lazar +1
This paper presents a stochastic model predictive control (SMPC) algorithm for linear systems subject to additive Gaussian mixture disturbances, with the goal of satisfying chance…
SymAware: A Software Development Framework for Trustworthy Multi-Agent Systems with Situational Awareness
Ernesto Casablanca, Zengjie Zhang, Gregorio Marchesini +3
Developing trustworthy multi-agent systems for practical applications is challenging due to the complicated communication of situational awareness (SA) among agents. This paper sho…
Risk-Aware Autonomous Driving with Linear Temporal Logic Specifications
Shuhao Qi, Zengjie Zhang, Zhiyong Sun +1
Human drivers naturally balance the risks of different concerns while driving, including traffic rule violations, minor accidents, and fatalities. However, achieving the same behav…
VernaCopter: Disambiguated Natural-Language-Driven Robot via Formal Specifications
Teun van de Laar, Zengjie Zhang, Shuhao Qi +2
It has been an ambition of many to control a robot for a complex task using natural language (NL). The rise of large language models (LLMs) makes it closer to coming true. However,…
Specification-guided temporal logic control for stochastic systems: a multi-layered approach
Birgit C. van Huijgevoort, Ruohan Wang, Sadegh Soudjani +1
Designing controllers to satisfy temporal requirements has proven to be challenging for dynamical systems that are affected by uncertainty. This is mainly due to the states evolvin…
Intention-Aware Control Based on Belief-Space Specifications and Stochastic Expansion
Zengjie Zhang, Zhiyong Sun, Sofie Haesaert
This paper develops a correct-by-design controller for an autonomous vehicle interacting with opponent vehicles with unknown intentions. We define an intention-aware control proble…
Risk-Aware Real-Time Task Allocation for Stochastic Multi-Agent Systems under STL Specifications
Maico H. W. Engelaar, Zengjie Zhang, Eleftherios E. Vlahakis +3
This paper addresses the control synthesis of heterogeneous stochastic linear multi-agent systems with real-time allocation of signal temporal logic (STL) specifications. Based on…
Awareness in robotics: An early perspective from the viewpoint of the EIC Pathfinder Challenge "Awareness Inside''
Cosimo Della Santina, Carlos Hernandez Corbato, Burak Sisman +28
Consciousness has been historically a heavily debated topic in engineering, science, and philosophy. On the contrary, awareness had less success in raising the interest of scholars…
Risk-Aware MPC for Stochastic Systems with Runtime Temporal Logics
Maico H. W. Engelaar, Zengjie Zhang, Mircea Lazar +1
This paper concerns the risk-aware control of stochastic systems with temporal logic specifications dynamically assigned during runtime. Conventional risk-aware control typically a…
A Linear Parameter-Varying Approach to Data Predictive Control
Chris Verhoek, Julian Berberich, Sofie Haesaert +2
By means of the linear parameter-varying (LPV) Fundamental Lemma, we derive novel data-driven predictive control (DPC) methods for LPV systems. In particular, we present output-fee…
Energy-Constrained Active Exploration Under Incremental-Resolution Symbolic Perception
Disha Kamale, Sofie Haesaert, Cristian-Ioan Vasile
In this work, we consider the problem of autonomous exploration in search of targets while respecting a fixed energy budget. The robot is equipped with an incremental-resolution sy…
Verifying the Unknown: Correct-by-Design Control Synthesis for Networks of Stochastic Uncertain Systems
Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert +1
In this paper, we present an approach for designing correct-by-design controllers for cyber-physical systems composed of multiple dynamically interconnected uncertain systems. We c…