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
Tanima Sahoo, Arijit Mondal, Piyal Roy, Amitava Podder.
© 2024.
20 pages.
|
Hüseyin Fatih Çetinkaya, Ali Fazıl Yenidünya, Serap Çetinkaya, Burak Tüzün.
© 2024.
15 pages.
|
Digvijay Pandey, Vinay Kumar Nassa, Binay Kumar Pandey, Blessy Thankachan, Pankaj Dadheech, Darshan A Mahajan, A. Shaji George.
© 2024.
22 pages.
|
Loutfy H. Madkour.
© 2024.
38 pages.
|
Loutfy H. Madkour.
© 2024.
50 pages.
|
Rita Komalasari.
© 2024.
25 pages.
|
Aakifa Shahul, Balakumar Muniandi, Mukundan Appadurai Paramashivan, Digvijay Pandey, Binay Kumar Pandey, Pankaj Dadheech, Hovan George.
© 2024.
14 pages.
|
|
|