Project Details

Professor Dr.-Ing. Stefan Kowalewski

Address Rheinisch-Westfälische Technische Hochschule Aachen
Informatik 11: Lehrstuhl Software für eingebettete Systeme
Ahornstraße 55
52074 Aachen

Projects

As Applicant
- Current projects
  - Analysis of GRAFCET specifications to detect design flaws (AGRAFE 2) (Research Grants)
- Completed projects
  - Entwicklung eines industriell anwendbaren Rechnerwerkzeugs zur Verifikation diskreter Steuerungen für verfahrenstechnische Prozesse (Priority Programmes)
  - Integrierte algorithmische und deduktive Verifikation verteilter Steuerungssysteme für hybride Prozesse (Priority Programmes)
  - Entwicklung einer hochintegrierten, bedarfsadaptierten automatisierten extrakorporalen Lungenunterstützung unter Einsatz modellbasierter Sicherheitskonzepte (Smart ECLA) (Research Grants)
  - Regelung von Fahrzeugkolonnen mit topologisch veränderlichem Kommunikationsnetzwerk auf der Basis von Energiemethoden (Priority Programmes)
  - Verifikation von Programmen für speicherprogrammierbare Steuerungen mit Hilfe statischer Analyse und direktem Model-Checking (Research Grants)
  - Kooperierende Regelung von extrakorporaler Lungenunterstützung und Beatmung für die Therapie des Lungenversagens (ECLA-VENT) (Research Grants)
  - A Toolbox for the Reachability Analysis of Hybrid Systems using Geometric Approximations (Research Grants)
  - Analysis of conditional specifications for programmable logic controllers (Research Grants)
  - AutoKnigge - Modelling, Evaluation and Validation of Behavior for Cooperative Interacting Vehicles (Priority Programmes)
As Participating Researcher
- Current projects
  - EXC 2023: Internet of Production (IoP) (Clusters of Excellence (ExStra))
- Completed projects
  - GRK 1298: Algorithmic Synthesis of Reactive and Discrete-continuous Systems (AlgoSyn) (Research Training Groups)
  - EXC 89: Ultra High-speed Mobile Information and Communication (UMIC) (Clusters of Excellence)
As Project Head
- Current projects
  - Generating highly accurate positioning data using cooperative sensor data fusion (CRC/Transregios)

Servicenavigation

Hauptnavigation

Professor Dr.-Ing. Stefan Kowalewski

Additional Information

Servicenavigation

Hauptnavigation

Professor Dr.-Ing. Stefan Kowalewski

Additional Information

Textvergrößerung und Kontrastanpassung