skip to main content
research-article

Control-theoretic cyber-physical system modeling and synthesis: A case study of an active direct methanol fuel cell

Published:01 January 2013Publication History
Skip Abstract Section

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.

References

  1. 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 ScholarGoogle Scholar
  2. 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 ScholarGoogle ScholarCross RefCross Ref
  3. 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 ScholarGoogle ScholarCross RefCross Ref
  4. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  5. Chen, R. and Zhao, T. 2005. Mathematical modeling of a passive-feed DMFC with heat transfer effect. J. Power Sources 152, 122--130.Google ScholarGoogle ScholarCross RefCross Ref
  6. 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 ScholarGoogle Scholar
  7. 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 ScholarGoogle Scholar
  8. 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 ScholarGoogle Scholar
  9. Guo, Z. and Faghri, A. 2006. Miniature DMFCs with passive thermal-fluids management system. J. Power Sources 160, 2, 1142--1155.Google ScholarGoogle ScholarCross RefCross Ref
  10. 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 ScholarGoogle ScholarCross RefCross Ref
  11. 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 ScholarGoogle ScholarCross RefCross Ref
  12. 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 ScholarGoogle ScholarCross RefCross Ref
  13. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  14. 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 ScholarGoogle ScholarCross RefCross Ref
  15. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  16. 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 ScholarGoogle Scholar
  17. 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 ScholarGoogle Scholar
  18. 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 ScholarGoogle ScholarCross RefCross Ref
  19. 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 ScholarGoogle ScholarCross RefCross Ref
  20. 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 ScholarGoogle ScholarCross RefCross Ref
  21. 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 ScholarGoogle ScholarCross RefCross Ref
  22. 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 ScholarGoogle ScholarCross RefCross Ref
  23. 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 ScholarGoogle ScholarCross RefCross Ref
  24. 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 ScholarGoogle ScholarCross RefCross Ref
  25. 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 ScholarGoogle Scholar
  26. 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 ScholarGoogle ScholarCross RefCross Ref
  27. 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 ScholarGoogle ScholarCross RefCross Ref
  28. 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 ScholarGoogle Scholar
  29. 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 ScholarGoogle ScholarCross RefCross Ref
  30. 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 ScholarGoogle Scholar
  31. 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 ScholarGoogle ScholarCross RefCross Ref
  32. 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 ScholarGoogle Scholar
  33. 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 ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Control-theoretic cyber-physical system modeling and synthesis: A case study of an active direct methanol fuel cell

          Recommendations

          Comments

          Login options

          Check if you have access through your login credentials or your institution to get full access on this article.

          Sign in

          Full Access

          PDF Format

          View or Download as a PDF file.

          PDF

          eReader

          View online with eReader.

          eReader
          About Cookies On This Site

          We use cookies to ensure that we give you the best experience on our website.

          Learn more

          Got it!