Fuzzy discrete event supervisory control capable of temporal reasoning in urban traffic management

Supervisory Control of Fuzzy Discrete-Event Systems for Simulation Equivalence

“…(31) For convenience, we denote the left-hand side and the right-hand side of the above inequality as A(q)(r)(p) and B(q)(r)(p), respectively. On the other hand, by G3 ⊆ φ1 G1 and G3 ⊆ φ2 G2 , ∀q ∈ min{σ 1 (q)(q * ), φT 1 (q * )(p)}, (32) and ∀r ∈ Suppose when q * = q 0 and r * = r 0 , the right-hand side of Equations ( 32) and ( 33 min{ φT 1 (q)(p * ), σ3 (p * )(p)} ≤ min{σ 1 (q)(q 0 ), φT 1 (q 0 )(p)}, (34) and ∀r ∈…”

“…Jayasiri established modular supervisory control and hierarchical supervisory control theory of FDESs in [26], and generalized the decentralized control theory of FDESs in [27]. Moreover, FDESs have been applied to practical problem in many areas, such as decision making [28], clinical treatment planning [29], HIV/AIDS treatment regimen selection [30], [31], traffic management [32] and mobile robot navigation [33], [34], [35], [36], etc. Notably, FDES-based method for mobile robot navigation was compared with several different methods (including DES-based method, arbitration method, unmodulated method, etc.)…”

Bi-Fuzzy Discrete Event Systems and Their Supervisory Control Theory

“…Recently, Jayasiri established modular and hierarchical supervisory control theory of FDESs in [10], and generalized the decentralized control theory of FDESs in [11]. Moreover, FDESs have been applied to practical problems in many areas, such as decision making [12], disease treatment supporting [13][14][15], robotic control [17][18], and traffic management [19], etc.…”