Publikationen

Hier die Ausgabe Ihrer Suche - bereits vorsortiert nach allgemeine Inhalten, Personen, Projekte und Publikationen - wählen Sie einfach den jeweiligen Reiter an.

2017

Dynamic Portfolio Optimization for Distributed Energy Resources in Virtual Power Plants

Balduin, Stephan and Brauer, Dierk and Elend, Lars and Holly, Stefanie and Korte, Jan and Krüger, Carsten and Meier, Almuth and Oest, Frauke and Sanders-Sjuts, Immo and Sauer, Torben and Schnieders, Marco and Zilke, Robert and Hinrichs, Christian and Sonnenschein, Michael; Advances and New Trends in Environmental Informatics: Stability, Continuity, Innovation; 2017

Gesture controlled hospital beds for home care

Fudickar, Sebastian and Flessner, Jannik and Volkening, Nils and Steen, Enno-Edzard and Isken, Melvin and Hein, Andreas; Zukunft-Lebensräume-Kongress 2016; 2017

BIB
Power and Execution Time Measurement Methodology for SDF Applications on FPGA-based MPSoCs

Christof Schlaak and Maher Fakih and Ralf Stemmer; HIP3ES 2017; 01 / 2017

Provably Correct Systems

Martin Fränzle and Yang Gao and Sebastian Gerwinn; 2017

Towards an Integrated Sustainability Evaluation of Energy Scenarios with Automated Information Exchange

Jan Sören Schwarz, Tobias Witt, Astrid Nieße, Jutta Geldermann, Sebastian Lehnhoff, Michael Sonnenschein; Proceedings of the 6th International Conference on Smart Cities and Green ICT Systems; 0April / 2017

BIB
Towards State-Based RT Analysis of FSM-SADFGs on MPSoCs with Shared Memory Communication

Ralf Stemmer and Maher Fakih and Kim Grüttner and Wolfgang Nebel; RAPIDO 2017; 01 / 2017

BIB
Verifying a PI Controller using SoapBox and Stabhyli

Eike Möhlmann and Willem Hagemann and Astrid Rakow; ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems; 2017