Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Person

Druckansicht

Professor Dr. Kurt Lautenbach

Adresse Universität Koblenz
Campus Koblenz
Fachbereich 4 - Informatik
Institut für Softwaretechnik (IST)
Universitätsstraße 1
56070 Koblenz

Projekte

Als Antragsteller
- abgeschlossene Projekte
  - Analyse zeitbewerteter Stellen/Transitionennetze mit Ordered Natural Decision Diagrams zur optimalen Steuerung von Produktionsprozessen (Schwerpunktprogramme)
  - Störungsüberwachung und Synthese von Abfahrsteuerungen in hybriden Systemen (Schwerpunktprogramme)
  - Diagnostik mittels Dualität in Petri-Netzen und in Logiken (Schwerpunktprogramme)
  - Toolunterstützte Modellierung, Analyse und Synthese sicherheitsrelevanter Steuerungen für den Eisenbahnverkehr mit Petrinetztechnologien (Sachbeihilfen)
Als Beteiligte Person
- abgeschlossene Projekte
  - Analyse zeitbewerteter Stellen/Transitionennetze mit Ordered Natural Decision Diagrams zur optimalen Steuerung von Produktionsprozessen (Schwerpunktprogramme)
  - Unternehmensmodellierung zur Unterstützung effizienter Prozesse im Electronic Commerce (Sachbeihilfen)

© 2024 DFG Kontakt / Impressum / Datenschutz