Abstract
Abstract A new mathematical approach to the study of discrete event dynamical systems (DEDS), characterized by automata, Petri-nets or related presentations, is proposed. The Boolean Differential Calculus (BDC) serves as a means for modeling, specifying and analyzing DEDS. This paper not only demonstrates fundamental properties of the BDC, but also provides a design algorithm for a class of real DEDS. DEDS are decomposed in a hierarchical set of automata, which are connected by controllers. The design of these controllers is one of the key points of this paper. An application of the design algorithm on a simple but still realistic example of a batch process control problem is presented.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
