Forskningsdatasæt
- 6 resultater
Søgeresultater
-
Models and data for "Guaranteed safe controller synthesis for switched systems using analytical solutions"
Goorden, M. (Ophavsperson), Larsen, K. G. (Ophavsperson), Nielsen, J. E. (Ophavsperson), Nielsen, T. D. (Ophavsperson), Qian, W. (Ophavsperson), Rasmussen, M. R. (Ophavsperson) & Zhao, G. (Ophavsperson), Zenodo, 12 jun. 2023
DOI: 10.5281/zenodo.8026422, https://zenodo.org/record/8026422
Datasæt
-
Learning Symbolic Timed Models from Concrete Timed Data – Data and Replication Package
Dierl, S. (Bidrager), Howar, F. M. (Bidrager), Kauffman, S. (Bidrager), Kristjansen, M. (Bidrager), Larsen, K. G. (Bidrager), Lorber, F. (Bidrager) & Mauritz, M. (Bidrager), Zenodo, 2023
DOI: 10.5281/zenodo.7766789, https://zenodo.org/record/7766789
Datasæt
-
Models for "Optimal Control Strategies for Stormwater Detention Ponds"
Goorden, M. (Ophavsperson), Larsen, K. G. (Ophavsperson), Nielsen, J. E. (Ophavsperson), Nielsen, T. D. (Ophavsperson), Qian, W. (Ophavsperson), Rasmussen, M. R. (Ophavsperson), Srba, J. (Ophavsperson) & Zhao, G. (Ophavsperson), Zenodo, 30 maj 2022
DOI: 10.5281/zenodo.6592380, https://zenodo.org/record/6592380
Datasæt
-
Reproducibility package for: AllSynth: Transiently Correct Network Update Synthesis Accounting for Operator Preferences
Larsen, K. G. (Bidrager), Mariegaard, A. (Bidrager), Schmid, S. (Bidrager) & Srba, J. (Bidrager), Zenodo, 2022
DOI: 10.5281/zenodo.6534949, https://zenodo.org/record/6534949
Datasæt
-
Reproducibility Package for Extended Abstract Dependency Graphs.
Enevoldsen, S. (Bidrager), Larsen, K. G. (Bidrager) & Srba, J. (Bidrager), Zenodo, 2020
DOI: 10.5281/zenodo.3691837, https://zenodo.org/record/3691837
Datasæt
-
Parametric Verification of Weighted Systems
Mariegaard, A. (Ophavsperson) & Larsen, K. G. (Ophavsperson), Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany, 3 dec. 2015
DOI: https://doi.org/10.4230/oasics.syncop.2015.77, https://doi.org/10.4230%2Foasics.syncop.2015.77
Datasæt