Detailseite
Projekt
SPP 1016: Analyse und Synthese kontinuierlich-diskreter technischer Systeme (KONDISK)
Fachliche Zuordnung
Informatik, System- und Elektrotechnik
Förderung
Förderung von 1996 bis 2001
Projektkennung
Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5467339
Technische Systeme, vor allem automatisierte technische Prozesse, sind in der Regel aus kontinuierlich wirkenden und ereignisdiskret arbeitenden Subsystemen aufgebaut. Solche Systeme mit gemischt kontinuierlich-diskreter oder hybrider Dynamik können infolge ihres spezifischen Einzelverhaltens und aufgrund von dynamischen Wechselwirkungen zwischen den Subsystemen komplexe, in der Regel nur schwer überschaubare Verhaltensformen aufweisen. Sowohl einem systematischen Entwurf als auch einer objektiven Systembeurteilung liegen deshalb erwartungsgemäß anspruchsvolle Analyse- und Syntheseschritte zugrunde.Obwohl hybride Systeme in vielen Bereichen der Ingenieurtechnik eine wachsende Bedeutung erhalten, existieren zu ihrer formalen, mathematischen Beschreibung und Analyse nur erste Ansätze. Methodiken zum gezielten Entwurf solcher Systeme sind Gegenstand der internationalen Forschung.Anliegen des Schwerpunktprogramms KONDISK ist deshalb die Grundlagenforschung auf dem Gebiet der kontinuierlich-diskreten technischen Systeme im Hinblick auf die Analyse ihres Gesamtverhaltens und den systematischen, integrierten Entwurf ihrer Systemkomponenten.
DFG-Verfahren
Schwerpunktprogramme
Projekte
- Analyse und Synthese diskreter Steuerungen hybrider Systeme (Antragsteller Rake, Heinrich )
- Analyse und Synthese hybrider Teilprozesse in der flexiblen Fertigung - Untersuchungen zum objektorientierten Entwicklungszyklus (Antragsteller Engmann, Ulrich )
- Analyse und Synthese kontinuierlich-diskreter technischer Systeme (Antragsteller Schnieder, Eckehard )
- Analyse zeitbewerteter Stellen/Transitionennetze mit Ordered Natural Decision Diagrams zur optimalen Steuerung von Produktionsprozessen (Antragsteller Hanisch, Hans-Michael )
- Analyse zeitbewerteter Stellen/Transitionennetze mit Ordered Natural Decision Diagrams zur optimalen Steuerung von Produktionsprozessen (Antragsteller Lautenbach, Kurt )
- Automatisierung hybrider Systeme mit Netz-Zustands-Modellen: Steuerung, Beobachtung und Identifikation (Antragsteller Krebs, Volker )
- Diagnose und rekonfigurierbare Steuerung hybrider dynamischer Systeme (Antragsteller Lunze, Jan )
- Diagnostik mittels Dualität in Petri-Netzen und in Logiken (Antragsteller Lautenbach, Kurt )
- Einsatz hybrider Komponentenmodelle zur Überwachung und Diagnose kontinuierlich-diskreter Systeme (Antragsteller Göhner, Peter )
- Entwicklung eines industriell anwendbaren Rechnerwerkzeugs zur Verifikation diskreter Steuerungen für verfahrenstechnische Prozesse (Antragsteller Kowalewski, Stefan )
- Entwicklung von Verkehrsüberwachungssystemen auf der Basis von Einzelfahrzeug-Daten (Antragsteller Cremer, Michael )
- Entwurf und Analyse komplexer hybrider Systeme basierend auf formalen objektorientierten Spezifikationen (Antragsteller Jähnichen, Stefan )
- Ereignisdiskrete Modellierung hybrider Systeme und Steuerungsentwurf (Antragsteller Lunze, Jan )
- Funktionsbausteinsysteme als diskret-kontinuierliche Steuerungsnetzwerke - formale Struktur und Klassifikation (Antragsteller Epple, Ulrich )
- Generische Modellierung und Simulation hybrider Systeme mit adaptiver Modellierungstiefe (Antragsteller Jähnichen, Stefan )
- Hierarchische Echtzeitsimulation zur dynamischen Analyse hybrider technischer Systeme am Beispiel Intelligenter Gebäude (Antragsteller Zimmermann, Gerhard )
- Hybride Modellierung und Prozeßführung von mehrstufigen, kontinuierlich arbeitenden Anlagen (Antragsteller Krebs, Volker )
- Hybride Überwachungssteuerung/-regelung von diskret-kontinuierlichen Bewegungsabläufen einer Roboterhand (Antragsteller Schmidt, Günther )
- Integrierte algorithmische und deduktive Verifikation verteilter Steuerungssysteme für hybride Prozesse (Antragsteller Kowalewski, Stefan )
- Integrierte algorithmische und deduktive Verifikation verteilter Steuerungssysteme für hybride Prozesse (Antragsteller Lakhnech, Yassine )
- Integrierte algorithmische und deduktive Verifikation verteilter Steuerungssysteme für hybride Prozesse (Antragsteller de Roever, Willem-Paul )
- Integrierte algorithmische und deduktive Verifikation verteilter Steuerungssysteme für hybride Prozesse (Antragsteller Engell, Sebastian )
- Integrierte algorithmische und deduktive Verifikation verteilter Steuerungssysteme für hybride Prozesse (Antragsteller de Roever, Willem-Paul )
- Integrierte mathematische Maschinenmodellierung (Antragsteller Bender, Klaus )
- KONDISK-MOVESYN: Modellbildung zur Verifikation und Synthese diskreter Automatisierungssysteme unter Berücksichtigung kontinuierlicher Teilsysteme (Antragsteller Schnieder, Eckehard )
- KONDISK-ReKoSys: Ressourcenorientierte Beschreibung und Werkzeug-Kooperationskonzepte für hybride Systeme (Antragsteller Schnieder, Eckehard )
- Modellbildung, Simulation und Analyse hybrider technischer Systeme (Antragsteller Rake, Heinrich )
- Modellierung, Analyse und Simulation komplexer Systeme des spurgebundenen Verkehrs mit hybriden höheren Petrinetzen (Antragsteller Schnieder, Eckehard )
- Modellierung, Analyse und Verifikation von Rezeptsteuerungen mit höheren Petrinetzen (Antragsteller Hanisch, Hans-Michael )
- Modellierung, Analyse und Verifikation von Rezeptsteuerungen mit höheren Petrinetzen (Antragsteller Genrich, Hartmann )
- Modellierung gemischt diskret-kontinuierlicher Systeme mit nicht-Markow`schen Fluiden Stochastischen Petri-Netzen 2. Ordnung (Antragsteller Hommel, Günter )
- Modellierung und Echtzeitsimulation kontinuierlich-diskreter technischer Systeme (Antragsteller Kasper, Roland )
- Modellierung und Simulation von kombinierten modular-hierarchischen Systemen mit diskret-ereignisorientierter Strukturdynamik (Antragsteller Lampe, Bernhard )
- Modulare temporallogische Spezifikationen hybrider Systeme (Antragsteller Krumm, Heiko )
- Objektorientierte Modellierung komplexer hybrider technischer Prozesse auf der Basis hybrider Objektnetze (Antragsteller Engmann, Ulrich )
- Objektorientierte Modellierungs- und Simulationsumgebung für kontinuierlich/diskrete Systeme (Antragsteller Otter, Martin )
- Objektorientierte Modellierungs- und Simulationsumgebung für kontinuierlich/diskrete Systeme (Antragsteller Engell, Sebastian )
- Optimale und robuste hybride Regelung mechatronischer Multikontakt-Systeme (Antragsteller Schmidt, Günther )
- Optimales Anfahren und optimaler Arbeitspunktwechsel verfahrenstechnischer Anlagen (Antragsteller Engell, Sebastian )
- Optimierung dynamischer Systeme mit kontinuierlichen und diskreten Steuervariablen (Antragsteller Bulirsch, Roland )
- Optimierung dynamischer Systeme mit kontinuierlichen und diskreten Steuervariablen (Antragsteller von Stryk, Oskar )
- Planung, Leistungsbewertung und Steuerung von Materialflußsystemen (Antragsteller Marquardt, Hans-Georg )
- Prädiktive Wechselwegweisungen in Straßennetzen mit vielen Quelle-Ziel-Beziehungen (Antragsteller Cremer, Michael )
- Spezifikation und Verifikation von Steuerungen für kontinuierliche Systeme auf der Grundlage modularer Modelle und kompositioneller Analyse (Antragsteller Engell, Sebastian )
- Spezifikation und Verifikation von Steuerungen für kontinuierliche Systeme auf der Grundlage modularer Modelle und kompositioneller Analyse (Antragsteller de Roever, Willem-Paul )
- Spezifikationsabhängige Approximation kontinuierlicher dynamischer Systeme durch nichtdeterministische endliche Automaten (Antragsteller Raisch, Jörg )
- Steuerungssynthese und -verifikation mit modularen, hybriden Modellen auf der Basis universeller interpretierter Petri-Netze (UIPN) (Antragsteller Litz, Lothar )
- Störungsüberwachung und Synthese von Abfahrsteuerungen in hybriden Systemen (Antragsteller Hanisch, Hans-Michael )
- Störungsüberwachung und Synthese von Abfahrsteuerungen in hybriden Systemen (Antragsteller Lautenbach, Kurt )
- Transformation individuell-kontinuierlicher in ereignisdiskrete Verkehrsablaufmodelle (Antragsteller Neumann, Peter )
- VEBASI: Hochpräzise Verhaltensmodellierung von Bahnsystemen für Sicherheits- betrachtungen unter Verwendung eines diskret-kontinuierlichen Beschreibungsmittels (Antragsteller Schnieder, Eckehard )
- Workbench zur inkrementellen und modularen Entwicklung offener Modelle (Antragsteller Hanisch, Hans-Michael )
- Zeitparallele Simulation von individuell-kontinuierlichen und individuell-diskreten Verkehrsmodellen (Antragsteller Neumann, Peter )
- Zweidimensionale Modellbildung und Analyse kontinuierlich-diskreter Systeme (Antragsteller Franke, Dieter )
