Entwurfsmethoden für ereignisdiskrete Systeme (EDS)

Ereignisdiskrete Systeme werden häufig durch

• Automaten,
• Petri-Netze oder
• formale Sprachen, die unter bestimmten Voraussetzungen auf Automaten abgebildet werden können,

beschrieben. Auf diesen und vergleichbaren Repräsentationsformen aufbauend wurden und werden Synthese- und Entwurfsverfahren entwickelt, siehe z.B.

• Supervisory Control of Discrete-Event Systems,
• Discrete Event Systems,
• Design of Logic Controllers,
• sowie viele andere Arbeiten.

Meine eigenen Arbeiten konzentrieren sich auf die Theorie des Booleschen Differentialkalüls:

• Boolesche Differentialkalkül,
• Grundlagenforschung,
• Anwendungsorientierte Forschung.