Modelling of System Configuration and Reconfiguration for IMS

  • G. Manoj
  • J. Samson Immmanuel
  • P. S. Divya
  • A. P. Haran
Part of the Communications in Computer and Information Science book series (CCIS, volume 350)


The operation of Discrete Event Systems is represented as a chronological sequence of events. Each event occurs at an instant in time and marks a change of state in the system. A system configuration (SC) of Discrete Event (DE) in linear model has been considered, a formal feature of closed loop structure. To prevent data from getting lost due to noise in the wireless channel, an error-coding scheme is applied. Turbo code is a powerful error coding technique employed nowadays in communication systems. In this paper the image is retained in the receiving end by proper design of the error coding scheme. The images obtained after decoding are found to be suitable for recognition and diagnosis by the doctors. This novel technology will enhance the health care in rural area where the opinion of a specialized doctor is not available. The analyses of system performances for the configured and reconfigured system are done for pre and post layout simulation as per the design methodology. The design methodology used in implementation of 180nm technology, the system instances power, instances and area of the reconfigured system are compared with the configured system. We also infer that the reconfigured system obtain better performance during the run time of the system.


Integer Programming Discrete Event Institutional Management System System Configuration 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Giua, A., DiCesare, F., Silva, M.: Generalized mutual exclusion constraints on nets with uncontrollable transitions. In: Proc. IEEE Int. Conf. Syst. Man, Cybern., pp. 974–979 (1992)Google Scholar
  2. 2.
    Lucas, M.R., Endsley, E.W., Tilbury, D.M.: Coordinated logic control for reconfigurable machine tools. In: Proc. Amer. Control Conf., pp. 2107–2113 (1999)Google Scholar
  3. 3.
    Badouel, E., Oliver, J.: Reconfigurable nets: A class of high level Petri nets supporting dynamic changes within workflow systems. INRIA Research, Tech. Rep. PI-1163 (1998)Google Scholar
  4. 4.
    Vyatkin, V., Hanisch, H.-M.: Formal modeling and verification in the software engineering framework of IEC61499: A way to self verifying systems. In: Proc. IEEE Symp. Emerging Technol. Factory Autom., pp. 113–118 (2001)Google Scholar
  5. 5.
    Darabi, H., Jafari, M.A., Buczak, A.L.: A control switching theory for supervisory control of discrete event systems. IEEE Trans. Robot. Autom. 19(1), 131–137 (2003)CrossRefGoogle Scholar
  6. 6.
    Murata, T.: Petri nets: Properties, analysis and applications. Proc. IEEE, 541–580 (1989)Google Scholar
  7. 7.
    Wolsey, L.A.: Integer Programming. Wiley, New York (1998)MATHGoogle Scholar
  8. 8.
    Cai, X., Vyatkin, V., Hanisch, H.-M.: Design and implementation of a prototype control system according to IEC 61499. In: Proc. IEEE Conf. Emerging Technol. Factory Autom., pp. 269–276 (2003)Google Scholar
  9. 9.
    Boucher, T.O.: Computer Automation in Manufacturing: An Introduction. Chapman & Hall, London (1996)Google Scholar
  10. 10.
    Cassandras, G.C., Lafortune, S.: Introduction to Discrete Event Systems. Kluwer, Norwell (1999)MATHGoogle Scholar
  11. 11.
    Lin, F., Wonham, W.M.: Supervisory control of timed discrete event systems under partial observation. IEEE Trans. Autom. Control 40(3), 558–562 (1995)MathSciNetMATHCrossRefGoogle Scholar
  12. 12.
    Ramadge, P.J.G., Wonham, W.M.: The control of discrete event system. Proc. IEEE 77(1), 81–98 (1989)CrossRefGoogle Scholar
  13. 13.
    Zhou, M., DiCesare, F., Desrochers, A.A.: A top-down approach to systematic synthesis of Petri net models for manufacturing systems. In: Proc. IEEE Int. Conf. Robot. Autom., pp. 534–539 (1989)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • G. Manoj
    • 1
  • J. Samson Immmanuel
    • 1
  • P. S. Divya
    • 1
  • A. P. Haran
    • 2
  1. 1.Eletronics and CommunicationKarunya UniversityCoimbatoreIndia
  2. 2.Aeronautical EngineeringPark College of Engineering and TechnologyCoimbatoreIndia

Personalised recommendations