4 citations · 9 across the 4 of their papers we have counts for
4 papers
Direct data-driven control with signal temporal logic specifications
Birgit C. van Huijgevoort, Chris Verhoek, Roland Tóth +1
Most control synthesis methods under temporal logic properties require a model of the system, however, identifying such a model can be a challenging task. In this work, we develop…
Structure Preserving Discretization of 1D Nonlinear Port-Hamiltonian Distributed Parameter Systems
B. C. van Huijgevoort, S. Weiland, H. J. Zwart
This paper contributes with a new formal method of spatial discretization of a class of nonlinear distributed parameter systems that allow a port-Hamiltonian representation over a…
Multi-layered simulation relations for linear stochastic systems
B. C. van Huijgevoort, S. Haesaert
The design of provably correct controllers for continuous-state stochastic systems crucially depends on approximate finite-state abstractions and their accuracy quantification. For…
Similarity quantification for linear stochastic systems: A coupling compensator approach
B. C. van Huijgevoort, S. Haesaert
For the formal verification and design of control systems, abstractions with quantified accuracy are crucial. This is especially the case when considering accurate deviation bounds…