50 citations · 249 across the 50 of their papers we have counts for
37 papers · 1 filter
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…
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…
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…
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…
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…
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…
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…
Stochastic Model Predictive Control with Dynamic Chance Constraints
Maico Hendrikus Wilhelmus Engelaar, Sofie Haesaert, Mircea Lazar
This work introduces a stochastic model predictive control scheme for dynamic chance constraints. We consider linear discrete-time systems affected by unbounded additive stochastic…
Bayesian Formal Synthesis of Unknown Systems via Robust Simulation Relations
Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert +1
This paper addresses the problem of data-driven computation of controllers that are correct by design for safety-critical systems and can provably satisfy (complex) functional requ…
Abstracting Linear Stochastic Systems via Knowledge Filtering
Maico Hendrikus Wilhelmus Engelaar, Licio Romao, Yulong Gao +3
In this paper, we propose a new model reduction technique for linear stochastic systems that builds upon knowledge filtering and utilizes optimal Kalman filtering techniques. This…
Direct data-driven control with signal temporal logic specifications
Birgit C. van Huijgevoort, Chris Verhoek, Roland Tóth +1
Most control synthesis methods under temporal logic properties require a model of the system, however, identifying such a model can be a challenging task. In this work, we develop…
Automated Formation Control Synthesis from Temporal Logic Specifications
Shuhao Qi, Zengjie Zhang, Sofie Haesaert +1
In many practical scenarios, multi-robot systems are envisioned to support humans in executing complicated tasks within structured environments, such as search-and-rescue tasks. We…
Modularized Control Synthesis for Complex Signal Temporal Logic Specifications
Zengjie Zhang, Sofie Haesaert
The control synthesis of a dynamic system subject to a signal temporal logic (STL) specification is commonly formulated as a mixed-integer linear/convex programming (MILP/MICP) pro…
Direct data-driven state-feedback control of general nonlinear systems
Chris Verhoek, Patrick J. W. Koelewijn, Sofie Haesaert +1
Through the use of the Fundamental Lemma for linear systems, a direct data-driven state-feedback control synthesis method is presented for a rather general class of nonlinear (NL)…
Data-driven Dissipativity Analysis of Linear Parameter-Varying Systems
Chris Verhoek, Julian Berberich, Sofie Haesaert +2
We derive direct data-driven dissipativity analysis methods for Linear Parameter-Varying (LPV) systems using a single sequence of input-scheduling-output data. By means of construc…
SySCoRe: Synthesis via Stochastic Coupling Relations
Birgit van Huijgevoort, Oliver Schön, Sadegh Soudjani +1
We present SySCoRe, a MATLAB toolbox that synthesizes controllers for stochastic continuous-state systems to satisfy temporal logic specifications. Starting from a system descripti…