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

Informations projet

Auto-CyPheR

N° de convention de subvention: 101089047

DOI

10.3030/101089047

Date de signature de la CE 27 Juillet 2023

Date de début 1 Novembre 2023

Date de fin 31 Octobre 2028

Financé au titre de

• European Research Council (ERC)

Coût total

€ 1 993 756,00

Contribution de l’UE

€ 1 993 756,00

Coordonné par

MAX-PLANCK-GESELLSCHAFT ZUR FORDERUNG DER WISSENSCHAFTEN EV
Germany

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Peer reviewed articles (15)

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

Auteurs: Oliver Schön; Zhengang Zhong; Sadegh Soudjani
Publié dans: 2024 American Control Conference (ACC), 2024, ISSN 2378-5861
Éditeur: IEEE
DOI: 10.13140/RG.2.2.12824.61444

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

Auteurs: Oliver Schön, Shammakh Naseer, Ben Wooding, Sadegh Soudjani
Publié dans: IFAC-PapersOnLine, Numéro 58, 2024, ISSN 2405-8963
Éditeur: Elsevier BV
DOI: 10.48550/ARXIV.2407.21029

Simulation

Auteurs: Sergiy Bogomolov; Cláudio Gomes 0001; Carlos Ignacio Isasa Martin; Sadegh Soudjani; Paulius Stankaitis; Thomas Wright
Publié dans: SIMULATION, 2024, ISSN 0037-5497
Éditeur: SAGE Publications
DOI: 10.1177/00375497241261409

Bayesian Formal Synthesis of Unknown Systems via Robust Simulation Relations

Auteurs: Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani
Publié dans: IEEE Transactions on Automatic Control, Numéro 70, 2025, ISSN 0018-9286
Éditeur: Institute of Electrical and Electronics Engineers (IEEE)
DOI: 10.48550/ARXIV.2304.07428

Data-driven abstraction-based control synthesis

Auteurs: Milad Kazemi, Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani, Ben Wooding
Publié dans: Nonlinear Analysis: Hybrid Systems, Numéro 52, 2025, ISSN 1751-570X
Éditeur: Elsevier BV
DOI: 10.48550/ARXIV.2206.08069

Compositional Reinforcement Learning for Discrete-Time Stochastic Control Systems

Auteurs: Abolfazl Lavaei; Mateo Perez; Milad Kazemi; Fabio Somenzi; Sadegh Soudjani; Ashutosh Trivedi; Majid Zamani
Publié dans: IEEE Open Journal of Control Systems, 2023, ISSN 2694-085X
Éditeur: IEEE
DOI: 10.48550/ARXIV.2208.03485

Symbolic control for stochastic systems via finite parity games

Auteurs: Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani
Publié dans: Nonlinear Analysis: Hybrid Systems, Numéro 51, 2025, ISSN 1751-570X
Éditeur: Elsevier BV
DOI: 10.48550/ARXIV.2101.00834

Nonlinear Analysis: Hybrid Systems

Auteurs: Milad Kazemi, Mateo Perez, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Alvaro Velasquez
Publié dans: Journal of AI Research, 2026, ISSN 1751-570X
Éditeur: Elsevier BV
DOI: 10.48550/ARXIV.2505.15693

Lyapunov-Based Policy Synthesis for Multi-Objective Interval MDPs

Auteurs: Negar Monir; Oliver Schön; Sadegh Soudjani
Publié dans: IFAC-PapersOnLine, 2024, ISSN 2405-8963
Éditeur: Elsevier BV
DOI: 10.1016/J.IFACOL.2024.07.432

Safe Reach Set Computation via Neural Barrier Certificates

Auteurs: Alessandro Abate, Sergiy Bogomolov, Alec Edwards, Kostiantyn Potomkin, Sadegh Soudjani, Paolo Zuliani
Publié dans: IFAC-PapersOnLine, Numéro 58, 2024, ISSN 2405-8963
Éditeur: 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

Auteurs: B.C. van Huijgevoort, M.H.W. Engelaar, S. Soudjani, S. Haesaert
Publié dans: Nonlinear Analysis: Hybrid Systems, Numéro 58, 2025, ISSN 1751-570X
Éditeur: Elsevier BV
DOI: 10.1016/J.NAHS.2025.101607

Necessary and Sufficient Certificates for Almost Sure Reachability

Auteurs: Rupak Majumdar; V. R. Sathiyanarayana; Sadegh Soudjani
Publié dans: IEEE Control Systems Letters, 2024, ISSN 2475-1456
Éditeur: IEEE
DOI: 10.1109/LCSYS.2024.3507279

Multiplicative Barrier Certificates for Probabilistic Safety of Markov Jump Systems

Auteurs: Behrad Samari, Matteo Della Rossa, Abolfazl Lavaei, Sadegh Soudjani, Raphael Jungers
Publié dans: IFAC-PapersOnLine, Numéro 58, 2024, ISSN 2405-8963
Éditeur: Elsevier BV
DOI: 10.1016/J.IFACOL.2024.07.426

Temporal Logic Resilience for Dynamical Systems

Auteurs: Adnane Saoud, Pushpak Jagtap, Sadegh Soudjani
Publié dans: IEEE Transactions on Automatic Control, 2025, ISSN 0018-9286
Éditeur: Institute of Electrical and Electronics Engineers (IEEE)
DOI: 10.48550/ARXIV.2404.19223

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

Auteurs: Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
Publié dans: Automatica, Numéro 159, 2025, ISSN 0005-1098
Éditeur: Elsevier BV
DOI: 10.48550/ARXIV.2111.10330

Conference proceedings (20)

Formal Verification of Unknown Stochastic Systems via Non-parametric Estimation

Auteurs: Zhi Zhang; Chenyu Ma; Saleh Soudijani; Sadegh Soudjani
Publié dans: Proceedings of The 27th International Conference on Artificial Intelligence and Statistics, 2024
Éditeur: PMLR
DOI: 10.60882/CISPA.29457704

Temporal Logic Resilience for Cyber-Physical Systems

Auteurs: Adnane Saoud, Pushpak Jagtap, Sadegh Soudjani
Publié dans: 2023 62nd IEEE Conference on Decision and Control (CDC), 2024
Éditeur: IEEE
DOI: 10.48550/ARXIV.2404.19223

Distributionally Robust Control for Chance-Constrained Signal Temporal Logic Specifications

Auteurs: Arash Bahari Kordabad; Eleftherios E. Vlahakis; Lars Lindemann; Dimos V. Dimarogonas; Sadegh Soudjani
Publié dans: 2024 IEEE 63rd Conference on Decision and Control (CDC), 2024
Éditeur: IEEE
DOI: 10.48550/ARXIV.2409.03855

Assume-Guarantee Reinforcement Learning

Auteurs: Kazemi, Milad; Perez, Mateo; Somenzi, Fabio; Soudjani, Sadegh; Trivedi, Ashutosh; Velasquez, Alvaro
Publié dans: Proceedings of the AAAI Conference on Artificial Intelligence, 2024
Éditeur: PKP Publishing Services Network
DOI: 10.48550/ARXIV.2312.09938

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

Auteurs: Negar Monir, Youssef AIT Si, Ratnangshu Das, Pushpak Jagtap, Adnane Saoud, Sadegh Soudjani
Publié dans: 2025 IEEE 64th Conference on Decision and Control (CDC), 2025
Éditeur: IEEE
DOI: 10.48550/ARXIV.2509.01832

Regret-Free Reinforcement Learning for Temporal Logic Specifications

Auteurs: Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani
Publié dans: 2025
Éditeur: PMLR
DOI: 10.48550/ARXIV.2411.12019

Safety Barrier Certificates for Stochastic Control Systems with Wireless Communication Networks

Auteurs: Omid Akbarzadeh, Sadegh Soudjani, Abolfazl Lavaei
Publié dans: 2024 IEEE 63rd Conference on Decision and Control (CDC), 2025
Éditeur: IEEE
DOI: 10.48550/ARXIV.2309.05570

Robust Control of Uncertain Switched Affine Systems via Scenario Optimization

Auteurs: Negar Monir, Mahdieh S. Sadabadi, Sadegh Soudjani
Publié dans: Learning for Decision and Control, 2025
Éditeur: Proceedings of Machine Learning Research
DOI: 10.48550/ARXIV.2505.06943

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

Auteurs: Ernesto Casablanca, Oliver Schön, Paolo Zuliani, Sadegh Soudjani
Publié dans: Association for the Advancement of Artificial Intelligence, 2026
Éditeur: AAAI
DOI: 10.48550/ARXIV.2512.11750

Maximally Resilient Controllers under Temporal Logic Specifications

Auteurs: Youssef Ait Si, Ratnangshu Das, Negar Monir, Sadegh Soudjani, Pushpak Jagtap, Adnane Saoud
Publié dans: 2025 IEEE 64th Conference on Decision and Control (CDC), 2026
Éditeur: IEEE
DOI: 10.48550/ARXIV.2509.01777

Logic-based Resilience Computation of Power Systems Against Frequency Requirements

Auteurs: Negar Monir, Mahdieh S. Sadabadi, Sadegh Soudjani
Publié dans: 2025 European Control Conference (ECC), 2025
Éditeur: IEEE
DOI: 10.48550/ARXIV.2504.19756

Analyzing Metastable Failures

Auteurs: Rebecca Isaacs, Peter Alvaro, Rupak Majumdar, Kiran-Kumar Muniswamy-Reddy, Mahmoud Salamati, Sadegh Soudjani
Publié dans: Proceedings of the Workshop on Hot Topics in Operating Systems, 2025
Éditeur: ACM
DOI: 10.1145/3713082.3730380

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

Auteurs: Oliver Schön; Birgit van Huijgevoort; Sofie Haesaert; Sadegh Soudjani
Publié dans: 2023 62nd IEEE Conference on Decision and Control (CDC), 2023
Éditeur: IEEE
DOI: 10.48550/ARXIV.2309.01276

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

Auteurs: Ali Taheri, Alireza Taban, Sadegh Soudjani, Ashutosh Trivedi
Publié dans: Learning for Decision and Control, 2026
Éditeur: L4DC
DOI: 10.48550/ARXIV.2511.09363

Incremental Data-Driven Policy Synthesis via Game Abstractions

Auteurs: Irmak Sağlam, Mahdi Nazeri, Alessandro Abate, Sadegh Soudjani, Anne-Kathrin Schmuck
Publié dans: Association for the Advancement of Artificial Intelligence, 2026
Éditeur: AAAI
DOI: 10.48550/ARXIV.2511.11545

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

Auteurs: Mahdi Nazeri, Thom Badings, Sadegh Soudjani, Alessandro Abate
Publié dans: Proceedings of the 7th Annual Learning for Dynamics & Control Conference, 2025
Éditeur: PMLR
DOI: 10.48550/ARXIV.2501.01191

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

Auteurs: Mahdieh Zaker, Henk A.P. Blom, Sadegh Soudjani, Abolfazl Lavaei
Publié dans: 2024 IEEE 27th International Conference on Intelligent Transportation Systems (ITSC), 2025
Éditeur: IEEE
DOI: 10.48550/ARXIV.2405.01011

Robust Model Predictive Control for Aircraft Intent-Aware Collision Avoidance

Auteurs: Arash Bahari Kordabad; Andrea Da Col; Arabinda Ghosh; Sybert Stroeve; Sadegh Soudjani
Publié dans: 2025 European Control Conference (ECC), 2025
Éditeur: IEEE
DOI: 10.48550/ARXIV.2408.06999

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

Auteurs: Mahdi Nazeri, Thom Badings, Anne-Kathrin Schmuck, Sadegh Soudjani, Alessandro Abate
Publié dans: 2025 IEEE 64th Conference on Decision and Control (CDC), 2025
Éditeur: IEEE
DOI: 10.48550/ARXIV.2508.15543

Control Barrier Functions for Stochastic Systems under Signal Temporal Logic Tasks

Auteurs: Arash Bahari Kordabad; Maria Charitidou; Dimos V. Dimarogonas; Sadegh Soudjani
Publié dans: 2024 European Control Conference (ECC), 2024
Éditeur: IEEE
DOI: 10.23919/ECC64448.2024.10591078

Book chapters (1)

Formal Control for Uncertain Systems via Contract-Based Probabilistic Surrogates

Auteurs: Oliver Schön, Sofie Haesaert, Sadegh Soudjani
Publié dans: Lecture Notes in Computer Science, Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, 2025
Éditeur: Springer Nature Switzerland
DOI: 10.48550/ARXIV.2506.16971