TU Bergakademie Freiberg | Fakultät für Mathematik und Informatik

1. Workshop Boolesche Probleme

Prof. Dr.-Ing. Dieter Bochmann, Lutherstr. 19, D-09126 Chemnitz

Abstract
Boolean Event / Condition systems are very successful models for analyzing the behaviour of controllers, automata and discrete systems. Their fast growing theory consists of a number of more or less strong formulated models. One of the most interesting approaches is the Boolean Differential Calculus (BDC), which allows the representation of dynamic events in binary (logical) discrete systems.
This paper shows some theoretical foundations for modelling Boolean Event/Condition systems based on the possibilities of BDC.