129 citations · 368 across the 70 of their papers we have counts for
6 papers · 1 filter
Safety Barrier Certificates for Stochastic Control Systems with Wireless Communication Networks
Omid Akbarzadeh, Sadegh Soudjani, Abolfazl Lavaei
This work is concerned with a formal approach for safety controller synthesis of stochastic control systems with both process and measurement noises while considering wireless comm…
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…
Neural Abstraction-Based Controller Synthesis and Deployment
Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani
Abstraction-based techniques are an attractive approach for synthesizing correct-by-construction controllers to satisfy high-level temporal requirements. A main bottleneck for succ…
Formal Control of New England 39-Bus Test System: An Assume-Guarantee Approach
Ben Wooding, Abolfazl Lavaei, Sadegh Soudjani
This work is concerned with an assume-guarantee approach to compositionally control a New England 39-bus Test System (NETS). The proposed scheme is based on the new notion of robus…
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…
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…