Go directly to content
Go directly to font size and contrast
Servicenavigation
DFG Homepage
Disclaimer / Copyright
|
Help
|
Data Monitor
Deutsch
Hauptnavigation
Search
Catalogue
People Index
Location Index
About GEPRIS
Project Details
Back
Institution
Rheinisch-Westfälische Technische Hochschule Aachen
Informatik 11: Lehrstuhl Software für eingebettete Systeme
Address
Ahornstraße 55
52074 Aachen
Deutschland
GERiT
This institution in GERiT
52074 Aachen
Projects
Priority Programmes
Current projects
Safety and Automation Concepts for Artificial Implantable Lungs - SmartLungControl
(Applicants
Kopp, Rüdger
;
Leonhardt, Steffen
;
Stollenwerk, Andre
)
Completed projects
AutoKnigge - Modelling, Evaluation and Validation of Behavior for Cooperative Interacting Vehicles
(Applicants
Eckstein, Lutz
;
Kowalewski, Stefan
;
Rumpe, Bernhard
)
Entwicklung eines industriell anwendbaren Rechnerwerkzeugs zur Verifikation diskreter Steuerungen für verfahrenstechnische Prozesse
(Applicant
Kowalewski, Stefan
)
Integrierte algorithmische und deduktive Verifikation verteilter Steuerungssysteme für hybride Prozesse
(Applicant
Kowalewski, Stefan
)
Regelung von Fahrzeugkolonnen mit topologisch veränderlichem Kommunikationsnetzwerk auf der Basis von Energiemethoden
(Applicants
Abel, Dirk
;
Kowalewski, Stefan
)
Research Grants
Current projects
Analysis of GRAFCET specifications to detect design flaws (AGRAFE 2)
(Applicants
Fay, Alexander
;
Kowalewski, Stefan
)
Completed projects
Analysis of conditional specifications for programmable logic controllers
(Applicant
Kowalewski, Stefan
)
A Toolbox for the Reachability Analysis of Hybrid Systems using Geometric Approximations
(Applicants
Kowalewski, Stefan
;
Ábrahám, Erika
)
Entwicklung einer hochintegrierten, bedarfsadaptierten automatisierten extrakorporalen Lungenunterstützung unter Einsatz modellbasierter Sicherheitskonzepte (Smart ECLA)
(Applicants
Kowalewski, Stefan
;
Leonhardt, Steffen
;
Rossaint, Rolf
;
Schmitz-Rode, Thomas
)
Kooperierende Regelung von extrakorporaler Lungenunterstützung und Beatmung für die Therapie des Lungenversagens (ECLA-VENT)
(Applicants
Kowalewski, Stefan
;
Leonhardt, Steffen
;
Rossaint, Rolf
)
Verifikation von Programmen für speicherprogrammierbare Steuerungen mit Hilfe statischer Analyse und direktem Model-Checking
(Applicant
Kowalewski, Stefan
)
CRC/Transregios
Current projects
Generating highly accurate positioning data using cooperative sensor data fusion
(Project Heads
Alrifaee, Bassam
;
Kowalewski, Stefan
)
Research Training Groups
Completed projects
GRK 1298: Algorithmic Synthesis of Reactive and Discrete-continuous Systems (AlgoSyn)
(Spokespersons
Katoen, Joost-Pieter
;
Thomas, Wolfgang
)
Clusters of Excellence
Completed projects
EXC 89: Ultra High-speed Mobile Information and Communication (UMIC)
(Spokesperson
Ascheid, Gerd
)
Clusters of Excellence (ExStra)
Current projects
EXC 2023: Internet of Production (IoP)
(Spokesperson
Brecher, Christian
)
Additional Information
© 2024
DFG
Disclaimer / Copyright
/
Privacy Policy
Textvergrößerung und Kontrastanpassung