자율제어시스템의 효과적인 시뮬레이션 모델링 형식론
Effective Simulation Modeling Formalism for Autonomous Control Systems
1
조회
0
다운로드
2
인용
0
참고문헌
키워드
초록
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.
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.
참고문헌 (18)
- Barros, FJ., "Modeling formalisms for dynamic structure system", ACM Transactions on Modeling and Computer Simulation, 7(4), pp.501~515 (1997)
- Bergero, F., "A Vectorial DEVS Extension for Large Scale System Modeling and Parallel Simulation", Simulation, 90(5), pp.522~546 (2014)
- Castro, R., "A formal framework for stochastic discrete event system specification modeling and simulation", Simulation, 86(10), pp.587~611 (2010)
- Choi, BK., "Modeling and simulation of discrete event systems" (2013), Wiley
- Ham, WK., "Combat simulation framework including continuous detection system", International Journal of Simulation Modelling, 13(4), pp.395~408 (2014)
- Hong, JS., "A real-time discrete event system specification formalism for seamless real-time software development", Discrete Event Dynamic Systems, 7(4), pp.355~375 (1997)
- 정일호, "무기체계 개발단계 품질관리 강화에 관한 사례 연구", 품질경영학회지, 45(3), pp.349~364 (2017), 한국품질경영학회[DOI]
- 강정호, "DEVS 기반 모델링을 적용한 잠수함의 어뢰회피 성능 분석 시뮬레이션", 한국시뮬레이션학회 논문지, 14(2), pp.57~71 (2005), 한국시뮬레이션학회
- Keane, JF, "An architecture for simulation based acquisition", Johns Hopkins APL Technical Digest, 21(3), pp.348~358 (2000)
- Kim, TG, "DEVSIM++ User’s Manual", Department of Electrical Engineering, KAIST, ~ (1994)
- 김영웅, "환경감쇠인자를 고려한 레이더 탐지 확률 변화에 관한 연구", 한국시뮬레이션학회 논문지, 24(4), pp.23~28 (2015), 한국시뮬레이션학회
- Kwon, H., "Fuzzy-DEVS formalism: concepts, realization and applications", Proceedings AIS, pp.227~234 (1996)
- 이재영, "소부대 전투시나리오 기반의 UGV 효과분석 실험방안 연구", 품질경영학회지, 42(4), pp.591~606 (2014), 한국품질경영학회[DOI]
- Park, SC., "Automated methodology for scenario generation and its feasibility testing", International Journal of Industrial Engineering, 30(3-4), pp.252~261 (2013)
- 박상철, "합성환경 기반 교전모의", 한국CDE학회 논문집, 15(4), pp.271~278 (2010), 한국CDE학회
- Park, SC., "Hardware-in-the-loop simulation for a production system", International Journal of Production Research, 50(8), pp.2321~2330 (2012)
- 양가람, "항공 전투 시뮬레이션의 합성전장환경 구축을 위한 환경 데이터 관리 및 공급 방안", 한국시뮬레이션학회 논문지, 22(3), pp.7~14 (2013), 한국시뮬레이션학회
- Zeigler, BP., "Multifacetted modeling and discrete event simulation" (1984), Academic Press