Formal modeling and control of cyber-physical manufacturing systems

Advances in Mechanical Engineering

Volumn 9, Issue 10, 2017, Pages

  Yu, Zhenhua ^a   Ouyang, Jie ^a   Li, Sisi ^b   Peng, Xia ^c  

^a AIR FORCE ENGINEERING UNIVERSITY   (China)

^b MERCY COLLEGE   (United States)

^c XI AN INSTITUTE OF APPLIED OPTICS   (China)

Author keywords

bifurcation control; cyber attack; cyber physical systems; Manufacturing systems; Petri net

Indexed keywords

EID: 85033496460     PISSN: 16878132     EISSN: 16878140     Source Type: Journal    
DOI: 10.1177/1687814017725472     Document Type: Article

References (49)

1. National Science Foundation of the United States. Cyber-physical system (CPS) program solicitation, http://www.nsf.gov/pubs/2010/nsf10515/nsf10515.htm
2. Lee EA, Seshia SA.Introduction to embedded systems—a cyber-physical systems approach, 2011, http://leeseshia.org/
3. Song Z, Sastry CR, Chen Y.Optimal observation for cyber-physical systems: a fisher-information-matrix-based approach. London: Springer, 2009.
4. Marwedel P.Embedded systems foundations of cyber-physical systems. Dordrecht: Springer, 2011.
5. Jiang Z, Pajic M, Mangharam R. Cyber-physical modeling of implantable cardiac medical devices. Proc IEEE 2012; 100: 122–137.
6. Al-Hammouri A, Liberatore V, Al-Omari H. A co-simulation platform for actuator networks. In: Proceedings of the 5th international conference on embedded networked sensor systems, Sydney, NSW, Australia, 6–9 November 2007, pp.383–384. New York: ACM.
7. Wu D, Rosen DW, Wang L. Cloud-based design and manufacturing: a new paradigm in digital manufacturing and design innovation. Comput Aided Design 2015; 59: 1–14.
8. Monostori L, Kadar B, Bauernhansl T. Cyber-physical systems in manufacturing. CIRP Ann: Manuf Techn 2016; 65: 621–641.
9. Wang L, Torngren M, Onori M. Current status and advancement of cyber-physical systems in manufacturing. J Manuf Syst 2015; 37: 517–527.
10. Liu C, Jiang P. A cyber-physical system architecture in shop floor for intelligent manufacturing. Proc CIRP 2016; 56: 372–377.
11. Babiceanua RF, Seker R. Big data and virtualization for manufacturing cyber-physical systems: a survey of the current status and future outlook. Comput Ind 2016; 81: 128–137.
12. Wells LJ, Camelio JA, Williams CB. Cyber-physical security challenges in manufacturing systems. Manuf Lett 2014; 2: 74–77.
13. Cortes LA, Eles P, Peng Z. Modeling and formal verification of embedded systems based on a Petri net representation. J Syst Architect 2003; 49: 571–598.
14. Lee I, Sokolsky O, Chen S. Challenges and research directions in medical cyber-physical systems. Proc IEEE 2012; 100: 75–90.
15. Li ZW, Zhou MC, Wu NQ. A survey and comparison of Petri net-based deadlock prevention policies for flexible manufacturing systems. IEEE T Syst Man Cy C 2008; 38: 173–188.
16. Tong Y, Li ZW, Seatzu C. Verification of state-based opacity using Petri nets. IEEE T Automat Contr 2017; 62: 2823–2837.
17. Chen YF, Li ZW, Al-Ahmari A. Deadlock recovery for flexible manufacturing systems modeled with Petri nets. Inform Sciences 2017; 381: 290–303.
18. Tiwari A. Formal verification of transportation cyber physical systems. In: Proceedings of national workshop for research on high-confidence transportation cyber-physical systems in automotive, aviation, and rail cyber-physical systems, Washington, DC, 18–20 November 2008. National Science Foundation.
19. Li ZW, Zhao M. On controllability of dependent siphons for deadlock prevention in generalized Petri nets. IEEE T Syst Man Cy A 2008; 38: 369–384.
20. Uzam M, Li ZW, Gelen G. A divide-and-conquer-method for the synthesis of liveness enforcing supervisors for flexible manufacturing systems. J Intell Manuf 2016; 27: 1111–1129.
21. Poovendran R, Sampigethaya K, Gupta SKS. Special issue on cyber-physical systems. Proc IEEE 2012; 100: 6–12.
22. The CPS Steering Group. Cyber-physical systems executive summary, 2008, http://iccps.acm.org/2011/_doc/CPS-Executive-Summary.pdf
23. Susuki Y, Koo TJ, Ebina H. A hybrid system approach to the analysis and design of power grid dynamic performance. Proc IEEE 2012; 100: 225–239.
24. Sztipanovits J, Koutsoukos X, Karsai G. Toward a science of cyber-physical system integration. Proc IEEE 2012; 100: 29–44.
25. National workshop for research on high-confidence transportation cyber-physical systems in automotive, aviation, and rail, 2009, http://www.ee.washington.edu/research/nsl/aar-cps
26. Esmaeilian B, Behdad S, Wang B. The evolution and future of manufacturing: a review. J Manuf Syst 2016; 39: 79–100.
27. Lee J, Bagheri B, Kao H. A cyber-physical systems architecture for industry 4.0-based manufacturing systems. Manuf Lett 2015; 3: 18–23.
28. Lee J, Bagheri B, Jin C. Introduction to cyber manufacturing. Manuf Lett 2016; 8: 11–15.
29. Song ZT, Sun YM, Wan JF. Data quality management for service-oriented manufacturing cyber-physical systems. Comput Electr Eng. Epub ahead of print 23 August 2016. DOI: 10.1016/j.compeleceng.2016.08.010.
30. Bruce RA, McMillin M. Model-checking BNDC properties in cyber-physical systems. In: Proceedings of the 33rd annual IEEE international computer software and applications conference, Seattle, WA, 20–24 July 2009, pp.660–663. New York: IEEE.
31. Platzer A. Verification of cyber physical transportation Systems. IEEE Intell Syst 2009; 24: 10–13.
32. Hunt WA. Modeling and verification of cyber-physical systems, 2009, https://www.researchgate.net/publication/242676973_Modeling_Verication_of_Cyber-Physical_Systems
33. Bujorianu MC, Barringer H. An integrated specification logic for cyber-physical systems. In: Proceedings of the 14th IEEE international conference on engineering of complex computer systems, Potsdam, 2–4 June 2009, pp.291–300. New York: IEEE.
34. Thacker RA, Jones KR, Myers CJ. Automatic abstraction for verification of cyber-physical systems. In: Proceedings of the international conference on cyber-physical systems, Stockholm, 13–15 April 2010, pp.12–21. New York: ACM.
35. DeSmit Z, Elhabashy AE, Wells LJ. Cyber-physical vulnerability assessment in manufacturing systems. Procedia Manuf 2016; 5: 1060–1074.
36. Vincent H, Wells L, Tarazaga P. Trojan detection and side-channel analyses for cyber-security in cyber-physical manufacturing systems. Procedia Manuf 2015; 1: 77–85.
37. Sanislav T, Mois G, Miclea L. An approach to model dependability of cyber-physical systems. Microprocess Microsy 2016; 41: 67–76.
38. Li ZW, Liu GY, Hanisch MH. Deadlock prevention based on structure reuse of Petri net supervisors for flexible manufacturing systems. IEEE T Syst Man Cy A 2012; 42: 178–191.
39. Chen YF, Li ZW, Barkaoui K. New Petri net structure and its application to optimal supervisory control: interval inhibitor arcs. IEEE T Syst Man Cy: S 2014; 44: 1384–1400.
40. Chen YF, Li ZW, Barkaoui K. Compact supervisory control of discrete event systems by Petri nets with data inhibitor arcs. IEEE T Syst Man Cy: S 2017; 47: 364–379.
41. Li ZW, Zhou MC. Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems. IEEE T Syst Man Cy: S 2004; 34: 38–51.
42. Li ZW, Zhou MC. Control of elementary and dependent siphons in Petri nets and their application. IEEE T Syst Man Cy A 2008; 38: 133–148.
43. Miyamoto T, Kumagai S. A survey of object-oriented Petri nets and analysis methods. IEICE T Fund Electr 2005; E88-A: 2964–2971.
44. Yu ZH, Guo F, Ouyang J. Object-oriented Petri nets and π-calculus-based modeling and analysis of reconfigurable manufacturing systems. Adv Manuf Syst 2016; 8: 1–11.
45. Leitao P, Karnouskos S, Ribeiro L. Smart agents in industrial cyber-physical systems. Proc IEEE 2016; 104: 1086–1101.
46. Chen GR, Moiola JL, Wang HO. Bifurcation control: theories, methods, and applications. Int J Bifurcat Chaos 2000; 10: 511–548.
47. Wierman JC, Marchette DJ. Modeling computer virus prevalence with a susceptible-infected-susceptible model with reintroduction. Comput Stat Data An 2004; 45: 3–23.
48. D’Onofrio A, Manfredi P. Bifurcation thresholds in an SIR model with information dependent vaccination. Math Model Nat Pheno 2010; 2: 26–43.
49. Buonomo B, D’Onofrio A, Lacitignola D. Global stability of a SIR epidemic model with information dependent vaccination. Math Biosci 2008; 216: 9–16.