The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
A Critical-Siphon Approach to Fastest Deadlock Controller for S3PR
Abstract
The authors developed a theory to show that exactly one monitor is required for the set of siphons in the family of 2-compound siphons and how to assign its initial markings. This avoids redundant monitors and the unnecessary associated computational burden. Neither reachability graph nor minimal siphon needs to be computed to achieve polynomial complexity—essential for large systems. This chapter redevelops the theory more formally and further applies this approach to two well-known S3PR to obtain a controller full or near maximally permissive, where Weighted Control (WC) arcs are nevertheless necessary to keep the controlled model maximally permissive. However, optimal control for siphons involving WC arcs are still under research. As many as possible for simpler structures are desired to reduce WC arcs. In addition, fast computation is important for dynamic reconfiguration situations. The authors develop a single theorem to identify the condition where WC places cannot be replaced by Ordinary Control (OC) arcs, while others can be replaced.
Related Content
Sandhya Avasthi, Tanushree Sanwal, Shivani Sharma, Shweta Roy.
© 2023.
23 pages.
|
Subha Karumban, Shouvik Sanyal, Madan Mohan Laddunuri, Vijayan Dhanasingh Sivalinga, Vidhya Shanmugam, Vijay Bose, Mahesh B. N., Ramakrishna Narasimhaiah, Dhanabalan Thangam, Satheesh Pandian Murugan.
© 2023.
17 pages.
|
Aditya Saxena, Devansh Chauhan, Shilpi Sharma.
© 2023.
26 pages.
|
Eduardo José Villegas-Jaramillo, Mauricio Orozco-Alzate.
© 2023.
33 pages.
|
Revathi A., Poonguzhali S..
© 2023.
18 pages.
|
Indu Malik, Anurag Singh Baghel.
© 2023.
18 pages.
|
Shanu Sharma, Tushar Chand Kapoor, Misha Kakkar, Rishi Kumar.
© 2023.
24 pages.
|
|
|