Timed-MPSG: A formal model for real-time shop floor controller

CIMCA 2006: International Conference on Computational Intelligence for Modelling, Control and Automation, Jointly with IAWTIC 2006: International Conference on Intelligent Agents Web Technologies ...

Volumn , Issue , 2006, Pages

  Thapa, Devinder ^a   Park, Jaeil ^a   Wang, Gi Nam ^a   Shin, Dongmin ^b  

^a Ajou University   (South Korea)

^b Hanyang University   (South Korea)

Author keywords

Finite state automata; FMS; MPSG; Shop floor control; Verification and Validation (V V)

Indexed keywords

FINITE AUTOMATA; FORMAL METHODS; HIERARCHICAL SYSTEMS; MATHEMATICAL MODELS; REAL TIME SYSTEMS;

FORMAL MODELS; MESSAGE-BASED PART STATE GRAPH; SHOP FLOOR CONTROL;

CONTROL EQUIPMENT;

EID: 38849150489     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CIMCA.2006.219     Document Type: Conference Paper

References (18)

1. J. S.Smith, S.B.Joshi and R. G. Quis,"Message-based Part State Graphs(MPSG):a formal model for shop-floor control implementation",Int. J. Prod. Res., 2003,Vol. 41,No.8,1739-1764.
2. Y. J. Son, R. Wysk, and A. T. Jones,"Simulation-based shop floor control: formal model, model generation and control interface",IIE Transactions 35, pp 29-48, 2003.
3. D. Brand and P. Safiropulo," On Communicating Finite-State Machines ",Journal of the association for computing machinery, Vol. 30, No. 2, April 1983, pp 323-342.
4. J. S Smith, W. C Hoberecht. S. B. Joshi,.,"A Shop floor control architecture for computer integrated manufacturing", HE Transactions, Vol. 28 (10), pp. 783-794, October 1, 1996.
5. R. Alur and D. L. Dill," A theory of timed automata", Theoretical Computer Science, 126(2): 183-235, 1994.
6. Zeigler, Praehofer, and Kim,"Theory of Modeling and Simulation", Academic Press, 2000.
7. D. Shin, R. Wysk, and L. Rothrock,"An Investigation of a Human Material Handler on Part Flow in Automated Manufacturing Systems",IEEE Trans. SMC, Vol. 36, 2006.
8. T. W. Parsons, "Introduction to compiler construction", Hofstra University, NewYork, 1992.
9. The International Electrotecnical Committee, "IEC 61131-3, Programmable controllers, Programming Languages," March 1993.
10. Clarke, Grunberg, and Peled, "Model Checking," The MIT Press Cambridge, England, 1999.
11. R. Huuk," Software Verification for Programmable Logic Controllers," PhD Thesis, Kiel, 2003.
12. Y. Koren et al.,"Reconflgurable Manufacturing Systems,CIRP Annals, Vol. 48/2/1999.
13. D. Thapa, S. Dangol, C. M. Park, G. N. Wang," Verification of PLC Program using a Generic Intermediate Language (IML)", Proceedings of the ICSCA, pp. 2956, 2006.
14. S. Dangol, D. Thapa, K. H. Cho, C. M. Park, G. N. Wang," An Integrated Framework for Verification of IEC Standard Programmable Logic Controllers", Proceedings of the ICSCA, pp. 3060, 2006.
15. H.X.Williams,"Compact Timed Automata for PLC Programs", Koninklijke Philips Electronics N.V. 1999.
16. D. Thapa, S. Dangol, C. M. Park and G. N. Wang," Software based Verification & Validation of IEC Standard Programmable Logic Controller", Accepted for International e-Conference on Computer Science, 2006.
17. T. Murata,"Petri Nets: Properties, Analysis and Applicaiotns", Proceedings of the Proc. IEEE, Vol. 77No.4,r. 1989., pp. 541-*580
18. H. Dierks,"PLC-automata: a new class of implementable real-time automata", Theoretical Computer Science, Volume 253, Issue 1, Pages: 61 -93, 2001.