Table of Contents Author Guidelines Submit a Manuscript
Journal of Applied Mathematics
Volume 2014, Article ID 327465, 10 pages
http://dx.doi.org/10.1155/2014/327465
Research Article

A Case Study on Formal Analysis of an Automated Guided Vehicle System

1College of Information Science and Technology, Beijing University of Chemical Technology, Beijing, China
2University of Tennessee, Knoxville, TN, USA
3Synopsys Inc., Mountain View, CA, USA
4Beijing Engineering Research Center of High Reliable Embedded System, College of Information Engineering, Capital Normal University, Beijing, China

Received 6 March 2014; Accepted 30 March 2014; Published 4 May 2014

Academic Editor: Xiaoyu Song

Copyright © 2014 Jie Zhang et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Linked References

  1. M. S. Branicky, “Introduction to hybrid systems,” in Handbook of Networked and Embedded Control Systems, D. Hristu-Varsakelis and W. S. Levine, Eds., Control Engineering, pp. 91–116, Birkhäuser Boston, Boston, Mass, USA, 2005. View at Publisher · View at Google Scholar · View at MathSciNet
  2. A. Fehnker, F. Vaandrager, and M. Zhang, “Modeling and verifying a Lego car using hybrid I/O automata,” in Proceedings of the 3rd International Conference on Quality Software (QSIC '03), pp. 280–289, IEEE Computer Society, 2003.
  3. L. Balbis, A. W. Ordys, M. J. Grimble, and Y. Pang, “Tutorial introduction to the modelling and control of hybrid systems,” International Journal of Modelling, Identification and Control, vol. 2, no. 4, pp. 259–272, 2007. View at Publisher · View at Google Scholar · View at Scopus
  4. N. Lynch, R. Segala, and F. Vaandrager, “Hybrid I/O automata,” Information and Computation, vol. 185, no. 1, pp. 105–157, 2003. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  5. T. A. Henzinger, “Theory of hybrid automata,” in Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science (LICS '96), pp. 278–292, IEEE Computer Society, July 1996. View at Scopus
  6. J. Lygeros, G. Pappas, and S. Sastry, “An introduction to hybrid systems modeling, analysis and control,” in Proceedings of the 1st Nonlinear Control Network Pedagogical School, pp. 307–329, Athens, Greece, 1999.
  7. A. Balluchi, L. Benvenuti, M. D. D. I. Benedetto, S. Member, C. Pinello, and A. Luigi, “Automotive engine control and hybrid systems: challenges and opportunities,” Proceedings of the IEEE, vol. 88, no. 7, pp. 888–912, 2000. View at Publisher · View at Google Scholar · View at Scopus
  8. R. Alur, R. Grosu, Y. Hur, V. Kumar, and I. Lee, “Modular specification of hybrid systems in charon,” in Hybrid Systems: Computation and Control, N. Lynch and B. Krogh, Eds., vol. 1790 of Lecture Notes in Computer Science, pp. 6–19, Springer, Berlin, Germany, 2000. View at Google Scholar
  9. M. Song, T. Tarn, and N. Xi, “Integration of task scheduling, action planning, and control in robotic manufacturing systems,” Proceedings of the IEEE, vol. 88, no. 7, pp. 1097–1107, 2000. View at Publisher · View at Google Scholar · View at Scopus
  10. M. Katara, “Hybrid models for mobile computing,” in Coordination Languages and Models, A. Porto and G. C. Roman, Eds., vol. 1906 of Lecture Notes in Computer Science, pp. 216–231, Springer, Berlin, Germany, 2000. View at Google Scholar
  11. B. Lennartson, M. Tittus, B. Egardt, and S. Pettersson, “Hybrid systems in process control,” IEEE Control Systems Magazine, vol. 16, no. 5, pp. 45–56, 1996. View at Publisher · View at Google Scholar · View at Scopus
  12. N. A. Lynch and M. R. Tuttle, “An introduction to input/output automata,” CWI Quarterly, vol. 2, no. 3, pp. 219–246, 1989. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  13. T. Muller, Automated Guided Vehicles, IFS, Kempston, UK, 1983.
  14. T. Le-Anh and M. B. M. de Koster, “A review of design and control of automated guided vehicle systems,” European Journal of Operational Research, vol. 171, no. 1, pp. 1–23, 2006. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  15. I. F. A. Vis, “Survey of research in the design and control of automated guided vehicle systems,” European Journal of Operational Research, vol. 170, no. 3, pp. 677–709, 2006. View at Publisher · View at Google Scholar · View at Scopus
  16. W. Kang, N. Xi, and J. Tan, “Analysis and design of non-time based motion controller for mobile robots,” in Proceedings of the IEEE International Conference on Robotics and Automation (ICRA '99), pp. 2964–2969, May 1999. View at Scopus
  17. J. Tan, N. Xi, and W. Kang, “Non-time based tracking controller for mobile robots,” in Proceedings of the 1999 IEEE Canadian Conference on Electrical and Computer Engineering, pp. 919–924, May 1999. View at Scopus
  18. R. Milner, Communication and Concurrency, Prentice-Hall, 1989.
  19. D. Park, “Concurrency and automata on infinite sequences,” in Theoretical Computer Science, P. Deussen, Ed., vol. 104 of Lecture Notes in Computer Science, pp. 167–183, Springer, Berlin, Germany, 1981. View at Google Scholar