Journal of Korean Society for Quality Management (품질경영학회지)

Korean Society for Quality Management (한국품질경영학회)
권호 표지
DOI QR코드

DOI QR Code

Effective Simulation Modeling Formalism for Autonomous Control Systems

자율제어시스템의 효과적인 시뮬레이션 모델링 형식론

  • Chang, Dae Soon (Department of Industrial Engineering, Ajou University) ;
  • Cho, Kang H (Department of Industrial Engineering, Ajou University) ;
  • Cheon, Sanguk (Department of Integrative Systems Engineering, Ajou University) ;
  • Lee, Sang Jin (S Department, Agency of Defense Development) ;
  • Park, SangChul (Department of Industrial Engineering, Ajou University)
  • Received : 2018.11.12
  • Accepted : 2018.11.22
  • Published : 2018.12.30
Download PDF
⟨ Previous Next ⟩

Abstract

Purpose: The purpose of this study is to develop an effective simulation modeling formalism for autonomous control systems, such as unmanned aerial vehicles and unmanned surface vehicles. The proposed simulation modeling formalism can be used to evaluate the quality and effectiveness of autonomous control systems. Methods: The proposed simulation modeling formalism is developed by extending the classic DEVS (Discrete Event Systems Specifications) formalism. The main advantages of the classic DEVS formalism includes its rigorous formal definition as well as its support for the specification of discrete event models in a hierarchical and modular manner. Results: Although the classic DEVS formalism has been a popular modeling tool, it has limitations in describing an autonomous control system which needs to make decisions by its own. As a result, we proposed an extended DEVS formalism which enables the effective description of internal decisions according to its conditional variables. Conclusion: The extended DEVS formalism overcomes the limitations of the classic DEVS formalism, and it can be used for the effectiveness simulation of autonomous weapon systems.

Keywords

PJGOB9_2018_v46n4_973_f0001.png 이미지

Figure 1. Autonomous control systems in future combat system

PJGOB9_2018_v46n4_973_f0002.png 이미지

Figure 2. DEVS model structure

PJGOB9_2018_v46n4_973_f0003.png 이미지

Figure 3. Limitations of classic DEVS formalism

PJGOB9_2018_v46n4_973_f0004.png 이미지

Figure 4. C-DEVS model for an unmanned surface vehicle

PJGOB9_2018_v46n4_973_f0005.png 이미지

Figure 5. Maneuvering simulation of an unmanned surface vehicle

References

  1. Barros, FJ., 1997, Modeling formalisms for dynamic structure system. ACM Transactions on Modeling and Computer Simulation; 7(4):501-515 https://doi.org/10.1145/268403.268423
  2. Bergero, F., and E. Kofman, 2014, A Vectorial DEVS Extension for Large Scale System Modeling and Parallel Simulation. Simulation 90(5):522-546. 2014. https://doi.org/10.1177/0037549714529833
  3. Castro, R., Kofman, E. and Wainer, G., 2010, A formal framework for stochastic discrete event system specification modeling and simulation. Simulation; 86(10):587-611 https://doi.org/10.1177/0037549709104482
  4. Choi, BK. and Kang, DH., 2013, Modeling and simulation of discrete event systems, Wiley
  5. Ham, WK., Kwon, Y. and Park, SC., 2014, Combat simulation framework including continuous detection system. International Journal of Simulation Modelling; 13(4):395-408. https://doi.org/10.2507/IJSIMM13(4)1.262
  6. Hong, JS., Song, HS., Kim, TG. and Park, KH., 1997, A real-time discrete event system specification formalism for seamless real-time software development. Discrete Event Dynamic Systems; 7(4):355-375 https://doi.org/10.1023/A:1008262409521
  7. Jung, IH., Seo, SW., and Jang, BK. 2017. A case study on the quality control strengthening in development phase of weapon systems. Journal of Korean Society for Quality Management 45(3):349-364. https://doi.org/10.7469/JKSQM.2017.45.3.349
  8. Kang, JH, Lee, SJ., Cha, JH., Yoo, SJ., Lee, HK., Lee, K., Kim, TW., and Ko, YS. 2005. A simulation for the analysis of the evasive capability of submarine against a torpedo using DEVS modeling, Journal of the Korea Society for Simulation, 14(2):57-71.
  9. Keane, JF, Lutz RR, Myers SE, and Coolahan JE, 2000, An architecture for simulation based acquisition. Johns Hopkins APL Technical Digest; 21(3):348-358.
  10. Kim, TG. 1994. DEVSIM++ User's Manual, Department of Electrical Engineering, KAIST, Korea.
  11. Kim, YW., and Park SC, 2015, Study on radar detection probability change considering environmental attenuation factor, Journal of the Korea Society for Simulation, 24(4):23-28 https://doi.org/10.9709/JKSS.2015.24.4.023
  12. Kwon, H., Park, S,. Jung, and T. Kim, 1996, Fuzzy-DEVS formalism: concepts, realization and applications. in Proceedings AIS, 227-234.
  13. Lee, J., Kim C., Park, K., Kim, J., Sin, S., Pyun, J., and Bae, S. 2014. A study of experimental design for unmanned ground vehicle effectiveness based on a small unit combat scenario. Journal of Korean Society for Quality Management 42(4):591-606. https://doi.org/10.7469/JKSQM.2014.42.4.591
  14. Park, SC., Ahn, E., Kwon, Y., 2013, Automated methodology for scenario generation and its feasibility testing. International Journal of Industrial Engineering; 30(3-4):252-261.
  15. Park, SC. and Seong, KY., 2010, A synthetic environment based engagement simulation model, Korean Journal of Computational Design and Engineering, 15(4):271-278.
  16. Park, SC. and Chang, MH., 2012, Hardware-in-the-loop simulation for a production system. International Journal of Production Research; 50(8):2321-2330. https://doi.org/10.1080/00207543.2011.575097
  17. Yang, KR., Hwam, YK., and Park, SC., 2013, Environmental data management and supply plan for building synthetic battlefield environment of air combat simulation, Journal of the Korea Society for Simulation, 22(3):7-14 https://doi.org/10.9709/JKSS.2013.22.3.007
  18. Zeigler, BP., 1984, Multifacetted modeling and discrete event simulation, Academic Press, Orland.