Design of a Model Based Controller with Safety |
Shin, Bum-Sik
(School of electrical engineering, Kookmin University)
Park, Jeong-Hoon (School of electrical engineering, Kookmin University) Moon, Chan-Woo (School of electrical engineering, Kookmin University) Ahn, Hyun-Sik (School of electrical engineering, Kookmin University) |
1 | Asma Charfi, Chokri Mraidha, Sebastien Gerard, Francois Terrier, Pierre Boulet, "Does Code Generation Promote or Prevent Optimizations?", Proc. of IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing", pp.75-79, 2010 |
2 | Sergey V. et. al. "Automatic Test Generation for Model-Based Code Generators", Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, pp75-81, 2007 |
3 | MIARA-C 2004, Guidelines for the use of the C language in critical systems |
4 | MISRA AC SLSF:Modeling design and style guidelines for the application of Simulink and stateflow, 2009 |
5 | Seulgi Lee, Hyunwoo Chung, Hyungrok Oh, Junyoun Lee, "Motor control by using MATLAB/ SIMULINK Auto Code Generation", KIPE conference, pp.77-78, 2012 |
6 | Sanghoon Kim, "DC, AC, BLDC motor control," Bookdu, 2010 |
7 | Rapid-prototype (http://www.mathworks.com/rapid-prototyping) |
8 | Jason Ghidella and Fredman, "Model-Based Design Streamlines Development of Body Electronics System", Autojournal, vol 28, no 3, pp.75-84 |
9 | Jooyoung Ma, Jaemyoung Ma, Minsuk Shin, Myoungho Sunwoo, "SILS/RCP: Integrated Model based System Development Tool for automotive embedded control system design", KASE, Spring conference, pp. 1549-1554, 2004 |
10 | Ilhyung Lee, Hyochung Bang, Hyundong Oh, "PILS System Development for Collision Avoidance Algorithm Verification", KSAS Autumnal conference Vol 2, pp.1172-1175, 2008 |