Zobrazeno 1 - 10
of 33
pro vyhledávání: '"Arne Nordmann"'
Autor:
Alexander T. Spröwitz, Alexandre Tuleu, Mostafa Ajallooeian, Massimo Vespignani, Rico Möckel, Peter Eckert, Michiel D'Haene, Jonas Degrave, Arne Nordmann, Benjamin Schrauwen, Jochen Steil, Auke Jan Ijspeert
Publikováno v:
Frontiers in Robotics and AI, Vol 5 (2018)
We present Oncilla robot, a novel mobile, quadruped legged locomotion machine. This large-cat sized, 5.1 kg robot is one of a kind of a recent, bioinspired legged robot class designed with the capability of model-free locomotion control. Animal legge
Externí odkaz:
https://doaj.org/article/cef7b9ecd8de4dc696a13909e51078ba
Autor:
Kaiwalya Belsare, Antonio Cuadros Rodriguez, Pablo Garrido Sánchez, Juanjo Hierro, Tomasz Kołcon, Ralph Lange, Ingo Lütkebohle, Alexandre Malki, Jaime Martin Losa, Francisco Melendez, Maria Merlan Rodriguez, Arne Nordmann, Jan Staschulat, Julian von Mendel
Publikováno v:
Studies in Computational Intelligence ISBN: 9783031090615
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f4030d9aaa46151b4ee07759e1711613
https://doi.org/10.1007/978-3-031-09062-2_2
https://doi.org/10.1007/978-3-031-09062-2_2
Autor:
Peter Munk, Arne Nordmann
Publikováno v:
Software and Systems Modeling. 19:889-910
Mastering the complexity of safety assurance for modern, software-intensive systems is challenging in several domains, such as automotive, robotics, and avionics. Model-based safety analysis techniques show promising results to handle this challenge
Context: Safety is of paramount importance for cyber-physical systems in domains such as automotive, robotics, and avionics. Formal methods such as model checking are one way to ensure the safety of cyber-physical systems. However, adoption of formal
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::22fedb52e2f7eb24f34a832450c9bc57
http://arxiv.org/abs/2201.03061
http://arxiv.org/abs/2201.03061
Context: The complexity of modern safety-critical systems in industries keep on increasing due to the rising number of features and functionalities. This calls for formal methods in order to entrust confidence in such systems. Nevertheless, using for
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::062c2126ccc0935498086dbdb2c70dd9
http://arxiv.org/abs/2108.06376
http://arxiv.org/abs/2108.06376
Publikováno v:
RoSE@ICSE
2021 IEEE/ACM 3rd International Workshop on Robotics Software Engineering (RoSE)
2021 IEEE/ACM 3rd International Workshop on Robotics Software Engineering (RoSE)
High-level deliberation in robotic systems has to handle three different but closely interwoven aspects simultaneously: intended tasks, contingencies, and system-level errors. To reduce the complexity, we propose the system modes concept, to abstract
Publikováno v:
Domain-Specific Languages in Practice ISBN: 9783030737573
The increasing complexity of safety-critical systems and the shorter time-to-market requires a high degree of automation during all development phases from requirements specification to design, implementation, verification, and safety assurance. To m
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f86edef66f5ad8d8380a9d9f5d6d86a9
https://doi.org/10.1007/978-3-030-73758-0_5
https://doi.org/10.1007/978-3-030-73758-0_5
Publikováno v:
Model-Based Safety and Assessment ISBN: 9783030589196
IMBSA
IMBSA
Contract-based design (CBD) is an emerging paradigm for complex systems, specifying the input-output behavior of a component by defining what the component guarantees, provided its environment satisfies the given assumptions. Under certain circumstan
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::91d3d19dd5a8323c6791703b84cff92b
https://doi.org/10.1007/978-3-030-58920-2_7
https://doi.org/10.1007/978-3-030-58920-2_7
Autor:
Klaus Birken, Federico Tomassetti, Bernd Kolb, Patrick Alff, Laurent Wiart, Andreas Wortmann, Arne Nordmann, Markus Voelter
Publikováno v:
Software & Systems Modeling. 18:2507-2530
Language workbenches support the efficient creation, integration, and use of domain-specific languages. Typically, they execute models by code generation to programming language code. This can lead to increased productivity and higher quality. Howeve
Publikováno v:
Model-Based Safety and Assessment ISBN: 9783030328719
IMBSA
IMBSA
To deal with the rising system complexity, Model-Based System Development (MBSD) approaches are becoming popular due to their promise to improve consistency between different views of the system model. For dependable systems, safety analysis is one o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::28ec091de148094e3bdc136ffd8eb789
https://doi.org/10.1007/978-3-030-32872-6_4
https://doi.org/10.1007/978-3-030-32872-6_4