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

Informazioni relative al progetto

Auto-CyPheR

ID dell’accordo di sovvenzione: 101089047

DOI

10.3030/101089047

Data della firma CE 27 Luglio 2023

Data di avvio 1 Novembre 2023

Data di completamento 31 Ottobre 2028

Finanziato da

• European Research Council (ERC)

Costo totale

€ 1 993 756,00

Contributo UE

€ 1 993 756,00

Coordinato da

MAX-PLANCK-GESELLSCHAFT ZUR FORDERUNG DER WISSENSCHAFTEN EV
Germany

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Pubblicazioni

Peer reviewed articles (15)

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

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

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

Autori: Oliver Schön, Shammakh Naseer, Ben Wooding, Sadegh Soudjani
Pubblicato in: IFAC-PapersOnLine, Numero 58, 2024, ISSN 2405-8963
Editore: Elsevier BV
DOI: 10.48550/ARXIV.2407.21029

Simulation

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

Bayesian Formal Synthesis of Unknown Systems via Robust Simulation Relations

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

Data-driven abstraction-based control synthesis

Autori: Milad Kazemi, Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani, Ben Wooding
Pubblicato in: Nonlinear Analysis: Hybrid Systems, Numero 52, 2025, ISSN 1751-570X
Editore: Elsevier BV
DOI: 10.48550/ARXIV.2206.08069

Compositional Reinforcement Learning for Discrete-Time Stochastic Control Systems

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

Symbolic control for stochastic systems via finite parity games

Autori: Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani
Pubblicato in: Nonlinear Analysis: Hybrid Systems, Numero 51, 2025, ISSN 1751-570X
Editore: Elsevier BV
DOI: 10.48550/ARXIV.2101.00834

Nonlinear Analysis: Hybrid Systems

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

Lyapunov-Based Policy Synthesis for Multi-Objective Interval MDPs

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

Safe Reach Set Computation via Neural Barrier Certificates

Autori: Alessandro Abate, Sergiy Bogomolov, Alec Edwards, Kostiantyn Potomkin, Sadegh Soudjani, Paolo Zuliani
Pubblicato in: IFAC-PapersOnLine, Numero 58, 2024, ISSN 2405-8963
Editore: 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

Autori: B.C. van Huijgevoort, M.H.W. Engelaar, S. Soudjani, S. Haesaert
Pubblicato in: Nonlinear Analysis: Hybrid Systems, Numero 58, 2025, ISSN 1751-570X
Editore: Elsevier BV
DOI: 10.1016/J.NAHS.2025.101607

Necessary and Sufficient Certificates for Almost Sure Reachability

Autori: Rupak Majumdar; V. R. Sathiyanarayana; Sadegh Soudjani
Pubblicato in: IEEE Control Systems Letters, 2024, ISSN 2475-1456
Editore: IEEE
DOI: 10.1109/LCSYS.2024.3507279

Multiplicative Barrier Certificates for Probabilistic Safety of Markov Jump Systems

Autori: Behrad Samari, Matteo Della Rossa, Abolfazl Lavaei, Sadegh Soudjani, Raphael Jungers
Pubblicato in: IFAC-PapersOnLine, Numero 58, 2024, ISSN 2405-8963
Editore: Elsevier BV
DOI: 10.1016/J.IFACOL.2024.07.426

Temporal Logic Resilience for Dynamical Systems

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

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

Autori: Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
Pubblicato in: Automatica, Numero 159, 2025, ISSN 0005-1098
Editore: Elsevier BV
DOI: 10.48550/ARXIV.2111.10330

Conference proceedings (20)

Formal Verification of Unknown Stochastic Systems via Non-parametric Estimation

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

Temporal Logic Resilience for Cyber-Physical Systems

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

Distributionally Robust Control for Chance-Constrained Signal Temporal Logic Specifications

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

Assume-Guarantee Reinforcement Learning

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

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

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

Regret-Free Reinforcement Learning for Temporal Logic Specifications

Autori: Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani
Pubblicato in: 2025
Editore: PMLR
DOI: 10.48550/ARXIV.2411.12019

Safety Barrier Certificates for Stochastic Control Systems with Wireless Communication Networks

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

Robust Control of Uncertain Switched Affine Systems via Scenario Optimization

Autori: Negar Monir, Mahdieh S. Sadabadi, Sadegh Soudjani
Pubblicato in: Learning for Decision and Control, 2025
Editore: Proceedings of Machine Learning Research
DOI: 10.48550/ARXIV.2505.06943

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

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

Maximally Resilient Controllers under Temporal Logic Specifications

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

Logic-based Resilience Computation of Power Systems Against Frequency Requirements

Autori: Negar Monir, Mahdieh S. Sadabadi, Sadegh Soudjani
Pubblicato in: 2025 European Control Conference (ECC), 2025
Editore: IEEE
DOI: 10.48550/ARXIV.2504.19756

Analyzing Metastable Failures

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

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

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

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

Autori: Ali Taheri, Alireza Taban, Sadegh Soudjani, Ashutosh Trivedi
Pubblicato in: Learning for Decision and Control, 2026
Editore: L4DC
DOI: 10.48550/ARXIV.2511.09363

Incremental Data-Driven Policy Synthesis via Game Abstractions

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

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

Autori: Mahdi Nazeri, Thom Badings, Sadegh Soudjani, Alessandro Abate
Pubblicato in: Proceedings of the 7th Annual Learning for Dynamics & Control Conference, 2025
Editore: PMLR
DOI: 10.48550/ARXIV.2501.01191

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

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

Robust Model Predictive Control for Aircraft Intent-Aware Collision Avoidance

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

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

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

Control Barrier Functions for Stochastic Systems under Signal Temporal Logic Tasks

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

Book chapters (1)

Formal Control for Uncertain Systems via Contract-Based Probabilistic Surrogates

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