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