1 citations · 1 across the 3 of their papers we have counts for
5 papers · 1 filter
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…
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…
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…
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…
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…