Birgit C. van Huijgevoort
From MaRDI portal
Person:2165972
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| SySCcoRe 2.0: toolset for formal control synthesis of continuous-state stochastic systems and temporal logic specifications Nonlinear Analysis. Hybrid Systems | 2025-10-14 | Paper |
| Bayesian formal synthesis of unknown systems via robust simulation relations IEEE Transactions on Automatic Control | 2025-07-10 | Paper |
| SySCoRe: Synthesis via Stochastic Coupling Relations Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
| Poster Abstract: Data-Driven Correct-by-Design Control of Parametric Stochastic Systems✱ Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
| Similarity quantification for linear stochastic systems: a coupling compensator approach Automatica | 2022-08-23 | Paper |
| Structure Preserving Discretization of 1D Nonlinear Port-Hamiltonian Distributed Parameter Systems | 2021-04-22 | Paper |
Research outcomes over time
This page was built for person: Birgit C. van Huijgevoort
