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
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
)
Safety and Automation Concepts for Artificial Implantable Lungs - SmartLungControl
(Applicants
Kopp, Rüdger
;
Leonhardt, Steffen
;
Stollenwerk, Andre
)
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
© 2025
DFG
Disclaimer / Copyright
/
Privacy Policy
Textvergrößerung und Kontrastanpassung
