-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathpaper.bib
More file actions
226 lines (186 loc) · 9.48 KB
/
paper.bib
File metadata and controls
226 lines (186 loc) · 9.48 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
@article{Brady2013,
title = {Idris, a General-Purpose Dependently Typed Programming Language: {{Design}} and Implementation},
shorttitle = {Idris, a General-Purpose Dependently Typed Programming Language},
author = {Brady, Edwin},
date = {2013},
journaltitle = {Journal of Functional Programming},
volume = {23},
pages = {552--593},
langid = {english},
number = {5}
}
@misc{InstitutfurRegelungs-undSteuerungstheorieTUDresden2020,
title = {Versuchsstände am Institut -- Technischer Bericht},
author = {{Institut für Regelungs- und Steuerungstheorie, TU Dresden}},
date = {2020},
url = {https://github.com/TUD-RST/technical-reports}
}
@misc{RST2020Pendelvideo,
title = {Video des Aufschwingvorgangs für den Dreifachpendelversuchsstand},
author = {{Institut für Regelungs- und Steuerungstheorie, TU Dresden}},
date = {2021},
url = {https://videocampus.sachsen.de/video/Swing-Up-and-stabilization-of-a-triple-pendulum-on-a-movable-cart/a4b68ff99aed87c9a095f322002ac7b7}
}
@inproceedings{KnollHeedt2020ACKREP,
title = {“{{Automatic Control Knowledge Repository}}” – {{A Computational Approach}} for {{Simpler}} and {{More Robust Reproducibility}} of {{Results}} in {{Control Theory}}},
booktitle = {2020 24th {{International Conference}} on {{System Theory}}, {{Control}} and {{Computing}} ({{ICSTCC}})},
author = {Knoll, C. and Heedt, R.},
date = {2020-10},
pages = {130--136},
issn = {2372-1618},
doi = {10.1109/ICSTCC50638.2020.9259657},
eventtitle = {2020 24th {{International Conference}} on {{System Theory}}, {{Control}} and {{Computing}} ({{ICSTCC}})},
keywords = {computational methods in control theory,Control systems,Control theory,Metadata,ontologies,Peer-to-peer computing,semantic annotation,Semantics,Software,test driven development,Testing}
}
@inproceedings{Norell2008,
title = {Dependently Typed Programming in {{Agda}}},
booktitle = {Proceedings of the 6th International Conference on {{Advanced}} Functional Programming},
author = {Norell, Ulf},
date = {2008},
pages = {230--266},
publisher = {{Springer Berlin, Heidelberg}},
_location = {{Berlin, Heidelberg}},
series = {{{AFP}}'08}
}
@book{lunze2016kuenstliche_intelligenz,
title={K{\"u}nstliche Intelligenz f{\"u}r Ingenieure: Methoden zur L{\"o}sung ingenieurtechnischer Probleme mit Hilfe von Regeln, logischen Formeln und Bayesnetzen},
author={Lunze, Jan},
year={2016},
edition={3. Auflage},
publisher={Walter de Gruyter Berlin}
}
@INPROCEEDINGS{KnollHeedt2020ACKREP,
author={Carsten {Knoll} and Robert {Heedt}},
booktitle={24th International Conference on System Theory, Control and Computing (ICSTCC)},
title={\enquote{Automatic Control Knowledge Repository} -- A Computational Approach for Simpler and More Robust Reproducibility of Results in Control Theory},
year={2020},
pages={130-136},
_doi={10.1109/ICSTCC50638.2020.9259657}
}
@INPROCEEDINGS{HeedtKnoll2021Methodnet,
author={Robert {Heedt} and Carsten {Knoll}},
booktitle={Digital-Fachtagung VDI MECHATRONIK 2021},
title={Formal Semantic Representation of Methods in Automatic Control},
year={2021},
pages={98-103},
_doi={https://doi.org/10.26083/tuprints-00018615}
}
@article{KnollHeedt2021ACKREP,
title={Tool-based Support for the FAIR Principles for Control Theoretic Results: The "Automatic Control Knowledge Repository"},
author={Carsten {Knoll} and Robert {Heedt}},
journal={System Theory, Control and Computing Journal},
volume={1},
number={1},
pages={56--67},
year={2021}
}
@book{bergman2018knowledge,
title={Knowledge Representation Practionary},
author={Bergman, Michael K and Bergman, Michael K and Lagerstrom-Fife},
year={2018},
publisher={Springer}
}
@collection{dessimoz2017_gene_ontology_hb,
_location = {New York, {NY}},
title = {The Gene Ontology Handbook},
publisher = {Springer New York},
editor = {Dessimoz, Christophe and Škunca, Nives},
date = {2017},
langid = {english},
}
@article{mugnier_data_2020,
title = {Data Access With Horn Ontologies: Where Description Logics Meet Existential Rules},
doi = {10.1007/s13218-020-00678-3},
shorttitle = {Data Access With Horn Ontologies},
abstract = {Two main families of ontology languages are considered in the context of data access, namely Horn description logics and existential rules. In this paper, we review the semantic relationships between these families in the light of the ontologymediated query answering problem. To this end, we rely on the standard translation of description logics in first-order logic and on the notion of semantic emulation. We focus on description logics and classes of existential rules for which the conjunctive query answering problem has polynomial data complexity.},
journaltitle = {{KI} - Künstliche Intelligenz},
shortjournal = {Künstl Intell},
author = {Mugnier, Marie-Laure},
date = {2020-07-03},
langid = {english},
}
@book{keet2018_oe_introduction,
title={An introduction to ontology engineering, v1.5},
author={Keet, Maria},
year={2020},
publisher={College Publications}
}
@inproceedings{sedano_ontology_2007,
title = {An ontology for control engineering},
abstract = {Autorías: Francisco Jesús Rodríguez Sedano, Isaías García Rodríguez, Carmen Benavides González, Héctor Alaiz Moretón, Javier Alfonso Cendón, Ángel Alonso Álvarez.
Localización: La interdisciplinariedad y la transdisciplinariedad en la organización del conocimiento científico: actas del {VIII} Congreso {ISKO}-España. León, 18, 19 y 20 de abril de 2007, 2007.
Artículo de Libro en Dialnet.},
eventtitle = {La interdisciplinariedad y la transdisciplinariedad en la organización del conocimiento científico: actas del {VIII} Congreso {ISKO}-España. León, 18, 19 y 20 de abril de 2007},
pages = {253--264},
booktitle = {La interdisciplinariedad y la transdisciplinariedad en la organización del conocimiento científico: actas del {VIII} Congreso {ISKO}-España. León, 18, 19 y 20 de abril de 2007, 2007, {ISBN} 978-84-9773-333-5, pages 253-264},
publisher = {Servicio de Publicaciones},
author = {Sedano, Francisco Jesús Rodríguez and Rodríguez, Isaías García and González, Carmen Benavides and Moretón, Héctor Alaiz and Cendón, Javier Alfonso and Álvarez, Ángel Alonso},
date = {2007},
}
@article{benavides_ontology_based_2018,
title = {An ontology-based approach to knowledge representation for Computer-Aided Control System Design},
volume = {118},
abstract = {Different approaches have been used in order to represent and build control engineering concepts for the computer. Software applications for these fields are becoming more and more demanding each day, and new representation schemas are continuously being developed. This paper describes a study of the use of knowledge models represented in ontologies for building Computer Aided Control Systems Design ({CACSD}) tools. The use of this approach allows the construction of formal conceptual structures that can be stated independently of any software application and be used in many different ones. In order to show the advantages of this approach, an ontology and an application have been built for the domain of design of lead/lag controllers with the root locus method, presenting the results and benefits found.},
pages = {107--125},
journaltitle = {Data \& Knowledge Engineering},
author = {Benavides, Carmen and García, Isaías and Alaiz, Héctor and Quesada, Luis},
langid = {english},
date = {2018},
keywords = {Computer-Aided Control System Design, Conceptual modeling, Data and knowledge visualization, Ontologies},
}
@article{Conlon2019,
doi = {10.21105/joss.01182},
year = {2019},
publisher = {The Open Journal},
volume = {4},
number = {39},
pages = {1182},
author = {Michael Conlon et. al.},
comment = {and Andrew Woods and Graham Triggs and Ralph O'Flinn and Muhammad Javed and Jim Blake and Benjamin Gross and Qazi Azim Ijaz Ahmad and Sabih Ali and Martin Barber and Don Elsborg and Kitio Fofack and Christian Hauschke and Violeta Ilik and Huda Khan and Ted Lawless and Jacob Levernier and Brian Lowe and Jose Luis Martin and Steve McKay and Simon Porter and Tatiana Walther and Marijane White and Stefan Wolff and Rebecca Younes},
title = {VIVO: a system for research discovery},
journal = {Journal of Open Source Software}
}
@article{lamy2017owlready,
title={Owlready: Ontology-oriented programming in Python with automatic classification and high level constructs for biomedical ontologies},
author={Lamy, Jean-Baptiste},
journal={Artificial intelligence in medicine},
volume={80},
pages={11--28},
year={2017},
publisher={Elsevier}
}
@book {lamy2020Ontologies,
author = { Jean-Baptiste, Lamy},
title = { Ontologies with Python},
edition = { 1st edition },
publisher = {Apress},
year = {2020},
address = {Boston, MA}
}
@book{arp_smith_spear_2015BFO,
title={Building ontologies with basic formal ontology},
author={Arp, Robert and Smith, Barry and Spear, Andrew D.},
year={2015},
publisher={MIT Press}
}
@misc{Heedt2021,
title = {Methodennetz-Quellcode-{Repositorium}},
author = {Heedt, Robert and Knoll, Carsten},
date = {2021},
url = {https://github.com/TUD-RST/methodnet}
}
@incollection{guarino2009what_is_an_ontology,
title={What is an ontology?},
author={Guarino, Nicola and Oberle, Daniel and Staab, Steffen},
booktitle={Handbook on ontologies},
pages={1--17},
year={2009},
publisher={Springer Berlin},
_address = {Berlin}
}
@misc{Heedt2021a,
title = {Demoinstanz des {{Methodennetzes}}},
author = {Heedt, Robert and Knoll, Carsten},
date = {2021},
url = {https://methodnet.ackrep.org/}
}