Alexander Weinert
German Aerospace Center
34 Papers
101 Citations
Alexander Weinert is an academic researcher from German Aerospace Center. The author has contributed to research in topics: Linear temporal logic & Computer science. The author has an hindex of 7, co-authored 34 publications. Previous affiliations of Alexander Weinert include Saarland University & University of Liverpool.
Chat about Author
Papers
RCE: An Integration Environment for Engineering and Science
Brigitte Boden,Jan Flink,Niklas Först,Robert Mischke,Kathrin Schaffert,Alexander Weinert,Annika Wohlan,Andreas Schreiber +7 more
TL;DR: RCE as mentioned in this paper is an open-source application developed primarily at DLR that enables its users to intuitively integrate disciplinary tools, to define dependencies between them via an easy-to-use graphical interface, and to execute the resulting multidisciplinary engineering workflow.
30
•Posted Content
RCE: An Integration Environment for Engineering and Science.
Brigitte Boden,Jan Flink,Niklas Först,Robert Mischke,Kathrin Schaffert,Alexander Weinert,Annika Wohlan,Andreas Schreiber +7 more
TL;DR: RCE (Remote Component Environment) makes it easy for collaborating engineers to contribute their individual disciplinary tools to a multidisciplinary design or analysis, and simplifies the subsequent analysis of the workflow's results.
Overview of Collaborative Multi-Fidelity Multidisciplinary Design Optimization Activities in the DLR Project VicToria
Stefan Goertz,Mohammad Abu-Zurayk,Caslav Ilic,Tobias Wunderlich,Stefan Keye,Matthias Schulze,Christoph Kaiser,Thomas Klimmek,Özge Süelözgen,Thiemo Kier,Andreas Schuster,Sascha Daehne,Michael Petsch,Dieter Kohlgrüber,Jannik Häßy,Robert Mischke,Alexander Weinert,Philipp Knechtges,Sebastian Gottfried,Johannes Hartmann,Benjamin Fröhler +20 more
- 15 Jun 2020
TL;DR: The different MDO strategies are shown to be effective in dealing with complex, real-world MDO problems in a highly collaborative, cross-institutional design environment, involving many disciplinary groups and experts and a mix of commercial and in-house design and analysis software.
Synthesizing optimally resilient controllers
TL;DR: This work compute optimally resilient strategies for a much wider range of winning conditions and show that they do not require more memory than winning strategies in the classical model and only have a polynomial overhead.
From LTL to rLTL monitoring: improved monitorability through robust semantics
Corto Mascle,Daniel Neider,Maximilian Schwenger,Paulo Tabuada,Alexander Weinert,Martin Zimmermann +5 more
- 22 Apr 2020
TL;DR: In this article, a robust semantics for finite strings is introduced, which can be used to detect the violation of desired properties in safety critical cyber-physical systems by observing its executions.
14