Abstract
A joint optimization of the physical system and the cyber world is one of the key problems in the design of a cyber-physical system (CPS). The major mechanical forces and/or chemical reactions in a plant are commonly modified by actuators in the balance-of-plant (BOP) system. More powerful actuators requires more power, but generally increase the response of the physical system powered by the electrical energy generated by the physical system. To maximize the overall output of a power generating plant therefore requires joint optimization of the physical system and the cyber world, and this is a key factor in the design of a CPS.
We introduce a systematic approach to the modeling and synthesis of a CPS that emphasize joint power optimization, using an active direct methanol fuel cell (DMFC) as a case study. Active DMFC systems are superior to passive DMFCs in terms of fuel efficiency thanks to their BOP system, which includes pumps, air blowers, and fans. However, designing a small-scale active DMFC with the best overall system efficiency requires the BOP system to be jointly optimized with the DMFC stack operation, because the BOP components are powered by the stack. Our approach to this synthesis problem involves i) BOP system characterization, ii) integrated DMFC system modeling, iii) configuring a system for the maximum net power output through design space exploration, iv) synthesis of feedback control tasks, and v) implementation.
- Anand, M., Cronin, E., Sherr, M., Blaze, M., Ives, Z., and Lee, I. 2006. Security challenges in next generation cyber physical systems. In Proceedings of Beyond SCADA: Cyber Physical Systems Meeting (HCSS-NEC4CPS).Google Scholar
- Blum, A., Duvdevani, T., Philosoph, M., Rudoy, N., and Peled, E. 2003. Water-neutral micro direct-methanol fuel cell (DMFC) for portable applications. J. Power Sources 117, 1-2, 22--25.Google Scholar
Cross Ref
- Chan, Y., Zhao, T., Chen, R., and Xu, C. 2008. A small mono-polar direct methanol fuel cell stack with passive operation. J. Power Sources 178, 1, 118--124.Google Scholar
Cross Ref
- Chang, N., Seo, J., Shin, D., and Kim, Y. 2010. Room-temperature fuel cells and their integration into portable and embedded systems. In Proceedings of the Asia South Pacific Design Automation Conference (ASP-DAC). 69--74. Google Scholar
Digital Library
- Chen, R. and Zhao, T. 2005. Mathematical modeling of a passive-feed DMFC with heat transfer effect. J. Power Sources 152, 122--130.Google Scholar
Cross Ref
- Cheng, A. M. K. 2006. Synthesis, verification, and optimization of cyber-physical systems. In Proceedings of the NSF Workshop On Cyber-Physical Systems: Research Motivation, Techniques and Roadmap.Google Scholar
- Dittrich, D. and Haselkorn, M. P. 2009. Visualizing secure cyber-physical systems. In Proceedings of the Workshop on Future Directions in Cyber-physical Systems Security.Google Scholar
- Eyisi, E., Porter, J., Hall, J., Kottenstette, N., Koutsoukos, X., and Sztipanovits, J. 2009. Panecs: A modeling language for passivity-based design of networked control systems. In Proceedings of the 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB).Google Scholar
- Guo, Z. and Faghri, A. 2006. Miniature DMFCs with passive thermal-fluids management system. J. Power Sources 160, 2, 1142--1155.Google Scholar
Cross Ref
- Heideck, G., Purmann, M., and Styczynski, Z. 2004. Micro-computer control for a fuel cell test bench for residential use. J. Power Sources 127, 1-2, 319--324.Google Scholar
Cross Ref
- Hsu, N.-Y., Yen, S.-C., Jeng, K.-T., and Chien, C.-C. 2006. Impedance studies and modeling of direct methanol fuel cell anode with interface and porous structure perspectives. J. Power Sources 161, 1, 232--239.Google Scholar
Cross Ref
- Kara, T. and Eker, I. 2004. Nonlinear modeling and identification of a dc motor for bidirectional operation with real time experiments. Energy Conversion Manage. 45, 7-8, 1087--1106.Google Scholar
Cross Ref
- Karsai, G. and Sztipanovits, J. 2008. Model-integrated development of cyber-physical systems. In Proceedings of the 6th IFIP WG International Workshop on Software Technologies for Embedded and Ubiquitous Systems. Springer-Verlag, Berlin, 46--54. Google Scholar
Digital Library
- Kim, Y., Shin, D., Seo, J., Chang, N., Cho, H., Kim, Y., and Yoon, S. 2010. System integration of a portable direct methanol fuel cell and a battery hybrid. Int. J. Hydrogen Energy 35, 11 (June), 5621--5637.Google Scholar
Cross Ref
- Koegler, W. S. and Kegelmeyer, W. P. 2005. FCLib: A Library for Building Data Analysis and Data Discovery Tools. Vol. 3646/2005. Springer, Berlin. Google Scholar
Digital Library
- Lee, E. A. 2006. Cyber-physical systems - are computing foundations adequate? In Proceedings od the NSF Workshop On Cyber-Physical Systems: Research Motivation, Techniques and Roadmap,.Google Scholar
- Lin, S. and Stankovic, J. A. 2009. Performance composition for cyber physical systems. In Proceedings of the Ph.D. Forum of the 30th Real-Time Systems Symposium (RTSS'09).Google Scholar
- Liu, W. and Wang, C.-Y. 2007. Three-dimensional simulations of liquid feed direct methanol fuel cells. J. Electrochemical Soc. 154, 3, B352--B361.Google Scholar
Cross Ref
- Oedegaard, A. and Hentschel, C. 2006. Characterisation of a portable dmfc stack and a methanol-feeding concept. J. Power Sources 158, 1, 177--187.Google Scholar
Cross Ref
- Pei, H., Hong, L., and Lee, J. Y. 2006. Polymer electrolyte membrane based on 2-acrylamido-2-methyl propanesulfonic acid fabricated by embedded polymerization. J. Power Sources 160, 2, 949--956.Google Scholar
Cross Ref
- Qian, W., Wilkinson, D. P., Shen, J., Wang, H., and Zhang, J. 2006. Architecture for portable direct liquid fuel cells. J. Power Sources 154, 1, 202--213.Google Scholar
Cross Ref
- Scott, K., Argyropoulos, P., and Sundmacher, K. 1999. A model for the liquid feed direct methanol fuel cell. J. Electroanalytical Chem. 477, 2, 97--110.Google Scholar
Cross Ref
- Steele, B. C. H. 2001. Material science and engineering: the enabling technology for the commercialisation of fuel cell systems. J. Materials Science 36, 5 (March), 1053--1068.Google Scholar
Cross Ref
- Sun, P., Xue, G., Wang, C., and Xu, J. 2009. New numerical techniques for a three-dimensional liquid-feed direct methanol fuel cell model. SIAM J. Appl. Math. 70, 2, 600--620.Google Scholar
Cross Ref
- Turoni, F., Mlynski, M., Sadatsakak, A., and Schreiber, M. 2005. Model based of a controller for fuel cell systems. In Proceedings of the Model-Based Design Conference. 116--124.Google Scholar
- Vega-Leal, A. P., Palomo, F. R., Barragan, F., Garcia, C., and Brey, J. J. 2007. Design of control systems for portable PEM fuel cells. J. Power Sources 169, 1, 194--197.Google Scholar
Cross Ref
- Wang, Z. H. and Wang, C. Y. 2003. Mathematical modeling of liquid-feed direct methanol fuel cells. J. Electrochemical Soc. 150, 4, A508--A519.Google Scholar
Cross Ref
- West, R. and Parmer, G. 2006. A software architecture for next-generation cyber-physical systems. In Proceedings of the NSF Workshop On Cyber-Physical Systems: Research Motivation, Techniques and Roadmap.Google Scholar
- Wishart, J., Dong, Z., and Secanell, M. 2006. Optimization of a pem fuel cell system based on empirical data and a generalized electrochemical semi-empirical model. J. Power Sources 161, 2, 1041--1055.Google Scholar
Cross Ref
- Xie, C., Pavio, J., Hallmark, J., Bostaph, J., and Fisher, A. 2002. Key requirements of micro fuel cell system for portable electronics. In Proceedings of the Intersociety Energy Conversion Engineering Conference. 603--606.Google Scholar
- Xue, D. and Dong, Z. 1998. Optimal fuel cell system design considering functional performance and production costs. J. Power Sources 76, 1, 69--80.Google Scholar
Cross Ref
- Yang, X., Zhou, Z., Cho, H., and Luo, X. 2006. Study on a PZT-actuated diaphragm pump for air supply for micro fuel cells. Sensors Actuators A: Physical 130--131, 531--536.Google Scholar
- Zhang, F., Szwaykowska, K., Wolf, W., and Mooney, V. 2008. Task scheduling for control oriented requirements for cyber-physical systems. In Proceedings of the Real-Time Systems Symposium. IEEE Computer Society, Los Alamistos, CA, 47--56. Google Scholar
Digital Library
Index Terms
Control-theoretic cyber-physical system modeling and synthesis: A case study of an active direct methanol fuel cell
Recommendations
Unit Sizing of a Stand-Alone Hybrid Power System Using Model-Free Optimization
GRC '07: Proceedings of the 2007 IEEE International Conference on Granular Computingapplied to the problem of unit sizing in a hybrid power system such that demand of residential area is met. Optimal sizing of two systems is considered. In the system No.1, the produced power is delivered to the load and the hydrogen produced by the ...
Cyber Threat Analysis Framework for the Wind Energy Based Power System
CPS '17: Proceedings of the 2017 Workshop on Cyber-Physical Systems Security and PrivaCyWind energy is one of the major sources of renewable energy. Countries around the world are increasingly deploying large wind farms that can generate a significant amount of clean energy. A wind farm consists of many turbines, often spread across a ...
Rational software agents with the BDI reasoning model for Cyber–Physical Systems
AbstractCyber–Physical Systems (CPSs) are complex and heterogeneous systems. Interacting with the physical world makes CPS unpredictable because of unanticipated events. Therefore, a CPS needs to reason these events autonomously. Henceforward, ...






Comments