SPP 1016:  Analyse und Synthese kontinuierlich-diskreter technischer Systeme (KONDISK)

Technical systems, mainly automatic technical processes, are usually built of continuous and discrete-event working subsystems. Such mixed discrete-continuous or hybrid systems can have complex and usually unmanageable forms of behaviour as a result of their specific behaviour and because of dynamic interactions among the subsystems. As expected the systematic design as well as the objective system assessment are based on challenging steps of analysis and synthesis.However in many areas of engineering hybrid systems become increasingly more important, there only exist just first approaches to their formal description and analysis. Methodologies to the specific design of such systems are subject of international research efforts.Therefore the aim of the priority programme KONDISK is the basic research in the area of continuous-discrete technical systems with regard to the analysis of their overall behaviour and to the systematic and integral design of their components.

DFG Programme Priority Programmes

• Adaptive depth simulation of hybrid models within generic modeling and simulation frameworks (Applicant Jähnichen, Stefan )
• Analyse und Synthese diskreter Steuerungen hybrider Systeme (Applicant Rake, Heinrich )
• Analyse und Synthese hybrider Teilprozesse in der flexiblen Fertigung - Untersuchungen zum objektorientierten Entwicklungszyklus (Applicant Engmann, Ulrich )
• Analyse und Synthese kontinuierlich-diskreter technischer Systeme (Applicant Schnieder, Eckehard )
• Analyse zeitbewerteter Stellen/Transitionennetze mit Ordered Natural Decision Diagrams zur optimalen Steuerung von Produktionsprozessen (Applicant Hanisch, Hans-Michael )
• Analyse zeitbewerteter Stellen/Transitionennetze mit Ordered Natural Decision Diagrams zur optimalen Steuerung von Produktionsprozessen (Applicant Lautenbach, Kurt )
• Automatisierung hybrider Systeme mit Netz-Zustands-Modellen: Steuerung, Beobachtung und Identifikation (Applicant Krebs, Volker )
• Diagnose und rekonfigurierbare Steuerung hybrider dynamischer Systeme (Applicant Lunze, Jan )
• Diagnostics based on petri nets and logics (Applicant Lautenbach, Kurt )
• Entwicklung eines industriell anwendbaren Rechnerwerkzeugs zur Verifikation diskreter Steuerungen für verfahrenstechnische Prozesse (Applicant Kowalewski, Stefan )
• Entwicklung von Verkehrsüberwachungssystemen auf der Basis von Einzelfahrzeug-Daten (Applicant Cremer, Michael )
• Entwurf und Analyse komplexer hybrider Systeme basierend auf formalen objektorientierten Spezifikationen (Applicant Jähnichen, Stefan )
• Ereignisdiskrete Modellierung hybrider Systeme und Steuerungsentwurf (Applicant Lunze, Jan )
• Funktionsbausteinsysteme als diskret-kontinuierliche Steuerungsnetzwerke - formale Struktur und Klassifikation (Applicant Epple, Ulrich )
• Hierarchische Echtzeitsimulation zur dynamischen Analyse hybrider technischer Systeme am Beispiel Intelligenter Gebäude (Applicant Zimmermann, Gerhard )
• Hybride Modellierung und Prozeßführung von mehrstufigen, kontinuierlich arbeitenden Anlagen (Applicant Krebs, Volker )
• Hybride Überwachungssteuerung/-regelung von diskret-kontinuierlichen Bewegungsabläufen einer Roboterhand (Applicant Schmidt, Günther )
• Integrierte algorithmische und deduktive Verifikation verteilter Steuerungssysteme für hybride Prozesse (Applicant Kowalewski, Stefan )
• Integrierte algorithmische und deduktive Verifikation verteilter Steuerungssysteme für hybride Prozesse (Applicant Lakhnech, Yassine )
• Integrierte algorithmische und deduktive Verifikation verteilter Steuerungssysteme für hybride Prozesse (Applicant de Roever, Willem-Paul )
• Integrierte algorithmische und deduktive Verifikation verteilter Steuerungssysteme für hybride Prozesse (Applicant Engell, Sebastian )
• Integrierte algorithmische und deduktive Verifikation verteilter Steuerungssysteme für hybride Prozesse (Applicant de Roever, Willem-Paul )
• Integrierte mathematische Maschinenmodellierung (Applicant Bender, Klaus )
• KONDISK-MOVESYN: Modellbildung zur Verifikation und Synthese diskreter Automatisierungssysteme unter Berücksichtigung kontinuierlicher Teilsysteme (Applicant Schnieder, Eckehard )
• KONDISK-ReKoSys: Ressourcenorientierte Beschreibung und Werkzeug-Kooperationskonzepte für hybride Systeme (Applicant Schnieder, Eckehard )
• Modellbildung, Simulation und Analyse hybrider technischer Systeme (Applicant Rake, Heinrich )
• Modellierung, Analyse und Simulation komplexer Systeme des spurgebundenen Verkehrs mit hybriden höheren Petrinetzen (Applicant Schnieder, Eckehard )
• Modellierung, Analyse und Verifikation von Rezeptsteuerungen mit höheren Petrinetzen (Applicant Hanisch, Hans-Michael )
• Modellierung, Analyse und Verifikation von Rezeptsteuerungen mit höheren Petrinetzen (Applicant Genrich, Hartmann )
• Modellierung gemischt diskret-kontinuierlicher Systeme mit nicht-Markow`schen Fluiden Stochastischen Petri-Netzen 2. Ordnung (Applicant Hommel, Günter )
• Modellierung und Echtzeitsimulation kontinuierlich-diskreter technischer Systeme (Applicant Kasper, Roland )
• Modellierung und Simulation von kombinierten modular-hierarchischen Systemen mit diskret-ereignisorientierter Strukturdynamik (Applicant Lampe, Bernhard )
• Modulare temporallogische Spezifikationen hybrider Systeme (Applicant Krumm, Heiko )
• Objektorientierte Modellierung komplexer hybrider technischer Prozesse auf der Basis hybrider Objektnetze (Applicant Engmann, Ulrich )
• Objektorientierte Modellierungs- und Simulationsumgebung für kontinuierlich/diskrete Systeme (Applicant Otter, Martin )
• Objektorientierte Modellierungs- und Simulationsumgebung für kontinuierlich/diskrete Systeme (Applicant Engell, Sebastian )
• Optimale und robuste hybride Regelung mechatronischer Multikontakt-Systeme (Applicant Schmidt, Günther )
• Optimales Anfahren und optimaler Arbeitspunktwechsel verfahrenstechnischer Anlagen (Applicant Engell, Sebastian )
• Optimierung dynamischer Systeme mit kontinuierlichen und diskreten Steuervariablen (Applicant Bulirsch, Roland )
• Optimization of dynamical systems with continous and descrete control variables. (Applicant von Stryk, Oskar )
• Planung, Leistungsbewertung und Steuerung von Materialflußsystemen (Applicant Marquardt, Hans-Georg )
• Prädiktive Wechselwegweisungen in Straßennetzen mit vielen Quelle-Ziel-Beziehungen (Applicant Cremer, Michael )
• Spezifikation und Verifikation von Steuerungen für kontinuierliche Systeme auf der Grundlage modularer Modelle und kompositioneller Analyse (Applicant Engell, Sebastian )
• Spezifikation und Verifikation von Steuerungen für kontinuierliche Systeme auf der Grundlage modularer Modelle und kompositioneller Analyse (Applicant de Roever, Willem-Paul )
• Spezifikationsabhängige Approximation kontinuierlicher dynamischer Systeme durch nichtdeterministische endliche Automaten (Applicant Raisch, Jörg )
• Steuerungssynthese und -verifikation mit modularen, hybriden Modellen auf der Basis universeller interpretierter Petri-Netze (UIPN) (Applicant Litz, Lothar )
• Störungsüberwachung und Synthese von Abfahrsteuerungen in hybriden Systemen (Applicant Hanisch, Hans-Michael )
• Störungsüberwachung und Synthese von Abfahrsteuerungen in hybriden Systemen (Applicant Lautenbach, Kurt )
• The use component models for monitoring and diagnosis of continuous and discrete systems (Applicant Göhner, Peter )
• Transformation individuell-kontinuierlicher in ereignisdiskrete Verkehrsablaufmodelle (Applicant Neumann, Peter )
• VEBASI: Hochpräzise Verhaltensmodellierung von Bahnsystemen für Sicherheits- betrachtungen unter Verwendung eines diskret-kontinuierlichen Beschreibungsmittels (Applicant Schnieder, Eckehard )
• Workbench zur inkrementellen und modularen Entwicklung offener Modelle (Applicant Hanisch, Hans-Michael )
• Zeitparallele Simulation von individuell-kontinuierlichen und individuell-diskreten Verkehrsmodellen (Applicant Neumann, Peter )
• Zweidimensionale Modellbildung und Analyse kontinuierlich-diskreter Systeme (Applicant Franke, Dieter )

Spokesperson Professor Dr.-Ing. Eckehard Schnieder