1 |
E.A. Lee, "Cyber Physical Systems: Design Challenges," IEEE Int. Symp., Object Oriented Real-Time Distrib. Comput., Orlando, FL, USA, May 5-7, 2008, pp. 363-369.
|
2 |
Y.J. Kim, J.H. Kim, and T.G. Kim, "Heterogeneous Simulation Framework Using DEVS BUS," SIMULATION : Trans. Soc. Modeling Simulation Int., vol. 79, no. 1, Jan. 2003, pp. 3-18.
DOI
|
3 |
IEEE Std. 1516-2000, IEEE Standard for Modeling and Simulation (M&S) High Level Archit. (HLA) - Framework and Rules, IEEE, New York, NY, USA, ISBN: 0-7381-2619-5, 2001.
|
4 |
IEEE Std. 1516-2000, IEEE Standard for Modeling and Simulation (M&S) High Level Archit. (HLA) - Federate Interface Specification, IEEE, New York, NY, USA, ISBN: 0-7381-2621-7, 2001.
|
5 |
IEEE Std. 1516-2000, IEEE Standard for Modeling and Simulation (M&S) High Level Archit. (HLA) - Object Model Template (OMT) Specification, IEEE, New York, NY, USA, ISBN: 0-7381-2623-3, 2001.
|
6 |
Z. Manna and A. Pnueli, "The Temporal Logic of Reactive and Concurrent Systems," New York, NY, USA: Springer-Verlag New York, 1992.
|
7 |
R. Koymans, "Specifying Real-Time Properties with Metric Temporal Logic," Real-Time Syst., vol. 2, no. 4, Nov. 1990, pp. 255-299.
DOI
|
8 |
C.A.R. Hoare, "Communicating Sequential Processes," Upper Saddle River, NJ, USA: Prentice Hall, 1985.
|
9 |
R. Milner, "Communication and Concurrency," Upper Saddle River, Nj, USA: Prentice Hall, 1989.
|
10 |
P.W. Glynn, "A GSMP Formalism for Discrete Event Systems," Proc. IEEE, vol. 77, no. 1, Jan. 1989, pp. 14-23.
DOI
|
11 |
R. Cuninghame-Green, "Minimax Algebra, Lecture Notes in Economics and Mathematical Systems 166," New York, NY, USA: Springer-Verlag New York, 1979.
|
12 |
A. Gill, "Introduction to the Theory of Finite-State Machines," New York, NY, USA: Mc-Graw Hill, 1962.
|
13 |
Z. Kohavi, "Switching and Finite Automata Theory," 2nd ed., New York, NY, USA: McGraw-Hill, 1978.
|
14 |
J.L. Peterson, "Petri Net Theory and the Modeling of Systems," Upper Saddle River, NJ, USA: Prentice Hall, June 1981.
|
15 |
G. Noubir, D.R. Stephens, and P. Raja, "Specification of Timed Finite State Machine in Z for Distributed Real-Time Systems," Proc. IEEE Workshop Future Trends Distrib. Comput. Syst., Lisbon, Portugal, Sept. 22-24, 1993, pp. 319-325.
|
16 |
M.A. Holliday and M.K. Vernon, "A Generalized Timed Petri Net Model for Performance Analysis," IEEE Trans. Softw. Eng., vol. 13, no. 12, 1987, pp. 1297-1310.
|
17 |
A.I. Concepcion and B.F. Zeigler, "DEVS Formalism: A Framework for Hierarchical Model Development," IEEE Trans. Softw. Eng., vol. 14, no. 2, 1988, pp. 228-241.
DOI
|
18 |
E.M. Clarke, O. Grumberg, and D.A. Peled, "Model Checking," Cambridge, MA, USA: MIT Press, 1999.
|
19 |
S. Owre et al., "PVS: Combining Specification, Proof Checking, and Model Checking," Comput.-Aided Verification, 1996, pp. 411-414.
|
20 |
K. Havelund and N. Shankar, "Experiments in Theorem Proving and Model Checking for Protocol Verification," in FME: Ind. Benefit Adv. Formal Methods, Berlin, Germany: Springer Berlin Heidelberg, 1996, pp. 662-681.
|
21 |
J. Rushby, "Theorem Proving for Verification," in Modeling and Verification of Parallel Processes, Berlin, Germany: Springer Berlin Heidelberg, 2001, pp. 39-57.
|
22 |
J.-Y. Kim et al., "Abstracted CPS Model: A Model for Interworking between Physical System and Simulator for CPS Simulation (WIP)," Proc. Symp. Theory Modeling Simulation - DEVS Integr. M&S Symp., SCS/ACM, Orlando, FL, USA, Mar. 26-29, 2012.
|
23 |
D. Henriksson and H. Elmqvist, "Cyber-Physical Systems Modeling and Simulation with Modelica," Proc. Int. Modelica Conf., Dresden, Germany, Mar. 2011, pp. 502-509.
|
24 |
M. Jamshidi, "System of Systems Engineering - New Challenges for the 21st Century," IEEE Aerosp. Electron. Syst. Mag., vol. 23, no. 5, May 2008, pp. 4-19.
DOI
|
25 |
J.E. Campbell et al., System of Systems Modeling and Analysis, SAND REPORT SAND2005-0020, Sandia National Laboratories, Jan. 2005.
|
26 |
S.M. White, "Modeling a System of Systems to Analyze Requirements," Annual IEEE Int. Syst. Conf., Vancouver, Canada, Mar. 23-26, 2009, pp. 83-89.
|
27 |
P. Boily and N. Harrison, "A Simulation System of Systems to Assess Military Aircraft Protection," IEEE Int. Syst. Conf., Vancouver, Canada, Mar. 19-22, 2012, pp. 1-6.
|
28 |
B. Wang and J.S. Baras, "HybridSim: A Modeling and Cosimulation Toolchain for Cyber-Physical Systems," Proc. IEEE/ACM Int. Symp. Distrib. Simulation Real Time Appl., Delft, Netherlands, Oct. 30-Nov. 1, 2013, pp. 33-40.
|
29 |
R. Goebel, R.G. Sanfelice, and A.R. Teel, "Hybrid Dynamical Systems," IEEE Contr. Syst., vol. 29, no. 2, Apr. 2009, pp. 28-93.
DOI
|
30 |
P.J. Antsaklis and X.D. Koutsoukos, "Hybrid Systems: Review and Recent Progress," in Softw.-Enabled Contr.: Inform. Technol. Dynamical Syst., Hoboken, NJ, USA: John Wiley & Sons, Inc., 2003, pp. 273-298.
|
31 |
K.H. Johansson, J. Lygeros, and S. Sastry, "Modeling of Hybrid Systems," Contr. Syst., Robot. Autom., vol. 15, UNESCO Encyclopedia of Life Support Systems (EOLSS).
|
32 |
H. Zheng, "Operational Semantics of Hybrid System," Ph.D. dissertation, Department of EECS, University of California, Berkeley, CA, USA, 2007.
|
33 |
A. Borshchev, Y. Karpov, and V. Kharitonov, "Distributed Simulation of Hybrid Systems with AnyLogic and HLA," Future Generation Comput. Syst., vol. 18, no. 6, May 2002, pp. 829-839.
DOI
|
34 |
E. Kofman, M. Lapadula, and E. Pagliero, "PowerDEVS: A DEVS-Based Environment for Hybrid System Modeling and Simulation," School of Electronic Engineering, Universidad Nacional de Rosario, Tech. Rep. LSD0306, 2003.
|
35 |
F. Bouchhima et al., "Generic Discrete-Continuous Simulation Model for Accurate Validation in Heterogeneous Systems Design," Microelectron. J., vol. 38, no. 6-7, 2007, pp. 805-815.
DOI
|
36 |
M. Wetter and P. Haves, "A Modular Building Controls Virtual Test Bed for the Integration of Heterogeneous Systems," in SimBuild National Conf. IBPSA-USA, Berkeley, CA, USA, July 2008, pp. 69-76.
|
37 |
C. Sung and T.G. Kim, "Framework for Simulation of Hybrid Systems: Interoperation of Discrete Event and Continuous Simulators Using HLA/RTI," IEEE Workshop Principles Adv. Distrib. Simulation, Nice, France, June 14-17, 2011, pp. 1-8.
|
38 |
T.G. Kim, "Simulations Interoperation Approach for Modeling and Simulation of Defense System as System of Systems," SpringSim, TMS Symp., Plenary Talk, San Diego, CA, USA, Apr. 7-10, 2013.
|
39 |
S.J. Kwon et al., "Integrated Hybrid Systems Modeling and Simulation Methodology Based on HDEVS Formalism," Proc. Summer Comput. Simulation Conf., Toronto, Canada, July 2013, pp. 410-417.
|
40 |
M.W. Maier, "Architecting Principles for System of Systems," Syst. Eng., vol. 1, no. 4, 1998, pp. 267-284.
DOI
|
41 |
T.G. Kim and D.S. Kim, "Joint Analysis of Combat Power and Communication System via Interoperation of War Game Simulator with Communication Network Simulator," presented at the ROK-US Defense Anal. Seminar, Seoul, Rep. of Korea, Apr. 23-25, 2012.
|
42 |
J.H. Kim, I.-C. Moon, and T.G. Kim, "New Insight into Doctrine via Simulation Interoperation of Heterogeneous Levels of Models in Battle Experimentation," SIMULATION : Trans. Soc. Modeling Simulation Int., vol. 88, no. 6, June 2012, pp. 649-667.
DOI
|
43 |
B.P. Zeigler, T.G. Kim, and H. Praehofer, "Theory of Modeling and Simulation," Orlando, FL, USA: Academic, 2000.
|
44 |
T.I. Fossen, "Guidance and Control of Ocean Vehicles," New York, NY, USA: Wiley, 1994.
|
45 |
T.G. Kim et al., "DEVSim++ Toolset for Defense Modeling and Simulation and Interoperation," J. Defense Modeling Simulation: Appl., Methodology, Technol., vol. 8, no. 3, 2011, pp. 129-142.
DOI
|