Skip to main content
SpringerLink
Log in

Computer-aided analysis and design of sequential control in industrial processes

  • Conference paper
  • First Online:
Computer Aided Systems Theory — EUROCAST '93 (EUROCAST 1993)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 763))

Included in the following conference series:

  • 159 Accesses

Abstract

Methods of program design for the automation of practical industrial processes are discussed. The Grafcet standard is used as a means to reduce the complexity of large programming tasks and to formalise the state-machine structure often used in the control of discrete-event dynamic systems. Knowledge-based techniques by means of the programming language Prolog are introduced to enable logic reasoning as a tool to be used in program construction and verification.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Boullart, L.(1992). Using A.I.-Formalisms in Programmable Logic Controllers. In: Boullart, L., Krijgsman, A., and Vingerhoeds, R. A. (Eds.) Application of Artificial Intelligence in Process Control Pergamon Press.

    Google Scholar 

  2. Warnock, I. G.(1988). Programmable Controllers, Operation and Application. Prentice Hall.

    Google Scholar 

  3. David, R., Alla, H.(1992). Petri Nets and Grafcet. Prentice Hall.

    Google Scholar 

  4. Marce, L., Le Parc, P.(1993). Defining the Semantics of Languages for Programmable Controllers with Synchronous Processes. Control Eng.Practice, Vol. 1. No. 1. pp. 79–84.

    Google Scholar 

  5. Välisuo, H.(1991). Discrete-event Control and Monitoring of Industrial Process Plants. Proceedings of the First IFAC Symposium of Design Methods od Control Systems, Zurich, Switzerland.

    Google Scholar 

  6. Välisuo, H.(1992). Computer-Aided Design of Plant Automatics. The Joint Finnish-Russian Symposium on Computer-Aided Control Engineering, Espoo, Finland.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Control Engineering Laboratory, Helsinki University of Technology, Otakaari 5 A, FIN-02150, Espoo, Finland

    Kai Zenger

Authors
  1. Kai Zenger
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Franz Pichler Roberto Moreno Díaz

Rights and permissions

Reprints and permissions

Copyright information

© 1994 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Zenger, K. (1994). Computer-aided analysis and design of sequential control in industrial processes. In: Pichler, F., Moreno Díaz, R. (eds) Computer Aided Systems Theory — EUROCAST '93. EUROCAST 1993. Lecture Notes in Computer Science, vol 763. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57601-0_70

Download citation

  • DOI: https://doi.org/10.1007/3-540-57601-0_70

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-57601-3

  • Online ISBN: 978-3-540-48286-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation