Abstract
The paper focuses on the Generalized Mutual Exclusion Constraints (GMECs) problem in the Network of Timed Event Graphs (NTEGs). A new formal method for state feedback control using Min-Plus algebra formalisms is proposed. For this purpose, the dynamic behavior of the NTEGs and GMECs are respectively described by linear equations and weighted inequalities in Min-Plus algebra. Based on these mathematical tools, control laws are computed to satisfy the constraints that are imposed on the NTEGs in case sufficient conditions are verified. The established controllers are represented by monitor places which supervise the system to ensure all GMECs. Finally, a case study of an AGV network is carried out to illustrate theoretical results and demonstrate the efficiency of developed approaches.
Sign-in/Register to access full text options 
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
