307 citations
- Auckland University of TechnologyNZ5 papers
- Leibniz University HannoverDE5 papers
- IT University of CopenhagenDK4 papers
- Karlsruhe Institute of TechnologyDE4 papers
- Reutlingen UniversityDE4 papers
- Technical University of MunichDE4 papers
- TU WienAT4 papers
- The University of Texas at AustinUS3 papers
- University of TartuEE3 papers
- Aix-Marseille UniversitéFR2 papers
- Board of the Swiss Federal Institutes of TechnologyCH2 papers
- Centre National de la Recherche ScientifiqueFR2 papers
Showing 2016Show all
3 papers · 1 filter
cs.SE2016★ 29 cited
Towards the Verification of Safety-critical Autonomous Systems in Dynamic Environments
Adina Aniculaesei, Daniel Arnsberger, Falk Howar +1
There is an increasing necessity to deploy autonomous systems in highly heterogeneous, dynamic environments, e.g. service robots in hospitals or autonomous cars on highways. Due to…
astro-ph.SR2016★ 19 cited
Spectral energy distribution of M-subdwarfs: A study of their atmospheric properties
A. S. Rajpurohit, C. Reyle, F. Allard +5
Context. M-type subdwarfs are metal-poor low-mass stars and probe for the old populations in our Galaxy. Accurate knowledge of their atmospheric parameters and especially the compo…
math.OC2016★ 3 cited
Parameter Optimisation of a Virtual Synchronous Machine in a Microgrid
Timo Dewenter, Wiebke Heins, Benjamin Werther +3
Parameters of a virtual synchronous machine in a small microgrid are optimised. The dynamical behaviour of the system is simulated after a perturbation, where the system needs to r…