Birgit C. van Huijgevoort

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
Structure Preserving Discretization of 1D Nonlinear Port-Hamiltonian Distributed Parameter Systems (available as arXiv preprint)	2021-01-01	Paper

Research outcomes over time

This page was built for person: Birgit C. van Huijgevoort