Poster Abstract: Data-Driven Correct-by-Design Control of Parametric Stochastic Systems✱

DOI10.1145/3575870.3589547OpenAlexW4375852645MaRDI QIDQ6202108

Sofie Haesaert, Unnamed Author, Sadegh Soudjani, Birgit C. van Huijgevoort

Publication date: 21 February 2024

Published in: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL: https://research.tue.nl/nl/publications/238aa10a-379d-4fc2-83e1-30cec01a95e2

zbMATH Keywords

stochastic systemsparametric uncertaintydata-driven methodstemporal logic control

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Cites Work

• Automated verification and synthesis of stochastic hybrid systems: a survey
• Similarity quantification for linear stochastic systems: a coupling compensator approach
• Data-driven and model-based verification via Bayesian identification and reachability analysis
• Robust Dynamic Programming for Temporal Logic Control of Stochastic Systems

This page was built for publication: Poster Abstract: Data-Driven Correct-by-Design Control of Parametric Stochastic Systems✱