Some Issues on Control of Discrete Event Systems Using Model Specifications
Michael P. Spathopoulos, Rein Smedinga · University of Groningen research database (University of Groningen / Centre for Information Technology) · 1996
In this paper the control of a logical discrete-event system is introduced using predicates and associated blocking events. The blocking occurs when a predicate concerning the system behaviour becomes true. It is shown that model specifications can be transformed into control objectives involving predicates and blocking events. Next, we consider the control problem when events are unobservable and uncontrollable. It is shown that when the control objectives are decidable a separation principle holds, i.e., the problems of uncontrollability and unobservability can be solved separately and independently.