Table of Contents Author Guidelines Submit a Manuscript
Mathematical Problems in Engineering
Volume 2014, Article ID 726246, 15 pages
http://dx.doi.org/10.1155/2014/726246
Research Article

Design of Logic Controllers Thanks to Symbolic Computation of Simultaneously Asserted Boolean Equations

LURPA, ENS Cachan, 61 avenue du Président Wilson, 94230 Cachan, France

Received 11 December 2013; Revised 6 February 2014; Accepted 7 February 2014; Published 28 May 2014

Academic Editor: Hamid R. Karimi

Copyright © 2014 Jean-Marc Roussel and Jean-Jacques Lesage. 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. International Electrotechnical Commission, IEC 61131-3, IEC 61131-3 Standard: Programmable Controllers-Part 3: Programming Languages, International Electrotechnical Commission, 2nd edition, 2003.
  2. G. Frey and L. Litz, “Formal methods in PLC programming,” in Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, vol. 4, pp. 2431–2436, October 2000. View at Scopus
  3. B. Berard, M. Bidoit, A. Finkel et al., Systems and Software Verification: Model-Checking Techniques and Tools, Springer, New York, NY, USA, 1st edition, 1999.
  4. H. Bel Mokadem, B. Bérard, V. Gourcuff, O. De Smet, and J. Roussel, “Verification of a timed multitask system with UPPAAL,” IEEE Transactions on Automation Science and Engineering, vol. 7, no. 4, pp. 921–932, 2010. View at Publisher · View at Google Scholar · View at Scopus
  5. J. L. Boulanger, Ed., Industrial Use of Formal Methods: Formal Verification (ISTE), Wiley-ISTE, New York, NY, USA, 2012.
  6. P. J. G. Ramadge and W. M. Wonham, “Control of discrete event systems,” Proceedings of the IEEE, vol. 77, no. 1, pp. 81–98, 1989. View at Publisher · View at Google Scholar · View at Scopus
  7. P. Gohari and W. M. Wonham, “On the complexity of supervisory control design in the RW framework,” IEEE Transactions on Systems, Man, and Cybernetics B, vol. 30, no. 5, pp. 643–652, 2000. View at Publisher · View at Google Scholar · View at Scopus
  8. Y. Hietter, Synthése algèbrique de lois de commande pour les systemes a évènements discrets logiques [Ph.D. thesis], ENS Cachan, Cachan, France, 2009.
  9. H.-M. Hanisch, A. Lueder, and J. Thieme, “Modular plant modeling technique and related controller synthesis problems,” in Proceedings of the 1998 IEEE International Conference on Systems, Man, and Cybernetics, pp. 686–691, October 1998. View at Scopus
  10. J.-M. Roussel and A. Giua, “Designing dependable logic controllers using the supervisory control theory,” in Proceedings of the 16th IFACWorld Congress, cDRom paper 4427, p. 6, Praha, Czech Republic, 2005.
  11. D. A. Huffman, “The synthesis of sequential switching circuits,” Journal of the Franklin Institute, vol. 257, no. 3-4, pp. 161–303, 1954. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus
  12. G. H. Mealy, “A method for synthesizing sequential circuits,” Bell System Technical Journal, vol. 34, no. 5, pp. 1045–1079, 1955. View at Google Scholar
  13. E. F. Moore, “Gedanken-experiments on sequential machines,” in Automata Studies, pp. 129–153, Princeton University Press, Princeton, NJ, USA, 1956. View at Google Scholar
  14. S. Rudeanu, Lattice Functions and Equations (Discrete Mathematics and Theoretical Computer Science), Springer, New York, NY, USA, 2001.
  15. F. M. Brown, Boolean Reasoning: the Logic of Boolean Equations, Dover, Mineola, NY, USA, 2003.
  16. A. Pnueli and R. Rosner, “On the synthesis of a reactive module,” in Proceedings of the 16th ACM symposium on Principles of programming languages (POPL '89), pp. 179–190, ACM, New York, NY, USA, 1989.
  17. E. Filiot, N. Jin, and J. Raskin, “Antichains and compositional algorithms for LTL synthesis,” Formal Methods in System Design, vol. 39, no. 3, pp. 261–296, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at Scopus
  18. J. Machado, B. Denis, J. J. Lesage, J. M. Faure, and J. Fereira, “Logic controllers dependability verification using a plant model,” in Proceedings of the 3rd IFAC Workshop on Discrete-Event System Design (DESDes '06), pp. 37–42, Rydzyna, Poland, 2006.
  19. Y. Hietter, J.-M. Roussel, and J.-L. Lesage, “Algebraic synthesis of transition conditions of a state model,” in Proceedings of the 9th International Workshop on Discrete Event Systems (WODES '08), pp. 187–192, Göteborg, Sweden, May 2008. View at Publisher · View at Google Scholar · View at Scopus
  20. Y. Hietter, J.-M. Roussel, and J. J. Lesage, “Algebraic synthesis of dependable logic controllers,” in Proceedings of the 17th World Congress, International Federation of Automatic Control (IFAC '08), pp. 4132–4137, Seoul, South Korea, July 2008. View at Publisher · View at Google Scholar · View at Scopus
  21. A. Guignard, Symbolic generation of the automaton representing an algebraic description of a logic system [M.S. thesis], ENS Cachan, Cachan, France, 2011.
  22. R. P. Grimaldi, Discrete and Combinatorial Mathematics: An Applied Introduction, Addison-Wesley Longman, Boston, Mass, USA, 5th edition, 2004.
  23. J.-M. Roussel and J.-J. Lesage, “Algebraic synthesis of logical controllers despite inconsistencies in specifications,” in Proceeding of the 11th International Workshop on Discrete Event Systems (WODES '12), pp. 307–314, Guadalajara, Mexico, 2012.
  24. H. Leroux, Algebraic Synthesis of Logical Controllers with Optimization Criteria, ENS Cachan, Cachan, France, 2011.
  25. H. Leroux and J. -M. Roussel, “Algebraic synthesis of logical controllers with optimization criteria,” in Proceedings of the 6th International Workshop on Verification and Evaluation of Computer and Communication Systems (VECOS '12), pp. 103–114, Paris, France, 2012.
  26. M. Cantarelli and J. Roussel, “Reactive control system design using the supervisory control theory: evaluation of possibilities and limits,” in Proceedings of 9th International Workshop on Discrete Event Systems (WODES '08), pp. 200–205, Göteborg, Sweden, May 2008. View at Publisher · View at Google Scholar · View at Scopus