Boolean Condition/Event Systems: Computational Representation and Algorithms

Abstract This paper presents a computer-based representation for the condition/event (C/E) systems introduced by Sreenivas and Krogh to model multi-input, multi-output, continuous-time discrete event systems. Using the C/E system formalism, models of complex, real-time discrete event systems can be constructed by interconnecting models of subsystems with binary-valued condition and event signals. The paper describes basic data structures and algorithma for modeling, reachability analysis, and on-line state estimation using the Boolean logic tools in the XBOOLE library of C routines.