Development of air combat HDEVS model implemented in HDEVSim++ environment

Jun Hee Lee; Seon Han Choi; Ho Dong Yoo; Jung Koo; Tag Gon Kim

Development of air combat HDEVS model implemented in HDEVSim++ environment

Jun Hee Lee, Seon Han Choi, Ho Dong Yoo, Jung Koo, Tag Gon Kim

Electronic and Electrical Engineering

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

Being a mixture of discrete event and continuous time models, a hybrid model represents real-world dynamic systems in more realistic manner. Hybrid discrete event systems specification (HDEVS) formalism specifies a hybrid model in a modular, hierarchical form that employs discrete event systems specification (DEVS) formalism, differential equation formalism, and a formal interface. The HDEVSim++ environment implements the HDEVS formalism and an associate hybrid simulation algorithm in C++. This paper describes the development of an air combat hybrid model using the HDEVS formalism, which is implemented in the HDEVSim++ environment. The model contains a collection of fighter models, each of which consists of discrete event models for pilots and continuous models for flights. The simulation process is visualized using SIMDIS to verify and validate the trajectories for interactions between fighters, which are controlled by pilots' tactical decisions. Simulation performance is measured in execution time as the number of fighters varies.

Original language	English
Title of host publication	Simulation Series
Editors	Andrea D'Ambrogio, Eugene Syriani
Publisher	The Society for Modeling and Simulation International
Pages	145-156
Number of pages	12
Edition	9
ISBN (Electronic)	9781510838284
State	Published - 2017
Event	49th Summer Computer Simulation Conference, SCSC 2017, Part of the 2017 Summer Simulation Multi-Conference, SummerSim 2017 - Bellevue, United States Duration: 9 Jul 2017 → 12 Jul 2017

Publication series

Name	Simulation Series
Number	9
Volume	49
ISSN (Print)	0735-9276

Conference

Conference	49th Summer Computer Simulation Conference, SCSC 2017, Part of the 2017 Summer Simulation Multi-Conference, SummerSim 2017
Country/Territory	United States
City	Bellevue
Period	9/07/17 → 12/07/17

Bibliographical note

Publisher Copyright:
© 2017 Society for Modeling & Simulation International (SCS).

Keywords

Air combat
HDEVS
HDEVSim++
Hybrid system

Cite this

@inproceedings{9215ce40f85d4fcc951689cb1636d4ae,

title = "Development of air combat HDEVS model implemented in HDEVSim++ environment",

abstract = "Being a mixture of discrete event and continuous time models, a hybrid model represents real-world dynamic systems in more realistic manner. Hybrid discrete event systems specification (HDEVS) formalism specifies a hybrid model in a modular, hierarchical form that employs discrete event systems specification (DEVS) formalism, differential equation formalism, and a formal interface. The HDEVSim++ environment implements the HDEVS formalism and an associate hybrid simulation algorithm in C++. This paper describes the development of an air combat hybrid model using the HDEVS formalism, which is implemented in the HDEVSim++ environment. The model contains a collection of fighter models, each of which consists of discrete event models for pilots and continuous models for flights. The simulation process is visualized using SIMDIS to verify and validate the trajectories for interactions between fighters, which are controlled by pilots' tactical decisions. Simulation performance is measured in execution time as the number of fighters varies.",

keywords = "Air combat, HDEVS, HDEVSim++, Hybrid system",

author = "Lee, {Jun Hee} and Choi, {Seon Han} and Yoo, {Ho Dong} and Jung Koo and Kim, {Tag Gon}",

note = "Publisher Copyright: {\textcopyright} 2017 Society for Modeling & Simulation International (SCS).; 49th Summer Computer Simulation Conference, SCSC 2017, Part of the 2017 Summer Simulation Multi-Conference, SummerSim 2017 ; Conference date: 09-07-2017 Through 12-07-2017",

year = "2017",

language = "English",

series = "Simulation Series",

publisher = "The Society for Modeling and Simulation International",

number = "9",

pages = "145--156",

editor = "Andrea D'Ambrogio and Eugene Syriani",

booktitle = "Simulation Series",

edition = "9",

}

Lee, JH, Choi, SH, Yoo, HD, Koo, J & Kim, TG 2017, Development of air combat HDEVS model implemented in HDEVSim++ environment. in A D'Ambrogio & E Syriani (eds), Simulation Series. 9 edn, Simulation Series, no. 9, vol. 49, The Society for Modeling and Simulation International, pp. 145-156, 49th Summer Computer Simulation Conference, SCSC 2017, Part of the 2017 Summer Simulation Multi-Conference, SummerSim 2017, Bellevue, United States, 9/07/17.

Development of air combat HDEVS model implemented in HDEVSim++ environment. / Lee, Jun Hee; Choi, Seon Han; Yoo, Ho Dong et al.
Simulation Series. ed. / Andrea D'Ambrogio; Eugene Syriani. 9. ed. The Society for Modeling and Simulation International, 2017. p. 145-156 (Simulation Series; Vol. 49, No. 9).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Development of air combat HDEVS model implemented in HDEVSim++ environment

AU - Lee, Jun Hee

AU - Choi, Seon Han

AU - Yoo, Ho Dong

AU - Koo, Jung

AU - Kim, Tag Gon

PY - 2017

Y1 - 2017

N2 - Being a mixture of discrete event and continuous time models, a hybrid model represents real-world dynamic systems in more realistic manner. Hybrid discrete event systems specification (HDEVS) formalism specifies a hybrid model in a modular, hierarchical form that employs discrete event systems specification (DEVS) formalism, differential equation formalism, and a formal interface. The HDEVSim++ environment implements the HDEVS formalism and an associate hybrid simulation algorithm in C++. This paper describes the development of an air combat hybrid model using the HDEVS formalism, which is implemented in the HDEVSim++ environment. The model contains a collection of fighter models, each of which consists of discrete event models for pilots and continuous models for flights. The simulation process is visualized using SIMDIS to verify and validate the trajectories for interactions between fighters, which are controlled by pilots' tactical decisions. Simulation performance is measured in execution time as the number of fighters varies.

AB - Being a mixture of discrete event and continuous time models, a hybrid model represents real-world dynamic systems in more realistic manner. Hybrid discrete event systems specification (HDEVS) formalism specifies a hybrid model in a modular, hierarchical form that employs discrete event systems specification (DEVS) formalism, differential equation formalism, and a formal interface. The HDEVSim++ environment implements the HDEVS formalism and an associate hybrid simulation algorithm in C++. This paper describes the development of an air combat hybrid model using the HDEVS formalism, which is implemented in the HDEVSim++ environment. The model contains a collection of fighter models, each of which consists of discrete event models for pilots and continuous models for flights. The simulation process is visualized using SIMDIS to verify and validate the trajectories for interactions between fighters, which are controlled by pilots' tactical decisions. Simulation performance is measured in execution time as the number of fighters varies.

KW - Air combat

KW - HDEVS

KW - HDEVSim++

KW - Hybrid system

UR - http://www.scopus.com/inward/record.url?scp=85029471951&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:85029471951

T3 - Simulation Series

SP - 145

EP - 156

BT - Simulation Series

A2 - D'Ambrogio, Andrea

A2 - Syriani, Eugene

PB - The Society for Modeling and Simulation International

T2 - 49th Summer Computer Simulation Conference, SCSC 2017, Part of the 2017 Summer Simulation Multi-Conference, SummerSim 2017

Y2 - 9 July 2017 through 12 July 2017

ER -

Development of air combat HDEVS model implemented in HDEVSim++ environment

Abstract

Publication series

Conference

Bibliographical note

Keywords

Fingerprint

Cite this