Abstract

This paper presents a new basic model based on automatons for the state feedback control of discrete event systems (DES), including (repeated) concurrent DES. So, this new model unifies the Ramadge-Wonham framework and the controlled Petri nets, with or without concurrency or repeated concurrency. The repeated concurrent model under Ramadge-Wonham framework is first presented here. We study relationships between the concurrent models and the basic model. Based on this, we show that the uniqueness of the maximal permissive state feedback (PSF) of a predicate $P$ is equivalent to the weak interaction of $P$, which is also equivalent to that the set of PSF is closed under a disjunction. These results are also true for the concurrent systems, but the weak interaction may be difficult to be verified. Hence, we try to simplify the weak interaction by introducing concepts of cover, transitivity and local concurrently well-posedness (CWP). We show that the local CWP can ensure that the set of PSF for the concurrent systems equals that for the basic system.

Full Text
Published version (Free)

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 call