Doorgaan naar hoofdnavigatie
Doorgaan naar zoeken
Ga verder naar hoofdinhoud
Onderzoeksportaal Eindhoven University of Technology Startpagina
Help en veelgestelde vragen
English
Nederlands
Startpagina
Onderzoekers
Onderzoeksoutput
Organisatie
Activiteiten
Projecten
Prijzen
Pers/Media
Faciliteiten
Datasets
Cursussen
Onderzoeksgebieden
Afstudeerscripties
Zoeken op expertise, naam of affiliatie
SySCoRe Repeatability Package (ARCH 2023 Category Report Case Study)
Oliver Schön
(Ontwerper)
Sofie Haesaert
(Ontwerper)
Birgit C. van Huijgevoort
(Ontwerper)
Formal methods for control of cyber-physical systems
Autonomous Motion Control (AMC) Lab
High Tech Systems Center
EAISI High Tech Systems
EAISI Foundational
Control Systems
Spatial-Temporal Systems for Control
Dataset
Overzicht
Omschrijving
Synthesis via Stochastic Coupling Relations (SySCoRe) for stochastic continuous-state systems.
Datum van beschikbaarheid
24 apr. 2023
Uitgever
Code Ocean
DOI
10.24433/co.8616869.v1
Toegang dataset
MIT License
Citeer dit
DataSetCite
Schön, O. (Ontwerper), Haesaert, S. (Ontwerper), van Huijgevoort, B. C. (Ontwerper) (
24 apr. 2023
). SySCoRe Repeatability Package (ARCH 2023 Category Report Case Study). Code Ocean.
10.24433/co.8616869.v1