Automated Synthesis of Stochastic Cyber-Physical Systems: A Robust Approach

Project Information

Auto-CyPheR

Grant agreement ID: 101089047

DOI

10.3030/101089047

EC signature date 27 July 2023

Start date 1 November 2023

End date 31 October 2028

Funded under

• European Research Council (ERC)

Total cost

€ 1 993 756,00

EU contribution

€ 1 993 756,00

Coordinated by

MAX-PLANCK-GESELLSCHAFT ZUR FORDERUNG DER WISSENSCHAFTEN EV
Germany

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

Peer reviewed articles (15)

Data-Driven Distributionally Robust Safety Verification Using Barrier Certificates and Conditional Mean Embeddings

Author(s): Oliver Schön; Zhengang Zhong; Sadegh Soudjani
Published in: 2024 American Control Conference (ACC), 2024, ISSN 2378-5861
Publisher: IEEE
DOI: 10.13140/RG.2.2.12824.61444

Data-Driven Abstractions via Binary-Tree Gaussian Processes for Formal Verification

Author(s): Oliver Schön, Shammakh Naseer, Ben Wooding, Sadegh Soudjani
Published in: IFAC-PapersOnLine, Issue 58, 2024, ISSN 2405-8963
Publisher: Elsevier BV
DOI: 10.48550/ARXIV.2407.21029

Simulation

Author(s): Sergiy Bogomolov; Cláudio Gomes 0001; Carlos Ignacio Isasa Martin; Sadegh Soudjani; Paulius Stankaitis; Thomas Wright
Published in: SIMULATION, 2024, ISSN 0037-5497
Publisher: SAGE Publications
DOI: 10.1177/00375497241261409

Bayesian Formal Synthesis of Unknown Systems via Robust Simulation Relations

Author(s): Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani
Published in: IEEE Transactions on Automatic Control, Issue 70, 2025, ISSN 0018-9286
Publisher: Institute of Electrical and Electronics Engineers (IEEE)
DOI: 10.48550/ARXIV.2304.07428

Data-driven abstraction-based control synthesis

Author(s): Milad Kazemi, Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani, Ben Wooding
Published in: Nonlinear Analysis: Hybrid Systems, Issue 52, 2025, ISSN 1751-570X
Publisher: Elsevier BV
DOI: 10.48550/ARXIV.2206.08069

Compositional Reinforcement Learning for Discrete-Time Stochastic Control Systems

Author(s): Abolfazl Lavaei; Mateo Perez; Milad Kazemi; Fabio Somenzi; Sadegh Soudjani; Ashutosh Trivedi; Majid Zamani
Published in: IEEE Open Journal of Control Systems, 2023, ISSN 2694-085X
Publisher: IEEE
DOI: 10.48550/ARXIV.2208.03485

Symbolic control for stochastic systems via finite parity games

Author(s): Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani
Published in: Nonlinear Analysis: Hybrid Systems, Issue 51, 2025, ISSN 1751-570X
Publisher: Elsevier BV
DOI: 10.48550/ARXIV.2101.00834

Nonlinear Analysis: Hybrid Systems

Author(s): Milad Kazemi, Mateo Perez, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Alvaro Velasquez
Published in: Journal of AI Research, 2026, ISSN 1751-570X
Publisher: Elsevier BV
DOI: 10.48550/ARXIV.2505.15693

Lyapunov-Based Policy Synthesis for Multi-Objective Interval MDPs

Author(s): Negar Monir; Oliver Schön; Sadegh Soudjani
Published in: IFAC-PapersOnLine, 2024, ISSN 2405-8963
Publisher: Elsevier BV
DOI: 10.1016/J.IFACOL.2024.07.432

Safe Reach Set Computation via Neural Barrier Certificates

Author(s): Alessandro Abate, Sergiy Bogomolov, Alec Edwards, Kostiantyn Potomkin, Sadegh Soudjani, Paolo Zuliani
Published in: IFAC-PapersOnLine, Issue 58, 2024, ISSN 2405-8963
Publisher: Elsevier BV
DOI: 10.48550/ARXIV.2404.18813

SySCoRe 2.0: Toolset for formal control synthesis of continuous-state stochastic systems and temporal logic specifications

Author(s): B.C. van Huijgevoort, M.H.W. Engelaar, S. Soudjani, S. Haesaert
Published in: Nonlinear Analysis: Hybrid Systems, Issue 58, 2025, ISSN 1751-570X
Publisher: Elsevier BV
DOI: 10.1016/J.NAHS.2025.101607

Necessary and Sufficient Certificates for Almost Sure Reachability

Author(s): Rupak Majumdar; V. R. Sathiyanarayana; Sadegh Soudjani
Published in: IEEE Control Systems Letters, 2024, ISSN 2475-1456
Publisher: IEEE
DOI: 10.1109/LCSYS.2024.3507279

Multiplicative Barrier Certificates for Probabilistic Safety of Markov Jump Systems

Author(s): Behrad Samari, Matteo Della Rossa, Abolfazl Lavaei, Sadegh Soudjani, Raphael Jungers
Published in: IFAC-PapersOnLine, Issue 58, 2024, ISSN 2405-8963
Publisher: Elsevier BV
DOI: 10.1016/J.IFACOL.2024.07.426

Temporal Logic Resilience for Dynamical Systems

Author(s): Adnane Saoud, Pushpak Jagtap, Sadegh Soudjani
Published in: IEEE Transactions on Automatic Control, 2025, ISSN 0018-9286
Publisher: Institute of Electrical and Electronics Engineers (IEEE)
DOI: 10.48550/ARXIV.2404.19223

Data-driven verification and synthesis of stochastic systems via barrier certificates

Author(s): Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
Published in: Automatica, Issue 159, 2025, ISSN 0005-1098
Publisher: Elsevier BV
DOI: 10.48550/ARXIV.2111.10330

Conference proceedings (20)

Formal Verification of Unknown Stochastic Systems via Non-parametric Estimation

Author(s): Zhi Zhang; Chenyu Ma; Saleh Soudijani; Sadegh Soudjani
Published in: Proceedings of The 27th International Conference on Artificial Intelligence and Statistics, 2024
Publisher: PMLR
DOI: 10.60882/CISPA.29457704

Temporal Logic Resilience for Cyber-Physical Systems

Author(s): Adnane Saoud, Pushpak Jagtap, Sadegh Soudjani
Published in: 2023 62nd IEEE Conference on Decision and Control (CDC), 2024
Publisher: IEEE
DOI: 10.48550/ARXIV.2404.19223

Distributionally Robust Control for Chance-Constrained Signal Temporal Logic Specifications

Author(s): Arash Bahari Kordabad; Eleftherios E. Vlahakis; Lars Lindemann; Dimos V. Dimarogonas; Sadegh Soudjani
Published in: 2024 IEEE 63rd Conference on Decision and Control (CDC), 2024
Publisher: IEEE
DOI: 10.48550/ARXIV.2409.03855

Assume-Guarantee Reinforcement Learning

Author(s): Kazemi, Milad; Perez, Mateo; Somenzi, Fabio; Soudjani, Sadegh; Trivedi, Ashutosh; Velasquez, Alvaro
Published in: Proceedings of the AAAI Conference on Artificial Intelligence, 2024
Publisher: PKP Publishing Services Network
DOI: 10.48550/ARXIV.2312.09938

Computation of Feasible Assume-Guarantee Contracts: A Resilience-based Approach

Author(s): Negar Monir, Youssef AIT Si, Ratnangshu Das, Pushpak Jagtap, Adnane Saoud, Sadegh Soudjani
Published in: 2025 IEEE 64th Conference on Decision and Control (CDC), 2025
Publisher: IEEE
DOI: 10.48550/ARXIV.2509.01832

Regret-Free Reinforcement Learning for Temporal Logic Specifications

Author(s): Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani
Published in: 2025
Publisher: PMLR
DOI: 10.48550/ARXIV.2411.12019

Safety Barrier Certificates for Stochastic Control Systems with Wireless Communication Networks

Author(s): Omid Akbarzadeh, Sadegh Soudjani, Abolfazl Lavaei
Published in: 2024 IEEE 63rd Conference on Decision and Control (CDC), 2025
Publisher: IEEE
DOI: 10.48550/ARXIV.2309.05570

Robust Control of Uncertain Switched Affine Systems via Scenario Optimization

Author(s): Negar Monir, Mahdieh S. Sadabadi, Sadegh Soudjani
Published in: Learning for Decision and Control, 2025
Publisher: Proceedings of Machine Learning Research
DOI: 10.48550/ARXIV.2505.06943

LUCID: Learning-Enabled Uncertainty-Aware Certification of Stochastic Dynamical Systems

Author(s): Ernesto Casablanca, Oliver Schön, Paolo Zuliani, Sadegh Soudjani
Published in: Association for the Advancement of Artificial Intelligence, 2026
Publisher: AAAI
DOI: 10.48550/ARXIV.2512.11750

Maximally Resilient Controllers under Temporal Logic Specifications

Author(s): Youssef Ait Si, Ratnangshu Das, Negar Monir, Sadegh Soudjani, Pushpak Jagtap, Adnane Saoud
Published in: 2025 IEEE 64th Conference on Decision and Control (CDC), 2026
Publisher: IEEE
DOI: 10.48550/ARXIV.2509.01777

Logic-based Resilience Computation of Power Systems Against Frequency Requirements

Author(s): Negar Monir, Mahdieh S. Sadabadi, Sadegh Soudjani
Published in: 2025 European Control Conference (ECC), 2025
Publisher: IEEE
DOI: 10.48550/ARXIV.2504.19756

Analyzing Metastable Failures

Author(s): Rebecca Isaacs, Peter Alvaro, Rupak Majumdar, Kiran-Kumar Muniswamy-Reddy, Mahmoud Salamati, Sadegh Soudjani
Published in: Proceedings of the Workshop on Hot Topics in Operating Systems, 2025
Publisher: ACM
DOI: 10.1145/3713082.3730380

Verifying the Unknown: Correct-by-Design Control Synthesis for Networks of Stochastic Uncertain Systems

Author(s): Oliver Schön; Birgit van Huijgevoort; Sofie Haesaert; Sadegh Soudjani
Published in: 2023 62nd IEEE Conference on Decision and Control (CDC), 2023
Publisher: IEEE
DOI: 10.48550/ARXIV.2309.01276

BarrierBench : Evaluating Large Language Models for Safety Verification in Dynamical Systems

Author(s): Ali Taheri, Alireza Taban, Sadegh Soudjani, Ashutosh Trivedi
Published in: Learning for Decision and Control, 2026
Publisher: L4DC
DOI: 10.48550/ARXIV.2511.09363

Incremental Data-Driven Policy Synthesis via Game Abstractions

Author(s): Irmak Sağlam, Mahdi Nazeri, Alessandro Abate, Sadegh Soudjani, Anne-Kathrin Schmuck
Published in: Association for the Advancement of Artificial Intelligence, 2026
Publisher: AAAI
DOI: 10.48550/ARXIV.2511.11545

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems

Author(s): Mahdi Nazeri, Thom Badings, Sadegh Soudjani, Alessandro Abate
Published in: Proceedings of the 7th Annual Learning for Dynamics & Control Conference, 2025
Publisher: PMLR
DOI: 10.48550/ARXIV.2501.01191

Rare Collision Risk Estimation of Autonomous Vehicles with Multi-Agent Situation Awareness

Author(s): Mahdieh Zaker, Henk A.P. Blom, Sadegh Soudjani, Abolfazl Lavaei
Published in: 2024 IEEE 27th International Conference on Intelligent Transportation Systems (ITSC), 2025
Publisher: IEEE
DOI: 10.48550/ARXIV.2405.01011

Robust Model Predictive Control for Aircraft Intent-Aware Collision Avoidance

Author(s): Arash Bahari Kordabad; Andrea Da Col; Arabinda Ghosh; Sybert Stroeve; Sadegh Soudjani
Published in: 2025 European Control Conference (ECC), 2025
Publisher: IEEE
DOI: 10.48550/ARXIV.2408.06999

Data-Driven Abstraction and Synthesis for Stochastic Systems with Unknown Dynamics

Author(s): Mahdi Nazeri, Thom Badings, Anne-Kathrin Schmuck, Sadegh Soudjani, Alessandro Abate
Published in: 2025 IEEE 64th Conference on Decision and Control (CDC), 2025
Publisher: IEEE
DOI: 10.48550/ARXIV.2508.15543

Control Barrier Functions for Stochastic Systems under Signal Temporal Logic Tasks

Author(s): Arash Bahari Kordabad; Maria Charitidou; Dimos V. Dimarogonas; Sadegh Soudjani
Published in: 2024 European Control Conference (ECC), 2024
Publisher: IEEE
DOI: 10.23919/ECC64448.2024.10591078

Book chapters (1)

Formal Control for Uncertain Systems via Contract-Based Probabilistic Surrogates

Author(s): Oliver Schön, Sofie Haesaert, Sadegh Soudjani
Published in: Lecture Notes in Computer Science, Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, 2025
Publisher: Springer Nature Switzerland
DOI: 10.48550/ARXIV.2506.16971