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 (ARCH 2022)
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
Control Systems
Spatial-Temporal Systems for Control
Dataset
Overzicht
Omschrijving
Synthesis via Stochastic Coupling Relations (SysCoRe) for stochastic continuous-state systems.
Datum van beschikbaarheid
17 jul. 2022
Uitgever
Code Ocean
DOI
10.24433/co.2213659.v1
Toegang dataset
MIT License
Citeer dit
DataSetCite
Schön, O. (Ontwerper), Haesaert, S. (Ontwerper), van Huijgevoort, B. C. (Ontwerper) (
17 jul. 2022
). SySCoRe (ARCH 2022). Code Ocean.
10.24433/co.2213659.v1