C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
B. C. van Huijgevoort
ORCID
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 3
Top Topics
Sample Path
Stochastic Systems
Structure Preserving
Temporal Logic
Top Venues
IEEE Control. Syst. Lett.
CoRR
ECC
</>
Publications
</>
B. C. van Huijgevoort
,
Siep Weiland
,
Sofie Haesaert
Temporal Logic Control of Nonlinear Stochastic Systems Using a Piecewise-Affine Abstraction.
IEEE Control. Syst. Lett.
7 (2023)
B. C. van Huijgevoort
,
Siep Weiland
,
Hans J. Zwart
Structure Preserving Discretization of 1D Nonlinear Port-Hamiltonian Distributed Parameter Systems.
CoRR
(2021)
B. C. van Huijgevoort
,
Sofie Haesaert
Multi-layered simulation relations for linear stochastic systems.
ECC
(2021)