참고문헌
- J. Eidson E.A. Lee S. Matic S. A. Seshia J. Zou "Distributed Real-Time Software for Cyber-Physical Systems," Proceedings of the IEEE (special issue on CPS) pp.45-59, 2012. DOI: 10.1109/JPROC.2011.2161237
- X. Guan B. Yang C. Chen W. Dai Y. Wang "A comprehensive overview of cyber-physical systems: from perspective of feedback system," IEEE/CAA Journal of Automatica Sinica vol.3 no.1, pp.1-14, 2016. DOI: 10.1109/JAS.2016.7373757
- A Sharma, G Rathee, R Kumar, H Saini, V Vijaykumar, Y Nam, N Chilamkurti. "A Secure, Energy-and SLA-Efficient (SESE) E-Healthcare Framework for Quickest Data Transmission Using Cyber-Physical System," Sensors, Vol.19, No.9, 2019. DOI: 10.3390/s19092119
- D. Roy L. Zhang W. Chang S. K. Mitter S. Chakraborty "Semantics-preserving cosynthesis of cyber-physical systems," Proceedings of the IEEE, vol.106, no.1, pp.171-200, 2018. DOI: 10.1109/JPROC.2017.2779456
- Z. Yu L. Zhou Z. Ma M. A. El-Meligy "Trustworthiness modeling and analysis of cyberphysical manufacturing systems," IEEE Access, vol.5, pp.26076-26085, 2017. DOI: 10.1109.ACCESS.2017.2777438 https://doi.org/10.1109/ACCESS.2017.2777438
- W. Li X. Zhu J. Ju "Hierarchical braking torque control of in-wheel-motor-driven electric vehicles over CAN," IEEE Access, vol.6, pp. 65189-65198, 2018. DOI: 10.1109/ACCESS.2018.2877960
- W. Yu Y. Xue J. Lou et al. "An UHV grid security and stability defense system: considering the risk of power system communication," IEEE Trans. Smart Grid, vol.7, no.1, pp.491-500, 2016. DOI: 10.1109/TSC.2015.2392100
- M. B. Kamal G. J. Mendis J. Wei "Intelligent soft computing-based security control for energy management architecture of hybrid emergency power system for more-electric aircrafts," IEEE J. Sel. Topics Signal Process, vol.12, no.4, pp.806-816, 2018. DOI: 10.1109/JSTSP.2018.2848624
- Functional mock-up interface for model exchange and co-simulation, Version 2.0, Information Tech for European Advancement, Tech. Rep., Modelisar, 2012. http://www.fmi-Standard.org/downloads/
- T. Bui S. Chaudhuri T. Leighton M. Sipser "Graph Bisection Algorithms with Good Average Case Behavior," Proc. 25th Int'l Symp. Foundations of Computer Science, pp.181-192, 1984. DOI: 10.1007/BF02579448
- D. Broman C. Brooks L. Greenberg E. A. Lee M. Masin S. Tripakis M. Wetter "Determinate Composition of FMUs for Co-Simulation," Proceedings of the International Conference on Embedded Software (EMSOFT 2013), 2013. DOI: 10.1109/EMSOFT.2013.6658580
- F. Cremona M. Lohstroh D. Broman M. D. Natale E. A. Lee S. Tripakis "Step revision in hybrid co-simulation with FMI," 2016 ACM/ IEEE International Conference on Formal Methods and Models for System Design MEMOCODE 2016, pp.173-183, 2016. DOI: 10.1109/MEMCOD.2016.7797762
- DP Bertsekas, JN Tsitsiklis, Introduction to probability, Athena Scientific, 2002.
- I. Jeon K. Lee "A dynamic Markov chain prediction model for delay-tolerant networks," International Journal of Distributed Sensor Networks, vol.12, 2016. DOI: 10.1177/1550147716666662
- E. Wang, Y. Yang, B. Jia, "The DTN routing algorithm based on Markov meeting time span prediction model," International Journal of Distributed Sensor Networks, vol.9 2013. DOI: 10.1155/2013/736796
- "QTronic. FMU SDK (FMU Software DevelopmentKit)," http://www.qtronic.de/de/fmusdk.html