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

Projektinformationen

Auto-CyPheR

ID Finanzhilfevereinbarung: 101089047

DOI

10.3030/101089047

EK-Unterschriftsdatum 27 Juli 2023

Startdatum 1 November 2023

Enddatum 31 Oktober 2028

Finanziert unter

• European Research Council (ERC)

Gesamtkosten

€ 1 993 756,00

EU-Beitrag

€ 1 993 756,00

Koordiniert durch

MAX-PLANCK-GESELLSCHAFT ZUR FORDERUNG DER WISSENSCHAFTEN EV
Germany

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Veröffentlichungen

Peer reviewed articles (15)

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

Autoren: Oliver Schön; Zhengang Zhong; Sadegh Soudjani
Veröffentlicht in: 2024 American Control Conference (ACC), 2024, ISSN 2378-5861
Herausgeber: IEEE
DOI: 10.13140/RG.2.2.12824.61444

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

Autoren: Oliver Schön, Shammakh Naseer, Ben Wooding, Sadegh Soudjani
Veröffentlicht in: IFAC-PapersOnLine, Ausgabe 58, 2024, ISSN 2405-8963
Herausgeber: Elsevier BV
DOI: 10.48550/ARXIV.2407.21029

Simulation

Autoren: Sergiy Bogomolov; Cláudio Gomes 0001; Carlos Ignacio Isasa Martin; Sadegh Soudjani; Paulius Stankaitis; Thomas Wright
Veröffentlicht in: SIMULATION, 2024, ISSN 0037-5497
Herausgeber: SAGE Publications
DOI: 10.1177/00375497241261409

Bayesian Formal Synthesis of Unknown Systems via Robust Simulation Relations

Autoren: Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani
Veröffentlicht in: IEEE Transactions on Automatic Control, Ausgabe 70, 2025, ISSN 0018-9286
Herausgeber: Institute of Electrical and Electronics Engineers (IEEE)
DOI: 10.48550/ARXIV.2304.07428

Data-driven abstraction-based control synthesis

Autoren: Milad Kazemi, Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani, Ben Wooding
Veröffentlicht in: Nonlinear Analysis: Hybrid Systems, Ausgabe 52, 2025, ISSN 1751-570X
Herausgeber: Elsevier BV
DOI: 10.48550/ARXIV.2206.08069

Compositional Reinforcement Learning for Discrete-Time Stochastic Control Systems

Autoren: Abolfazl Lavaei; Mateo Perez; Milad Kazemi; Fabio Somenzi; Sadegh Soudjani; Ashutosh Trivedi; Majid Zamani
Veröffentlicht in: IEEE Open Journal of Control Systems, 2023, ISSN 2694-085X
Herausgeber: IEEE
DOI: 10.48550/ARXIV.2208.03485

Symbolic control for stochastic systems via finite parity games

Autoren: Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani
Veröffentlicht in: Nonlinear Analysis: Hybrid Systems, Ausgabe 51, 2025, ISSN 1751-570X
Herausgeber: Elsevier BV
DOI: 10.48550/ARXIV.2101.00834

Nonlinear Analysis: Hybrid Systems

Autoren: Milad Kazemi, Mateo Perez, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Alvaro Velasquez
Veröffentlicht in: Journal of AI Research, 2026, ISSN 1751-570X
Herausgeber: Elsevier BV
DOI: 10.48550/ARXIV.2505.15693

Lyapunov-Based Policy Synthesis for Multi-Objective Interval MDPs

Autoren: Negar Monir; Oliver Schön; Sadegh Soudjani
Veröffentlicht in: IFAC-PapersOnLine, 2024, ISSN 2405-8963
Herausgeber: Elsevier BV
DOI: 10.1016/J.IFACOL.2024.07.432

Safe Reach Set Computation via Neural Barrier Certificates

Autoren: Alessandro Abate, Sergiy Bogomolov, Alec Edwards, Kostiantyn Potomkin, Sadegh Soudjani, Paolo Zuliani
Veröffentlicht in: IFAC-PapersOnLine, Ausgabe 58, 2024, ISSN 2405-8963
Herausgeber: 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

Autoren: B.C. van Huijgevoort, M.H.W. Engelaar, S. Soudjani, S. Haesaert
Veröffentlicht in: Nonlinear Analysis: Hybrid Systems, Ausgabe 58, 2025, ISSN 1751-570X
Herausgeber: Elsevier BV
DOI: 10.1016/J.NAHS.2025.101607

Necessary and Sufficient Certificates for Almost Sure Reachability

Autoren: Rupak Majumdar; V. R. Sathiyanarayana; Sadegh Soudjani
Veröffentlicht in: IEEE Control Systems Letters, 2024, ISSN 2475-1456
Herausgeber: IEEE
DOI: 10.1109/LCSYS.2024.3507279

Multiplicative Barrier Certificates for Probabilistic Safety of Markov Jump Systems

Autoren: Behrad Samari, Matteo Della Rossa, Abolfazl Lavaei, Sadegh Soudjani, Raphael Jungers
Veröffentlicht in: IFAC-PapersOnLine, Ausgabe 58, 2024, ISSN 2405-8963
Herausgeber: Elsevier BV
DOI: 10.1016/J.IFACOL.2024.07.426

Temporal Logic Resilience for Dynamical Systems

Autoren: Adnane Saoud, Pushpak Jagtap, Sadegh Soudjani
Veröffentlicht in: IEEE Transactions on Automatic Control, 2025, ISSN 0018-9286
Herausgeber: Institute of Electrical and Electronics Engineers (IEEE)
DOI: 10.48550/ARXIV.2404.19223

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

Autoren: Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
Veröffentlicht in: Automatica, Ausgabe 159, 2025, ISSN 0005-1098
Herausgeber: Elsevier BV
DOI: 10.48550/ARXIV.2111.10330

Conference proceedings (20)

Formal Verification of Unknown Stochastic Systems via Non-parametric Estimation

Autoren: Zhi Zhang; Chenyu Ma; Saleh Soudijani; Sadegh Soudjani
Veröffentlicht in: Proceedings of The 27th International Conference on Artificial Intelligence and Statistics, 2024
Herausgeber: PMLR
DOI: 10.60882/CISPA.29457704

Temporal Logic Resilience for Cyber-Physical Systems

Autoren: Adnane Saoud, Pushpak Jagtap, Sadegh Soudjani
Veröffentlicht in: 2023 62nd IEEE Conference on Decision and Control (CDC), 2024
Herausgeber: IEEE
DOI: 10.48550/ARXIV.2404.19223

Distributionally Robust Control for Chance-Constrained Signal Temporal Logic Specifications

Autoren: Arash Bahari Kordabad; Eleftherios E. Vlahakis; Lars Lindemann; Dimos V. Dimarogonas; Sadegh Soudjani
Veröffentlicht in: 2024 IEEE 63rd Conference on Decision and Control (CDC), 2024
Herausgeber: IEEE
DOI: 10.48550/ARXIV.2409.03855

Assume-Guarantee Reinforcement Learning

Autoren: Kazemi, Milad; Perez, Mateo; Somenzi, Fabio; Soudjani, Sadegh; Trivedi, Ashutosh; Velasquez, Alvaro
Veröffentlicht in: Proceedings of the AAAI Conference on Artificial Intelligence, 2024
Herausgeber: PKP Publishing Services Network
DOI: 10.48550/ARXIV.2312.09938

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

Autoren: Negar Monir, Youssef AIT Si, Ratnangshu Das, Pushpak Jagtap, Adnane Saoud, Sadegh Soudjani
Veröffentlicht in: 2025 IEEE 64th Conference on Decision and Control (CDC), 2025
Herausgeber: IEEE
DOI: 10.48550/ARXIV.2509.01832

Regret-Free Reinforcement Learning for Temporal Logic Specifications

Autoren: Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani
Veröffentlicht in: 2025
Herausgeber: PMLR
DOI: 10.48550/ARXIV.2411.12019

Safety Barrier Certificates for Stochastic Control Systems with Wireless Communication Networks

Autoren: Omid Akbarzadeh, Sadegh Soudjani, Abolfazl Lavaei
Veröffentlicht in: 2024 IEEE 63rd Conference on Decision and Control (CDC), 2025
Herausgeber: IEEE
DOI: 10.48550/ARXIV.2309.05570

Robust Control of Uncertain Switched Affine Systems via Scenario Optimization

Autoren: Negar Monir, Mahdieh S. Sadabadi, Sadegh Soudjani
Veröffentlicht in: Learning for Decision and Control, 2025
Herausgeber: Proceedings of Machine Learning Research
DOI: 10.48550/ARXIV.2505.06943

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

Autoren: Ernesto Casablanca, Oliver Schön, Paolo Zuliani, Sadegh Soudjani
Veröffentlicht in: Association for the Advancement of Artificial Intelligence, 2026
Herausgeber: AAAI
DOI: 10.48550/ARXIV.2512.11750

Maximally Resilient Controllers under Temporal Logic Specifications

Autoren: Youssef Ait Si, Ratnangshu Das, Negar Monir, Sadegh Soudjani, Pushpak Jagtap, Adnane Saoud
Veröffentlicht in: 2025 IEEE 64th Conference on Decision and Control (CDC), 2026
Herausgeber: IEEE
DOI: 10.48550/ARXIV.2509.01777

Logic-based Resilience Computation of Power Systems Against Frequency Requirements

Autoren: Negar Monir, Mahdieh S. Sadabadi, Sadegh Soudjani
Veröffentlicht in: 2025 European Control Conference (ECC), 2025
Herausgeber: IEEE
DOI: 10.48550/ARXIV.2504.19756

Analyzing Metastable Failures

Autoren: Rebecca Isaacs, Peter Alvaro, Rupak Majumdar, Kiran-Kumar Muniswamy-Reddy, Mahmoud Salamati, Sadegh Soudjani
Veröffentlicht in: Proceedings of the Workshop on Hot Topics in Operating Systems, 2025
Herausgeber: ACM
DOI: 10.1145/3713082.3730380

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

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

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

Autoren: Ali Taheri, Alireza Taban, Sadegh Soudjani, Ashutosh Trivedi
Veröffentlicht in: Learning for Decision and Control, 2026
Herausgeber: L4DC
DOI: 10.48550/ARXIV.2511.09363

Incremental Data-Driven Policy Synthesis via Game Abstractions

Autoren: Irmak Sağlam, Mahdi Nazeri, Alessandro Abate, Sadegh Soudjani, Anne-Kathrin Schmuck
Veröffentlicht in: Association for the Advancement of Artificial Intelligence, 2026
Herausgeber: AAAI
DOI: 10.48550/ARXIV.2511.11545

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

Autoren: Mahdi Nazeri, Thom Badings, Sadegh Soudjani, Alessandro Abate
Veröffentlicht in: Proceedings of the 7th Annual Learning for Dynamics & Control Conference, 2025
Herausgeber: PMLR
DOI: 10.48550/ARXIV.2501.01191

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

Autoren: Mahdieh Zaker, Henk A.P. Blom, Sadegh Soudjani, Abolfazl Lavaei
Veröffentlicht in: 2024 IEEE 27th International Conference on Intelligent Transportation Systems (ITSC), 2025
Herausgeber: IEEE
DOI: 10.48550/ARXIV.2405.01011

Robust Model Predictive Control for Aircraft Intent-Aware Collision Avoidance

Autoren: Arash Bahari Kordabad; Andrea Da Col; Arabinda Ghosh; Sybert Stroeve; Sadegh Soudjani
Veröffentlicht in: 2025 European Control Conference (ECC), 2025
Herausgeber: IEEE
DOI: 10.48550/ARXIV.2408.06999

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

Autoren: Mahdi Nazeri, Thom Badings, Anne-Kathrin Schmuck, Sadegh Soudjani, Alessandro Abate
Veröffentlicht in: 2025 IEEE 64th Conference on Decision and Control (CDC), 2025
Herausgeber: IEEE
DOI: 10.48550/ARXIV.2508.15543

Control Barrier Functions for Stochastic Systems under Signal Temporal Logic Tasks

Autoren: Arash Bahari Kordabad; Maria Charitidou; Dimos V. Dimarogonas; Sadegh Soudjani
Veröffentlicht in: 2024 European Control Conference (ECC), 2024
Herausgeber: IEEE
DOI: 10.23919/ECC64448.2024.10591078

Book chapters (1)

Formal Control for Uncertain Systems via Contract-Based Probabilistic Surrogates

Autoren: Oliver Schön, Sofie Haesaert, Sadegh Soudjani
Veröffentlicht in: Lecture Notes in Computer Science, Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, 2025
Herausgeber: Springer Nature Switzerland
DOI: 10.48550/ARXIV.2506.16971