A Merging Method for Siphon-Based FMS Maximally Permissive Control with Simple Structures

Article Preview

Abstract:

It has been a hot race to design optimal controllers to be maximally permissive with fewest monitors in the shortest amount of time. Recent maximally permissive deadlock prevention controls for S3PR (Systems of Simple Sequential Processes with Resources) reduce the computation burden by considering only a small portion of all forbidding markings and employs much fewer monitors by a linear integer programming method. However, it still requires costly reachability analysis. This paper proposes a method (the first of its kind) to merge several monitors into a single one while not losing states. It achieves the same best results in the literature while avoiding the time-consuming reachability analysis which does not scale well with the size of the nets.

You might also be interested in these eBooks

Info:

Periodical:

Advanced Materials Research (Volumes 605-607)

Pages:

1819-1822

Citation:

Online since:

December 2012

Export:

Price:

Permissions CCC:

Permissions PLS:

Сopyright:

© 2013 Trans Tech Publications Ltd. All Rights Reserved

Share:

Citation:

[1] M. Uzam: Int. J. Adv. Manuf. Technol. Vol. 19 (2002), pp.192-208

Google Scholar

[2] D. Y. Chao: IEEE Trans. on Autom. Sci. Eng. Vol. 8 (2011), pp.404-411

Google Scholar

[3] L. Piroddi, R. Cordone, and I. Fumagalli: IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, Vol. 38 (2008) pp.1337-1348

DOI: 10.1109/tsmca.2008.2003535

Google Scholar

[4] Y. S. Huang, Y. L. Pan, and M. C. Zhou: IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, Vol. 42 (2012) pp.404-415

Google Scholar

[5] Y. F. Chen, Z. W. Li, and M. C. Zhou: IEEE Trans. Syst. Man. Cybern. Part A Syst. Humans, Vol. 42 (2012), pp.615-629

Google Scholar

[6] Y. Y. Shih and D. Y. Chao: Comput. J., Vol. 53 (2012), pp.1691-1703

Google Scholar

[7] G.T. Murata: Proc. IEEE Vol. 77 (1989), pp.541-580

Google Scholar

[8] J. Ezpeleta, J. M. Colom, and J. Martinez: IEEE Trans. Robot. Autom, Vol. 11 (1995) pp.173-184

Google Scholar

[9] M. Uzam and M. C. Zhou: IEEE Trans. Syst. Man. Cybern. Part A Syst. Humans,, Vol. 37 (2007), pp.362-371

DOI: 10.1109/tsmca.2007.893484

Google Scholar