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 time Petri nets. We introduce a kind of invariance for predicates and propose a fixpoint algorithm for computing the extremal invariant predicate. On the basis of this, maximally permissive state feedback logic can be characterized and systematically synthesized
CITATION STYLE
Chen Haoxun, & Li Huifeng. (2002). Maximally permissive state feedback logic for controlled time Petri nets (pp. 2359–2363 vol.4). Institute of Electrical and Electronics Engineers (IEEE). https://doi.org/10.1109/acc.1997.609097
Mendeley helps you to discover research relevant for your work.