@@ -377,91 +377,6 @@ simulators are supported so that the user can use the simulator fitting for thei
file={Springer Full Text PDF:/home/wouter/snap/zotero-snap/common/Zotero/storage/F732MSAQ/Abdipour et al. - 2016 - A Design Research Lab—An Integrated Model to Ident.pdf:application/pdf}
shorttitle={Modeling of Elastically Coupled Bodies},
pages={501--506},
number={4},
journaltitle={Journal of Dynamic Systems, Measurement, and Control},
shortjournal={J. Dyn. Sys., Meas., Control},
author={Fasse, Ernest D. and Breedveld, Peter C.},
urldate={2020-07-18},
date={1998-12-01},
langid={english},
note={Publisher: American Society of Mechanical Engineers Digital Collection},
file={Full Text PDF:/home/wouter/snap/zotero-snap/common/Zotero/storage/2TGMNQNV/Fasse and Breedveld - 1998 - Modeling of Elastically Coupled Bodies Part II—Ex.pdf:application/pdf;Snapshot:/home/wouter/snap/zotero-snap/common/Zotero/storage/8WKYIH9H/Modeling-of-Elastically-Coupled-Bodies-Part.html:text/html}
}
@article{fasse_modeling_1998-1,
title={Modeling of Elastically Coupled Bodies: Part I—General Theory and Geometric Potential Function Method},
shorttitle={Modeling of Elastically Coupled Bodies},
pages={496--500},
number={4},
journaltitle={Journal of Dynamic Systems, Measurement, and Control},
shortjournal={J. Dyn. Sys., Meas., Control},
author={Fasse, Ernest D. and Breedveld, Peter C.},
urldate={2020-07-18},
date={1998-12-01},
langid={english},
note={Publisher: American Society of Mechanical Engineers Digital Collection},
file={Full Text PDF:/home/wouter/snap/zotero-snap/common/Zotero/storage/TTD7SEYA/Fasse and Breedveld - 1998 - Modeling of Elastically Coupled Bodies Part I—Gen.pdf:application/pdf;Snapshot:/home/wouter/snap/zotero-snap/common/Zotero/storage/QF9PL8RX/Modeling-of-Elastically-Coupled-Bodies-Part.html:text/html}
}
@article{diebel_representing_nodate,
title={Representing Attitude: Euler Angles, Unit Quaternions, and Rotation Vectors},
abstract={We present the three main mathematical constructs used to represent the attitude of a rigid body in threedimensional space. These are (1) the rotation matrix, (2) a triple of Euler angles, and (3) the unit quaternion. To these we add a fourth, the rotation vector, which has many of the benefits of both Euler angles and quaternions, but neither the singularities of the former, nor the quadratic constraint of the latter. There are several other subsidiary representations, such as Cayley-Klein parameters and the axis-angle representation, whose relations to the three main representations are also described. Our exposition is catered to those who seek a thorough and unified reference on the whole subject; detailed derivations of some results are not presented.},
pages={35},
author={Diebel, James},
langid={english},
file={Diebel - Representing Attitude Euler Angles, Unit Quaterni.pdf:/home/wouter/snap/zotero-snap/common/Zotero/storage/XWRRE39S/Diebel - Representing Attitude Euler Angles, Unit Quaterni.pdf:application/pdf}
}
@article{stramigioli_differentiable_1998,
title={From differentiable manifold to interactive robot control},
file={Full Text PDF:/home/wouter/snap/zotero-snap/common/Zotero/storage/I5V9TPQU/Stramigioli - 1998 - From differentiable manifold to interactive robot .pdf:application/pdf;Snapshot:/home/wouter/snap/zotero-snap/common/Zotero/storage/VKRGIACN/uuidd57a5bfa-fa2e-4afd-aa38-da979d2ef8c2.html:text/html}
}
@book{lynch_modern_2017,
location={Cambridge, {UK}},
title={Modern robotics: mechanics, planning, and control},
isbn={978-1-107-15630-2 978-1-316-60984-2},
shorttitle={Modern robotics},
pagetotal={528},
publisher={Cambridge University Press},
author={Lynch, Kevin M. and Park, Frank C.},
date={2017},
langid={english},
note={{OCLC}: ocn983881868},
keywords={Control systems, Design and construction, Dynamics, Manipulators (Mechanism), Robotics, Robots},
file={Lynch and Park - 2017 - Modern robotics mechanics, planning, and control.pdf:/home/wouter/snap/zotero-snap/common/Zotero/storage/9JZH94YJ/Lynch and Park - 2017 - Modern robotics mechanics, planning, and control.pdf:application/pdf}
}
@article{karadeniz_modelling_2018,
title={Modelling and Simulation of Stepper Motor For Position Control Using {LabVIEW}},
volume={5},
@@ -485,29 +400,6 @@ simulators are supported so that the user can use the simulator fitting for thei
abstract={Stepper motor modeling with simulink. Contribute to {SuYouge}/Stepper-motor-modeling development by creating an account on {GitHub}.},
author={Youge, Su},
urldate={2020-07-21},
date={2020-05-24},
note={original-date: 2019-09-30T12:04:19Z}
}
@book{stramigioli_differentiable_1998-1,
location={Delft},
title={From differentiable manifolds to interactive robot control},
isbn={978-90-90-11974-8},
pagetotal={269},
publisher={Technische Univeriteit},
author={Stramigioli, Stefano},
date={1998},
langid={english},
note={{OCLC}: 246491017},
file={Stramigioli - 1998 - From differentiable manifolds to interactive robot.pdf:/home/wouter/snap/zotero-snap/common/Zotero/storage/EEG8EL38/Stramigioli - 1998 - From differentiable manifolds to interactive robot.pdf:application/pdf}
}
@inproceedings{lee_measurement_1994,
title={Measurement of flux linkage in the hybrid stepping motor drive},
doi={10.1049/cp:19940952},
@@ -522,20 +414,6 @@ simulators are supported so that the user can use the simulator fitting for thei
}
@collection{fitzgerald_collaborative_2014,
location={Berlin, Heidelberg},
title={Collaborative Design for Embedded Systems},
editor={Fitzgerald, John and Larsen, Peter Gorm and Verhoef, Marcel},
urldate={2020-09-03},
date={2014},
langid={english},
doi={10.1007/978-3-642-54118-6},
file={Fitzgerald et al. - 2014 - Collaborative Design for Embedded Systems.pdf:/home/wouter/snap/zotero-snap/common/Zotero/storage/JIKZVFY8/Fitzgerald et al. - 2014 - Collaborative Design for Embedded Systems.pdf:application/pdf}
}
@collection{fitzgerald_collaborative_2014-1,
location={Berlin, Heidelberg},
title={Collaborative Design for Embedded Systems},
isbn={978-3-642-54117-9},
@@ -756,29 +634,6 @@ simulators are supported so that the user can use the simulator fitting for thei
file={Dresscher et al. - 2010 - Modeling of the youBot in a serial link structure .pdf:/home/wouter/snap/zotero-snap/common/Zotero/storage/WTJBLHYK/Dresscher et al. - 2010 - Modeling of the youBot in a serial link structure .pdf:application/pdf;Snapshot:/home/wouter/snap/zotero-snap/common/Zotero/storage/6ER8LPG2/a748d0c393b8ca2f5874e713e3e8a53963f645bc.html:text/html}
}
@inproceedings{luber_people_2010,
title={People tracking with human motion predictions from social forces},
doi={10.1109/ROBOT.2010.5509779},
abstract={For many tasks in populated environments, robots need to keep track of current and future motion states of people. Most approaches to people tracking make weak assumptions on human motion such as constant velocity or acceleration. But even over a short period, human behavior is more complex and influenced by factors such as the intended goal, other people, objects in the environment, and social rules. This motivates the use of more sophisticated motion models for people tracking especially since humans frequently undergo lengthy occlusion events. In this paper, we consider computational models developed in the cognitive and social science communities that describe individual and collective pedestrian dynamics for tasks such as crowd behavior analysis. In particular, we integrate a model based on a social force concept into a multi-hypothesis target tracker. We show how the refined motion predictions translate into more informed probability distributions over hypotheses and finally into a more robust tracking behavior and better occlusion handling. In experiments in indoor and outdoor environments with data from a laser range finder, the social force model leads to more accurate tracking with up to two times fewer data association errors.},
eventtitle={2010 {IEEE} International Conference on Robotics and Automation},
pages={464--469},
booktitle={2010 {IEEE} International Conference on Robotics and Automation},
author={Luber, Matthias and Stork, Johannes A. and Tipaldi, Gian Diego and Arras, Kai O.},
date={2010-05},
note={{ISSN}: 1050-4729},
keywords={Computational modeling, mobile robots, Acceleration, cognitive community, collective pedestrian dynamic, computational model, computer graphics, crowd behavior analysis, data association errors, Floors, Fluid dynamics, Hidden Markov models, human motion prediction, Humans, image motion analysis, laser range finder, laser ranging, Mobile robots, multihypothesis target tracker, occlusion handling, probability distribution, Robotics and automation, robust tracking behavior, social force model, social science community, statistical distributions, target tracking, Target tracking, {USA} Councils},
file={IEEE Xplore Abstract Record:/home/wouter/snap/zotero-snap/common/Zotero/storage/GWAZZX94/5509779.html:text/html;IEEE Xplore Full Text PDF:/home/wouter/snap/zotero-snap/common/Zotero/storage/W4TASMFR/Luber et al. - 2010 - People tracking with human motion predictions from.pdf:application/pdf}
}
@incollection{helbing_simulation_2002,
title={Simulation of pedestrian crowds in normal and evacuation situations},
volume={21},
pages={21--58},
author={Helbing, Dirk and Farkas, Illés and Molnar, Peter and Vicsek, Tamás},
date={2002-01-01},
file={Full Text PDF:/home/wouter/snap/zotero-snap/common/Zotero/storage/BDF7QLUL/Helbing et al. - 2002 - Simulation of pedestrian crowds in normal and evac.pdf:application/pdf}
}
@online{noauthor_nsf20563_nodate,
title={nsf20563 Cyber-Physical Systems ({CPS}) {\textbar} {NSF} - National Science Foundation},
@@ -786,53 +641,6 @@ simulators are supported so that the user can use the simulator fitting for thei
file={nsf20563 Cyber-Physical Systems (CPS) | NSF - National Science Foundation:/home/wouter/snap/zotero-snap/common/Zotero/storage/JKXI5VYQ/pub_summ.html:text/html}
}
@article{karamouzas_implicit_2017,
title={Implicit crowds: optimization integrator for robust crowd simulation},
title={Managing Non-Functional Communication Aspects in the Entire Life-Cycle of a Component-Based Robotic Software System},
url={https://mediatum.ub.tum.de/?id=1362587},
@@ -939,7 +736,7 @@ simulators are supported so that the user can use the simulator fitting for thei
file={Grenning - 2002 - Planning Poker or How to avoid analysis paralysis .pdf:/home/wouter/snap/zotero-snap/common/Zotero/storage/3NSY3IKR/Grenning - 2002 - Planning Poker or How to avoid analysis paralysis .pdf:application/pdf}
}
@online{noauthor_robmosys_2017-1,
@online{noauthor_robmosys_2017,
title={{RobMoSys}},
url={https://robmosys.eu/approach/},
abstract={Open {RobMoSys} Wiki in a new window},
@@ -992,54 +789,7 @@ simulators are supported so that the user can use the simulator fitting for thei
file={Carreira et al. - 2020 - Foundations of Multi-Paradigm Modelling for Cyber-.pdf:/home/wouter/snap/zotero-snap/common/Zotero/storage/BLR6CTGZ/Carreira et al. - 2020 - Foundations of Multi-Paradigm Modelling for Cyber-.pdf:application/pdf}
abstract={Die vorliegende Untersuchung ist das Ergebnis langjähriger Studien im Umkreis des Modellbegriffs. Sie begannen 1957 mit einem ersten systematischen Orientierungsversuch („Uber kausale, konditionale und strukturelle Erklärungsmodelle“, Philosophia Naturalis, Bd. {IV}, H. 4, 1957, p. 403— 433) und führten über mehrere Stufen fort schreitender Systematisierung zu dem 1965 vorgelegten modell theoretischen Konzept („Gedanken zu einer allgemeinen Theorie der Modelle“, Studium Generale, 18. Jg., H. 7, 1965, p. 432— 463), das ich schließlich auf die Fassung der jetzt vorliegenden „Allgemeinen Modelltheorie“ erweitern und präzisieren konnte. Ende 1969 folgte ich einer Einladung der {UNESCO}, Paris, eine Studie über den Modellbegriff abzufassen. – Stachowiak},
abstract={Die vorliegende Untersuchung ist das Ergebnis langjähriger Studien im Umkreis des Modellbegriffs. Sie begannen 1957 mit einem ersten systematischen Orientierungsversuch („Uber kausale, konditionale und strukturelle Erklärungsmodelle“, Philosophia Naturalis, Bd. {IV}, H. 4, 1957, p. 403— 433) und führten über mehrere Stufen fort schreitender Systematisierung zu dem 1965 vorgelegten modell theoretischen Konzept („Gedanken zu einer allgemeinen Theorie der Modelle“, Studium Generale, 18. Jg., H. 7, 1965, p. 432— 463), das ich schließlich auf die Fassung der jetzt vorliegenden „Allgemeinen Modelltheorie“ erweitern und präzisieren konnte. Ende 1969 folgte ich einer Einladung der {UNESCO}, Paris, eine Studie über den Modellbegriff abzufassen. – Stachowiak},
urldate={2021-02-04},
date={1973},
keywords={Modelle}
}
@book{stachowiak_allgemeine_1973-2,
location={Wien},
title={Allgemeine Modelltheorie},
isbn={978-3-211-81106-1 978-0-387-81106-2},
@@ -1052,7 +802,7 @@ simulators are supported so that the user can use the simulator fitting for thei
file={IEEE Xplore Abstract Record:/home/wouter/snap/zotero-snap/common/Zotero/storage/MVX8GIEN/references.html:text/html;IEEE Xplore Full Text PDF:/home/wouter/snap/zotero-snap/common/Zotero/storage/PU8HV3RJ/Stramigioli and Bruyninckx - 2001 - Geometry of dynamic and higher-order kinematic scr.pdf:application/pdf}
}
@article{ingham_engineering_2005,
title={Engineering Complex Embedded Systems with State Analysis and the Mission Data System},
doi={10.2514/1.15265},
abstract={It has become clear that spacecraft system complexity is reaching a threshold where customary methods of control are no longer affordable or sufficiently reliable. At the heart of this problem are the conventional approaches to systems and software engineering based on subsystem-level functional decomposition, which fail to scale in the tangled web of interactions typically encountered in complex spacecraft designs. Furthermore, there is a fundamental gap between the requirements on software specified by systems engineers and the implementation of these requirements by software engineers. Software engineers must perform the translation of requirements into software code, hoping to accurately capture the systems engineer's understanding of the system behavior, which is not always explicitly specified. This gap opens up the possibility for misinterpretation of the systems engineer s intent, potentially leading to software errors. This problem is addressed by a systems engineering methodology called State Analysis, which provides a process for capturing system and software requirements in the form of explicit models. This paper describes how requirements for complex aerospace systems can be developed using State Analysis and how these requirements inform the design of the system software, using representative spacecraft examples.},
journaltitle={J. Aerosp. Comput. Inf. Commun.},
author={Ingham, M. and Rasmussen, R. and Bennett, M. and Moncada, Alex C.},
date={2005},
file={Ingham et al. - Engineering Complex Embedded Systems with State An.pdf:/home/wouter/snap/zotero-snap/common/Zotero/storage/E28RA3YI/Ingham et al. - Engineering Complex Embedded Systems with State An.pdf:application/pdf}
