Browse > Article
http://dx.doi.org/10.7469/JKSQM.2018.46.4.973

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)
Publication Information
Journal of Korean Society for Quality Management / v.46, no.4, 2018 , pp. 973-982 More about this Journal
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
Autonomous Control System; Simulation Modeling Formalism; DEVS Formalism;
Citations & Related Records
Times Cited By KSCI : 1  (Citation Analysis)
연도 인용수 순위
1 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.   DOI
2 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.
3 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.
4 Kim, TG. 1994. DEVSIM++ User's Manual, Department of Electrical Engineering, KAIST, Korea.
5 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   DOI
6 Kwon, H., Park, S,. Jung, and T. Kim, 1996, Fuzzy-DEVS formalism: concepts, realization and applications. in Proceedings AIS, 227-234.
7 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.   DOI
8 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.
9 Park, SC. and Seong, KY., 2010, A synthetic environment based engagement simulation model, Korean Journal of Computational Design and Engineering, 15(4):271-278.
10 Park, SC. and Chang, MH., 2012, Hardware-in-the-loop simulation for a production system. International Journal of Production Research; 50(8):2321-2330.   DOI
11 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   DOI
12 Zeigler, BP., 1984, Multifacetted modeling and discrete event simulation, Academic Press, Orland.
13 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   DOI
14 Barros, FJ., 1997, Modeling formalisms for dynamic structure system. ACM Transactions on Modeling and Computer Simulation; 7(4):501-515   DOI
15 Bergero, F., and E. Kofman, 2014, A Vectorial DEVS Extension for Large Scale System Modeling and Parallel Simulation. Simulation 90(5):522-546. 2014.   DOI
16 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   DOI
17 Choi, BK. and Kang, DH., 2013, Modeling and simulation of discrete event systems, Wiley
18 Ham, WK., Kwon, Y. and Park, SC., 2014, Combat simulation framework including continuous detection system. International Journal of Simulation Modelling; 13(4):395-408.   DOI