ALLY ~ER~~SS~VE STATE FE c FOR CONTROLLE
Chen Ilaoxun, Huifeng Li · 1997
The synthesis of state feedback logic for the control problem of maintaining a predicate on the state set of a timed discrete event system is considered in the setting of controlled lime Petri nets. We introduce a kind of invariance [or predicates and propose a fixpoint algorithm for computing (he extremal invariant predicate. On the basis of this, maximally permissive state feedback logic can be characterized and systematically synthesized.