Evolved finite state controller for hybrid system

ABSTRACT

This paper presents an evolutionary methodology to automatically generate finite state automata (FSA) controllers to control hybrid systems. FSA controllers for a case study of two-tank system have been successfully obtained using the proposed evolutionary approach. Experimental results show that these controllers have good performance on the set of training targets as well as on a randomly generated set of validation targets.

REFERENCES

• 1: D. Ashlock. Evolutionary Computation for Modeling and Optimization, chapter Evolving Finite State Automata, pages 143--166. Springer New York, 2006.
• 2: K. Benson. Evolving finite state machines with embedded genetic programming for automatic target detection. Evolutionary Computation, 2000. Proceedings of the 2000 Congress on, 2:1543--1549 vol.2, 2000.
• 3: B. D. Dunay, F. E. Petry, and B. P. Buckles. Regular language induction with genetic programming. In Evolutionary Computation, 1994. IEEE World Congress on Computational Intelligence., Proceedings of the First IEEE Conference on, pages 396--400 vol.1, 1994.
• 4: Z. Fan, K. Seo, J. Hu, E. D. Goodman, and R. C. Rosenberg. A novel evolutionary engineering design approach for mixed-domain systems. Engineering Optimization, 36(2):127 -- 147, 2004.
• 5: Zhun Fan , Jiachuan Wang , Sofiane Achiche , Erik Goodman , Ronald Rosenberg, Structured synthesis of MEMS using evolutionary approaches, Applied Soft Computing, v.8 n.1, p.579-589, January, 2008 [doi>10.1016/j.asoc.2007.04.001]
• 6: Z. Fan, J. Wang, and E. Goodman. Exploring open-ended design space of mechatronic systems. International Journal of Advanced Robotic Systems, 1:295--302, 2004.
• 7: L. J. Fogel. Autonomous automata. Industrial Research, 4:14--19, 1962.
• 8: C. Gagne and M. Parizeau. Genericity in evolutionary computation software tools: principles and case study. International Journal on Artificial Intelligence Tools, in-press 2006.
• 9: Dean C. Karnopp , Donald L. Margolis , Ronald C. Rosenberg, System Dynamics: Modeling and Simulation of Mechatronic Systems, John Wiley & Sons, Inc., New York, NY, 2006
• 10: X. Koutsoukos, P. Antsaklis, J. Stiver, and M. Lemmon. Supervisory control of hybrid systems. In Proceedings of the IEEE, volume 88, pages 1026--1049, 2000.
• 11: Q. Li, W. J. Zhang, and L. Chen. Design for control-a concurrent engineering approach for mechatronic systems design. Mechatronics, IEEE/ASME Transactions on, 6:161--169, 2001.
• 12: Message Passing Interface Forum, http://www.mpi-forum.org.
• 13: MPI: A Message-Passing Interface Standard, June 2008.
• 14: P. J. Mosterman. Hybrid Dynamic Systems: A hybrid bond graph modeling paradigm and its application in diagnosis. PhD thesis, Vanderbilt University, 1997.
• 15: P. J. Ramadge , W. M. Wonham, Supervisory control of a class of discrete event processes, SIAM Journal on Control and Optimization, v.25 n.1, p.206-230, Jan. 1987 [doi>10.1137/0325013]
• 16: M. Sainz, J. Armengol, and J. Vehi. Fault detection and isolation of the three-tank system using the modal interval analysis. Journal of Process Control, 12(2):325--338, 2002.
• 17: K. Seo, Z. Fan, J. Hu, E. D. Goodman, and R. C. Rosenberg. Toward an automated design method for multi-domain dynamic systems using bond graphs and genetic programming. Mechatronics, 13(8--9):851--885, 2003.
• 18: Kenneth O. Stanley , Risto Miikkulainen, Evolving neural networks through augmenting topologies, Evolutionary Computation, v.10 n.2, p.99-127, Summer 2002 [doi>10.1162/106365602320169811]
• 19: Jan-Erik Strömberg , Simin Nadjm-Tehrani , Jan L. Top, Switched bond graphs as front-end to formal verification of hybrid systems, Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control, p.282-293, July 1996, New Brunswick, NeW Jersey, United States
• 20: J. Wang, Z. Fan, J. P. Terpenny, and E. D. Goodman. Knowledge interaction with genetic programming in mechatronic systems design using bond graphs. Systems, Man and Cybernetics, Part C, IEEE Transactions on, 35:172--182, 2005.
• 21: Jiachuan Wang , Zhun Fan , Janis p. Terpenny , Erik d. Goodman, Cooperative body–brain coevolutionary synthesis of mechatronic systems, Artificial Intelligence for Engineering Design, Analysis and Manufacturing, v.22 n.3, p.219-234, August 2008 [doi>10.1017/S0890060408000152]
• 22: J. Wu, G. Biswas, S. Abdelwahed, and E. Manders. A hybrid control system design and implementation for a three tank testbed. IEEE Conference on Control Applications, pages 645--650, 2005.

INDEX TERMS

Primary Classification:
  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE
      I.2.8 Problem Solving, Control Methods, and Search
          Subjects: Heuristic methods

Additional Classification:
  B. Hardware
  B.1 CONTROL STRUCTURES AND MICROPROGRAMMING
      B.1.2 Control Structure Performance Analysis and Design Aids
          Subjects: Automatic synthesis**

General Terms:
Design, Experimentation

Keywords:
bond graph, genetic algorithm, hybrid system, two-tank system