Skip to main content
SpringerLink
Log in

Logic Control and “Reactive” Systems: Algorithmization and Programming

  • Published:
Automation and Remote Control Aims and scope Submit manuscript

Abstract

Algorithmization and programming principles for logic control and “reactive” systems are formulated, regarding algorithms and programs as finite automata. The application of finite automata to programming for other problems is also reviewed.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

REFERENCES

  1. International Standard IEC 1131–3: Programmable Controllers. Part 3. Programming Languages, International Electrotechnical Commission, 1993.

  2. SIMATIC. Simatic S7/M7/C7. Programmable Controllers, Catalog St 70, SIEMENS, 1996.

  3. TSX T607. Programming Terminal. User's Manual, Telemecanique, 1987.

  4. Modicon Catalog and Specifier's Guide, Modicon, AEG Schneider Automation, 1995.

  5. Programmable Controller. Melsec A. Programming Manual, Type ACPU, Common Instructions, Mitsubishi Electric.

  6. ABB Procontic T200. Mid-Range Automation Systems using Modern Technology, ASEA Brown Boveri, 1994.

  7. ET-PDS. Software for Programmable Logic Controllers, Tosiba International (Europe), 1995.

  8. Shalyto, A.A., SWITCH-tekhnologiya. Algorimizatsiya i programmirovanie zadach logicheskogo upravleniya (SWITCH-Technology. Algorithmization and Programming of Logic Control Problems), St. Petersburg: Nauka, 1998.

    Google Scholar 

  9. Guzik, I.M., Standard IEC 1131: GRAFSET Languague A Closer Look, Schneider Automation Club, 1999, no. 6.

  10. Lavrov, S.S., Lektsii po teorii programmirovaniya. Uchebnoe posobie (Lectures on Theory of Programming: A Textbook), St. Petersburg: S.-Peterburg. Gos. Univ., 1999.

    Google Scholar 

  11. Booch, G., Object-Oriented Analysis and Design with Applications, Redwood City: Benjamin/Cummings, 1994. Translated under the title Ob”ektno-orientirovannyi analiz i proektirovanie s primerami prilozhenii na C++, St. Petersburg: Nevskii Dialekt, 1998.

    Google Scholar 

  12. Fowler, M. and Scott, K., UML Distilled: Applying the Standard Object Modelling Language, Reading: Addison-Wesley, 1997. Translated under the title UML v kratkon izlozhenii. Primenenie standartnogo yazyka ob”ektnogo modelirovaniya, Moscow: Mir, 1999.

    Google Scholar 

  13. Klir, G.J., An Approach to General Systems Theory, New York: Van Nostrand, 1969. Translated under the title Abstraktnoe ponyatie sistemy kak metodologicheskoe sredstvo. Issledovaniya po obshchei teorii sistem, Moscow: Progress, 1969.

    Google Scholar 

  14. Kuznetsov, B.P., Structure and Complexity of Cyclic Program Modules, Avtom. Telemekh., 1999, no. 2.

  15. Odell, J.J., Advanced Object-Oriented Analysis and Design using UML, New York: SIGS Books, 1998.

    Google Scholar 

  16. Tal', A.A., Aizerman, M.A., Rozonoer, L.I., et al., Logika. Avtomaty. Algoritmy (Logic, Automata, and Algorithms), Moscow: Fizmatgiz, 1963.

    Google Scholar 

  17. Shatyto, A.A., Application of Graph-Schemes of Algorithms and Transition Graphs in Program Realization of Logic Control Algorithms, Avtom. Telemekh., 1996, nos. 6, 7.

  18. Glushkov, V.M., Sintez tsifrovykh avtomatov (Synthesis of Digital Automata), Moscow: Fizmatgiz, 1962.

    Google Scholar 

  19. Yourdon, E. and Argila, C., Case Studies in Object-Oriented Analysis and Design, Upper Saddle River: Prentice Yall, 1996. Translated under the title Strukturnye modeli v ob”ektno-orientirovannom analize i proektirovanii, Moscow: Lori, 1999.

    Google Scholar 

  20. Ross, D.T., Structured Analysis (SA): A Language for Communicating Ideas, IEEE Trans. Software Eng., 1977, vol. SE-3, no. 1.

  21. Chow, T.S., Testing Software Design Modeled by Finite State Machines, IEEE Trans. Soft. Eng., 1978, no. 3.

  22. King, D., et al., On Object State Testing, in 18th Annu. Int. Computer Software & Applications Conf., Los Alamitos: IEEE Computer Society, 1993.

    Google Scholar 

  23. Turner, C.D. and Robson, D.J., The State-Based Testing of Object-Oriented Programs, in Conf. Software Maintenance, Los Alamitos: IEEE Computer Society, 1993.

    Google Scholar 

  24. Jorgenson, P. and Erickson, C., Object-Oriented Integration Testing, Com. ACM, 1994, no. 9.

  25. Bunder, R.V., The FREE-Flow Graph: Implementation-Based Testing of Objects Using State-Determined Flows, in 8th Annu. Software Quality Week, San Francisco: Software Research, 1995.

    Google Scholar 

  26. Burgonov, I.B., Kosachev, A.S., and Kulyamin, V.V., Use of Finite Automata in Program Testing, Programmirovanie, 2000, no. 2.

  27. Kurshan, R.P., Computer-Aided Verification of Coordinated Prosesses The Automata-Theoretic Approach, Princeton: Princeton Univ. Press, 1994.

    Google Scholar 

  28. Kurshan, R.P., Program Verification, Notices ACM, 2000, no. 5.

  29. Shatyto, A.A., Implementation of Logic Control Algorithms in Functional Block Language, Prom. ASU Kontrollery, 2000, no. 4.

  30. Martin, R.C., Designing Object-Oriented C++ Applications Using the Booch Method, Englewood Cliffs: Prentice Hall, 1995.

    Google Scholar 

  31. Prigozhin, I. and Stengers I., Order in Chaos, Moscow: Editorial URSS, 2000.

    Google Scholar 

  32. Traxtenbrot, B.A. and Bargzin, Ya.M., Konechnye avtomaty. Povegenie i sintez (Finite Automata: Behavior and Synthesis), Moscow: Nauka, 1970.

    Google Scholar 

  33. Gill, A., Introduction to the Theory of Finite-State Machines, New York: McGraw-Hill, 1962. Translated under the title Vvedenie v meoriyu konechnykh avtomatov, Moscow: Nauka, 1966.

    Google Scholar 

  34. Friedman, A.D. and Menon, P.R., Theory and Design of Switching Circuits, New York: Computer Sci., 1975. Translated under the title Teoriya i proektirovanie pereklyuchatel'nykh skhem, Moscow: Mir, 1978.

    Google Scholar 

  35. Kaner, C., Falk, J., and Hung Quoc Nguyen, Testing Computer Software, New York: Van Nostrand, 1993. Translated under the title Testirovanie programmnogo obespecheniya, Kiev: DiaSoft, 2000.

    Google Scholar 

  36. Rudnev, V.V., A System of Interconnected Graphs and Modeling of Discrete Processes, Avtom. Telemekh., 1984, no. 9.

  37. Budd, T., An Introduction to Object-Oriented Programming, Reading: Addison-Wesley, 1991. Translated under the title Ob'ektno-orientirovannoe programmirovanie v deistvii, St. Petersburg: Piter, 1997.

    Google Scholar 

  38. Zaitsev, S.S., Opisanie i realizatsiya protokolov setei EVM (Computer Network Protocols: Description and Implementation), Moscow: Nauka, 1989.

    Google Scholar 

  39. Shatyto, A.A. and Tukkel', N.I., SWITCH-Technology—An Automatic Approach to Software Design for “Reactive” Systems, in Int. Conf. Telematics, St. Petersburg: Inst. Exact Mech. Optics, 2000.

    Google Scholar 

  40. Kalyanov, G.N., CASE. Strukturnyi analiz (avtomatizatsiya i primenenie) (CASE. Structural Analysis: Automation and Application), Moscow: Lori, 1996.

    Google Scholar 

  41. Schultz, D.P. and Schultz, S.E., A History of Modern Psychology, Fort Worth: Harcourt Brace College, 1996. Translated under the title Istoriya sovremennoi psikhologii, St. Petersburg: Evraziya, 1998.

    Google Scholar 

  42. Functinal Description. Warm-Up and Prelubrication Logic. Generator Control Unit, Severnaya Hull N431, Norcontrol, 1993.

  43. Project 15640. AS 21. DG 1. Control. AMIE. 95564.12M, St. Petersburg: Avrora, 1991.

  44. Sistema upravleniya turbokompressornym agregatom “Larina.” Tekhnicheskoe opisanie. Prilozhenie 1. AMIE. 421417.010 TO.01 (Control System for “Larin” Turbocompressor Unit. Technical Description. Appendix 1. AMIE. 421417.010 TO.01), St. Petersburg: Avrora, 1998.

  45. Autolog 32. Rukovodstvo pol'zovatelya (User Guide), St. Petersburg: FF-Automation.

  46. Baglyuk, Yu.V. and Shatyto, A.A., Programmiruemye logicheskie kontrollery “Autolog.” 124 primera programm na yazyke “ALPro,” realizuyushchikh algoritmy logicheskogo upravleniya (Programmable Logic Controllers “Autolog.” 124 Examples of Programs in ALPro Realizing Logic Control Algorithms), St. Petersburg: FF-Automation, 1999.

    Google Scholar 

  47. Translyator “CF→ALPro” dlya programmirovaniya kontrollerov tipa “Autolog.” Rukovodstvo pol'zovatelya(CT→ALPro Translator for Programming Autolog Controllers. User Guide, NZF.TR 2. 1RP), St. Petersburg: FF-Automation, 1999.

  48. Litov, D.V., Automaton or Turing Machine, Mir PK, 1999, no. 3.

  49. Baranov, S.I., Sintez mikroprogrammnykh avtomatov (graf-skhemy i avtomaty) (Synthesis of Microprogram Automata: Graph-Schemes and Automata), Leningrad: Energiya, 1979.

    Google Scholar 

  50. Lyubchenko, V.S., We Choose or We Are Chosen... (Choice of an Algorithmic Model), Mir PK, 1999, no. 3.

  51. Zatuliveter, Yu.S. and Khalatyan, T.G., Sintez obshchikh algoritmov po demonstratsiyam chastnykh primerov (avtomatnaya model' obobshcheniya po primeram (Synthesis of General Algorithms from Particular Demonstration Examples: Automaton Model for Generalization from Examples), Moscow: Inst. Probl. Upravlen., 1997.

    Google Scholar 

  52. Matveev, V.I., Windows CE—A New PLC Development Stage, Prib. Sist. Upravlen., 1999, no. 3.

  53. Tukkel', N.I. and Shatyto, A.A., Comparison of Event and Automaton Approaches to Logic Control Programming, in Conf. Telematics'99, St. Petersburg: LITMO, 1999.

    Google Scholar 

  54. Shatyto, A.A., Logicheskoe upravlenie. Metody apparatnoi i programmnoi realizatsii algoritmov (Logic Control: Hardware and Software Implementation of Algorithms), St. Petersburg: Nauka, 2000.

    Google Scholar 

  55. Tukel, N., Programming with Use of a Switch-Technology, Euroxchange. Special Student's Issue, ISA, 1999, no. 2.

  56. Shalyto, A.A., Technology of Program Realization of Logic Control Algorithms as a Lifetime Enchancing Tool. Problems of Guaranteed Lifetimes of Vessels and Ships, in Sci. Tech. Conf., St. Petersburg: Krylov NTO, 1992.

    Google Scholar 

  57. Shalyto, A.A., Cognitive Properties of Hierarchical Representations of Complex Logical Structures: Architectures for Semiotic Modeling and Situation Analysis in Large Complex Systems, in 10th IEEE Int. Symp. Intel. Control, Monterey, California, 1995.

  58. Shatyto, A.A. and Antipov, V.V., Algorimizatsiya i programmirovanie zadach logicheskogo upravleniya tekhnicheskimi sredstvami (Alorithmization and Programming for logic Control of Technical Tools), St. Petersburg: Morintekh, 1996.

    Google Scholar 

  59. Bagljuk, Y.V. and Shalyto, A.A., SWITCH-Technology. Algorithmic and Programming Methods for Logic Control of Ship Equipment, in Int. Conf. Informatics and Control, St. Petersburg, 1997, vol. 1.

  60. Kuznetsov, O.P., Makarevskii, A.Ya., Markovskii, A.V., et al., Yarus A Description Language for the Operation of Complex Automata, Avtom. Telemekh., 1972, nos. 6, 7.

  61. Kuznetsov, O.P., Logic Automaton Graphs and Their Transformations, Avtom. Telemekh., 1975, no. 9.

  62. Kuznetsov, O.P., Shipilina, L.B., Grigoryan, A.K., et al., Logic Programming Languages: Their Design and Computer Implementation (as Illustrated by Yarus-2 Language), Avtom. Telemekh., 1985, no. 6.

  63. Lyubashin, A., Industrial and Built-in Systems: “Standard” Design, PC Week, 2000, no. 15.

  64. ADAM-5510/P31. Everything for PC-Aided Automation, Advantech, 1999, vol. 91.

  65. Programmable Controller Fundamentals, New York: Allen-Bradley, 1985.

  66. Micro Mentor: Understanding and Applying Micro Programmable Controllers, New York: Allen-Bradley, 1995.

  67. Jones, C.T. and Bryan, L.A., Programmable Controller Concepts and Applications, Int. Programmable Controllers, 1983.

  68. Gilbert, R.A. and Llewellyn, J.A., Programmable Controllers Practices and Concepts, Indust. Training Corp., 1985.

  69. Lloyd, M., Grafset—Graphical Functional Chart Programming for Programmable Controllers, Measur. Control Mag., 1987, no. 9.

  70. Bryan, L.A. and Bryan, E.A., Programmable Controllers: Theory and Implementation, Industrial Text Corp., 1988.

  71. Webb, J.W. and Reis, R.A., Programmable Logic Controllers: Principles and Applications, Englewood Cliffs: Prentice Hall, 1995.

    Google Scholar 

  72. Wisnosky, D.E., SoftLogic: Overcoming Funnel Vision, Wizdom Controls, 1996.

  73. Highes, T.A., Programmable Controllers, Instrument Society of America (ISA), 1997.

  74. Vernikov, G., Organization Activicity Research Elements: Standard IDEF3, READ.ME, 2000, no. 2.

  75. Shatyto, A.A., Program Implementation of Control Automata, Sudostroit. Prom. Ser. Avtom. Telemekh., 1991, issue 13.

  76. Bowen, J.P. and Hinchey, M.G., Ten Commandments of Formal Methods, Mir PK, 1997, nos. 9, 10.

  77. Series 90–70. State Logic Control System. User's Manual, North Arizona: GE Fanuc Autom., 1998.

  78. Industrial Controllers, Matsushita Automation Controls.

  79. Software for Programmable Controllers and Visualization, Festo Cybernetic.

  80. Martynyuk, V.V., Analysis of Transition Graphs of Operator Schemes, Zh. Vychisl. Mat. Mat. Fiz., 1965, no. 2.

  81. Karpov, Yu.G., Osnovy postroeniya kompilyatorov. Uchebnoe pocobie (Compiler Design Principles: A Textbook), Leningrad: Leningrad. Pedagog. Inst., 1982.

    Google Scholar 

  82. Kas'yanov, V.N. and Pottosin, I.V., Metody postroeniya translyatorov (Translator Design Methods), Novosibirsk: Nauka, 1986.

    Google Scholar 

  83. Beizer, B., The Architecture and Engineering of Digital Computer Complexes, New York: Plenum, 1971, vol. 1. Translated under the title Arkhitektura vychislitel'nykh kompleksov, Moscow: Mir, 1974.

    Google Scholar 

  84. Booch, G., Object Oriented Design with Applications, Redwood City: Benjamin/Cummings, 1991. Translated under the title Ob”ektno-orientirovannoe proektirovanie s primerami, Kiev: Dialektika, 1992.

    Google Scholar 

  85. Stroustrup, B., The C++ Programming Language, Reading: Addison-Wesley, 1986. Translated under the title Yazyk programmirovaniya C++, Moscow: Radio i Svyaz', 1991.

    Google Scholar 

  86. Lyubchenko, V.S., New Songs on the Main (Programmer's Strap), Mir PK, 1998, nos. 6, 7.

  87. Shlaer, S. and Mellor, S., Object Lifecycles: Modeling the World in State, Englewood Cliffs: Prentice Hall, 1992. Translated under the title Ob”ektno-orientirovannyi analiz: modelirovanie mira v sostoyaniyakh, Kiev: Dialektika, 1993.

    Google Scholar 

  88. Harel, D., Statecharts: A Visual Formalism for Complex Systems, Sci. Comput. Program., 1987, vol. 8.

  89. Harel, D., et al., STATEMATE: A Working Environment for the Development of Complex Reactive Systems, IEEE Trans. Eng., 1990, no. 4.

  90. Douglass, B.P., UML Statecharts, Massachusetts: I-Logix, 1998.

  91. Booch, G., Rumbaugh, J., and Jacobson, I., The Unified Modeling Language. User Guide, Massachusetts: Addison-Wesley, 1998. Translated under the title Yazyk UML. Rukovodstvo pol'zovatelya, Moscow: DMK, 2000.

    Google Scholar 

  92. Unified Modeling Language (UML), Version 1.0, Califormia: Rational Software, 1997.

  93. Harel, D. and Pnueli, A., On the Development of Reactive Systems, in Logic and Model of Computer Systems, Apt, K.R., Ed., New York: Springer-Verlag, 1985.

    Google Scholar 

  94. Harel, D., et al., On Formal Semantics of Software, in 2nd IEEE Symp. Logic in Computer Science, New York: IEEE Press, 1987.

    Google Scholar 

  95. Coleman, D., Hayes, E., and Bear, S., Introducing Objectcharts, or How to Use Statecharts in Object-Oriented Design, IEEE Trans. Soft. Eng., 1992, no. 1.

  96. Harel, D. and Naamad, A., The STATEMATE Semantics of Statecharts, ACM Trans. Soft. Eng. Metodology, 1996, no. 10.

  97. Harel, D. and Gery, E., Executable Object Modeling with Statecharts, Computer, 1997, no. 7.

  98. Harel, D. and Politi, M., Modeling Reactive Systems with Statecharts, New York: McGraw-Hill, 1998.

    Google Scholar 

  99. Douglass, B.P., Real-Time UML: Developing Eficient Objects for Embedded Systems, Massachusetts: Addison-Wesley, 1998.

    Google Scholar 

  100. Douglass, B.P., Doing Hard Time: Using Object-Oriented Programming and Software Patterns in Real-Time Applications, Massachusetts: Addison-Wesley, 1998.

    Google Scholar 

  101. Karpov, Yu.G., Teoriya algoritmov i avtomatov: Kurs lektsii (Course in Theory of Algorithms and Automata), St. Petersburg: Nestor, 1998.

    Google Scholar 

  102. International Standard ISO 9074: Information Processing Systems. Open Systems Interaction. ESTELLE: A Formal Description Technique Based on an Extended State Transition Model, 1989.

  103. Bochman, G.V., Finite State Description of Communication Protocols, Comput. Network Protocol Suppl. Liege, 1978, vol. 2.

  104. Dantine, A., Protocol Representation with Finite-State Models, IEEE Trans. Commun., 1980, no. 4.

  105. Brand, D. and Zafiropulo, P., On Communicating Finite-State Machines, J. ACM, 1983, no. 2.

  106. CCITT Recomendation Z.100: CCITT Specification and Description Language (SDL), COM X-R 26, Geneva: ITU General Secretariat, 1992.

  107. Braek, R. and Haugen, F., Engineering Real-Time Systems, Englewood Cliffs: Prentice Hall, 1993.

    Google Scholar 

  108. Gold'shtein, B.S., Signalizatsiya v setyakh svyazi (Signaling in Communication Networs), Moscow: Radio i Svyaz', 1997.

    Google Scholar 

  109. Ivanov, A., Koznov, D., and Murashova, T., The BehaviorModel RTST++, in Zapiski seminara kafedry sistemnogo programmirovaniya. CASE-sredstva RTST++, (Seminar Annals, Department of System Programming: CASE-Tools of RTST++), St. Petersburg: S.-Peterburg. Gos. Univ., 1998, issue 1.

    Google Scholar 

  110. Parfenov, V.V. and Terekhov, A.N., RTST-Technology of Real-Time Built-In System Programming, in Sistemnaya Informatika, (Systems Informatics) Novosibirsk: Nauka, 1997, vol. 5.

    Google Scholar 

  111. Terekhov, A.N., RTST-Technology of Real-Time Built-In System Programming, in Zapiski seminara kafedry sistemnogo programmirovaniya. CASE-sredstva RTST++, (Seminar Annals, Department of System Programming: CASE-Tools of RTST++), St. Petersburg: S.-Peterburg. Gos. Univ., 1998, issue 1.

    Google Scholar 

  112. Dolgov, P., Ivanov, A., Terekhov, A., et al., An Object-Oriented Extension of RTST-Technology, in Zapiski seminara kafedry sistemnogo programmirovaniya. CASE-sredstva RTST++, (Seminar Annals, Department of System Programming: CASE-Tools of RTST++), St. Petersburg: S.-Peterburg. Gos. Univ., 1998, issue 1.

    Google Scholar 

  113. Terekhov, A.N., Romanovskii, K.Yu., Koznov, D.V., et al., REAL: Methodology and CASE-Tool for Designing Information Systems and Real-Time System Software, Programmirovanie, 1999, no. 5.

  114. Koznov, D.V., Finite Automaton—The Base of Visual Representation of Object Behavior, in Ob”ektnoorientirovannoe vizual'noe mo (Object-Oriented Visual Modeling), St. Petersburg: S.-Peterburg. Gos. Univ., 1999.

    Google Scholar 

  115. Microsoft. Solution'99, Microsoft, 1999, no. 7.

  116. Cook, S. and Daniels, J., Designing Object Systems. Object-Oriented Modeling with Syntropy, Englewood Cliffs: Prentice Hall, 1994.

    Google Scholar 

  117. Rambaugh, J., Blaha, M., Premerlani, W., et al., Object-Oriented Modeling and Design, Englewood Cliffs: Printice Hall, 1991.

    Google Scholar 

  118. Jacobson, I., Object-Oriented Software Engineering: A Use Case Driven Approach, Massachusetts: Addison-Wesley, 1992.

    Google Scholar 

  119. xjCharts. Release 2.0. User's Manual, Experimental Object Technologies, 1999.

  120. STATEFLOW for Use with Simmulink. User's Guide. Version 1, Massachusetts: Math Works, 1998.

  121. MATLAB. The Language of Technical Computing. Version 5.2, Massachusetts: Math Works, 1998.

  122. Zyubin, V. E., Fifth Anniversary of the Standard IEC 1131–3. Resume and Forecasts, Prib. Sist. Upravlen., 1999, no. 1.

  123. Herr, R., A New Turn, PC Magazine, 1998, no. 10.

  124. Gubanov, Yu.A., Zalmanov, S.Z., and Kurnetsov, B.P., Control of Automatic Switches for Marine Electroheating System, in 3 Int. Conf. Marine Intelligent Technology “Morintex-99,” St. Pertersburg: Marintex, 1999, vol. 3.

    Google Scholar 

  125. Mendelevich, V.A., Nonprocedural Languages A New Generation of Design Tools for ACS Technological Processes, Prom. ASU Kontrollery, 2000, no. 1.

  126. Cormen, T.H., Leizerson, C.E., and Rivest, R.L., Introduction to Algorithms, Cambridge: MIT Press, 1990. Translated under the title Algoritmy. Postroenie i analiz, Moscow: MTsNTO, 1999.

    Google Scholar 

  127. Odell, J.J., Approaches to Finite-State Machine Modeling, J. Obiect-Oriented Prog., 1995, no. 1.

  128. Heizinger, T., Manna, Z., and Pnueli, A., Timed Transition Systems, Technical Report TR 92–1263, Dept. Computer Science, Cornell Univ., 1992.

  129. Ward, P. and Mellor, S., Structured Techniques for Real-Time Systems, Englewood Cliffs: Prentice Hall, 1985.

    Google Scholar 

  130. Hatley, D., and Pirbhai, I., Strategies for Real-Time System Specification, New York: Dorset House, 1987.

    Google Scholar 

  131. Drysinsky, D., Visual Programming. Better State. Product Overview. R-Active Concepts, Cupertino, 1993.

  132. Selic, B., An Eficient Object-Oriented Variation of Statecharts Formalism for Distributed Real-Time Systems, in IFIP Conf. Hardware Description Languages and Their Applications, CHDL'93, Ottawa, 1993.

  133. Selic, B., Gullekson, G., and Ward, P., Real-Time Object-Oriented Modeling, New York: Wiley, 1994.

    Google Scholar 

  134. Borshchev, A.V., Karpov, Y.G., and Roudakov, V.V., COVERS—A Tool for the Design of Real-Time Concurrent Systems. Parallel Computing Technologies, in Lecture Note in Computer Science, 1995, no. 964.

  135. Booch, G. and Rambaugh, J., Unified Method for Object-Oriented Development. Documentation Set. Version 0.8, Rational Software, 1996.

  136. Sonkin, V.L., Martinov, G.M., and Lyubimov, A.B., Dialog Interpretation inWindows Interface Control Systems, Prib. Sist. Upravlen., 1998, no. 12.

  137. Ran, A.S., Modeling States as Classes, in Tools USA 94, Singh, M. and Meyer, B., Eds., Englewood Cliffs: Prentice Hall, 1994.

    Google Scholar 

  138. Ran, A.S., Patterns of Events, in Pattern Languages of Program Design, Coplien, J.O. and Schmidt, D.C., Eds., Massachusetts: Addison-Wesley, 1995.

    Google Scholar 

  139. Ilgum, K., Kemmerer, R., and Porras, P., State Transition Analysis: A Rule-Based Intrusion Detection Approach, IEEE Trans. Software Eng., 1995, no. 3.

  140. Corbett, J.C., Evaluating Deadlock Detection Methods for Concurrent Software, IEEE Trans. Software Eng., 1996, no. 3.

  141. Alur, R., Henzinger, T., and Pei-Hsin Ho, Automatic Symbolic Verification of Embedded Systems, IEEE Trans. Software Eng., 1996, no. 3.

  142. Heimdahl Mats, P.E. and Leveson, N.G., Completeness and Consistency in Hierarchical State-based Requirements, IEEE Trans. Software Eng., 1996, no. 6.

  143. Ardis, M.A., et al., A Framework for Evaluaing Specification Methods for Reactive Systems. Experience Report, IEEE Trans. Software Eng., 1996, no. 6.

  144. Corbett, J.C., Timing Analysis of ADA Tasking Programs, IEEE Trans. Software Eng., 1996, no. 7.

  145. Zave, P. and Jackson, M., Where Do Operations Come From? A Multiparadigm Specification Technique, IEEE Trans. Software Eng., 1996, no. 7.

  146. Coen-Porisini, A., Ghezzi, C., and Kemmerer, R., Specification of Real-Time Systems Using ASTRAL, IEEE Trans. Software Eng., 1997, no. 9.

  147. Avrynin, G.S., Corbett, J.C., and Dillon, L.K., Analyzing Partially Implemented Real-Time Systems, IEEE Trans. Software Eng., 1998, no. 8.

  148. Ptiper, K., Synchronous C++ for Interactive Applications, Otkrytye Sist., 1999, no. 3.

  149. Lyubchenko, V.S., Billiards with Microsoft Visual C++ 5.0, Mir PK, 1998, no. 1.

  150. Lyubchenko, V.S., The Mayhill Problem for Microsoft Visual C++ 5.0 (Synchronization of Processes in Windows), Mir PK, 2000, no. 2.

  151. La Mot, A., RatCliff, D., Seminatore, M., et al., Sekrety programmirovaniya igr (Secrets of Game Programming), St. Petersburg: Piter, 1995.

  152. Sholomov, L.A., Osnovy teorii diskretnykh logicheskikh i vychislitel'nykh ustroistv (Elements of the Theory of Discrete logic and Computing Devices), Moscow: Nauka, 1980.

    Google Scholar 

  153. Kuznetsov, O.P., Nonclassical Paradigms in Artificial Intellegence, Izv. Ross. Akad. Nauk, Teor. Sist. Upravlen., 1995, no. 3.

  154. Cook, D., Urban, D., and Hamilton, S., Unix and not only Unix. An Interview with Ken Tompson, Otkrytye Sist., 1999, no. 4.

  155. Shatyto, A.A., SWITCH-Technology. Algorithmization and Programming for Logic Control Problems, Prom. ASU Kontrol., 1999, no. 9.

  156. Shatyto, A.A., SWITCH-Technology. Algorithmization and Programming for Logic Control Problems, in Int. Conf. Control, Moscow: Inst. Probl. Upravlen., 1999, vol. 3.

  157. Goodman, S.R. and Hedetniemi, S.T., Introduction to the Design and Analysis of Algorithms, New York: McGraw-Hill, 1977. Translated under the title Vvedenie v razrabotku i analiz algoritmov, Moscow: Mir, 1981.

    Google Scholar 

  158. Brooks, F.P., The Mythical Man-Month: Essays on Software Engineering, Reading: Addison-Wesley, 1995. Translated under the title Mificheskii cheloveko-mesyats ili kak sozdayutsya programmnye sistemy, St. Petersburg: Simvol, 2000.

    Google Scholar 

  159. Lipaev, V.V., Dokumentirovanie i upravlenie konfiguratsiei programmnykh sredstv. Metody i standarty (Documentating and Controling the Configuaration of Program Tools: Methods and Standards), Moscow: Sinteg, 1998.

    Google Scholar 

  160. Nepomnyashchii, V.A. and Ryakin, O.M., Prikladnye metody verifikatsii programm, (Applied Program Verification Methods), Moscow: Radio i Svyaz', 1988.

    Google Scholar 

  161. Woodcock, J. and Davies, J., Using Z-Specification. Refinement and Proof, Oxford: Oxford Univ. Press, 1995.

    Google Scholar 

  162. Varshavskii, V.I., Kollektivnoe povedenie avtomatov (Collective Behavior of Automata), Moscow: Nauka, 1973.

    Google Scholar 

  163. Round Table: Paradigms of Artificial Intellect, Novosti Iskussvessnogo Intellekta, 1998, no. 3.

  164. Voas, D., Program Quality: Eight Myths, Otkrytye Sist., 1999, nos. 9, 10.

  165. Antonov, A.P., Melekhin, V.F., and Filippov, A.S., Obzor elementnoi bazy firmy ALTERA (A Review of ALTERA Elemental Bases), St. Petersburg: EFO, 1997.

  166. Wirth, N., Digital Circuit Design, New York: Springer-Verlag, 1995.

    Google Scholar 

  167. Wirth, N., Hardware Compilation: Translating Programs into Circuits, Computer, 1998. Translated in Otkrytye Sist., 1998, nos. 4, 5.

  168. Armstrong, J.R., Chip-Level Modelling with VHDL, Englewood Cliffs: Prentice Hall, 1989. Translated under the title Modelirovanie tsifrovykh sistem na yazyke VHDL, Moscow: Mir, 1992.

    Google Scholar 

  169. MAX + PLUS II. AHDL. Version 6.0, California: Altera, 1995.

  170. Xilinx Foundation. M.1.5, California: Xilinx, 1997.

  171. Clare, C.R., Designing Logic Systems Using State Machines, New York: McGraw-Hill, 1973.

    Google Scholar 

  172. A Framework for Hardware-Software Co-Design of Embedded Systems, Technical Report, Berkley: Comp. Sci. Dept., Univ. California, 1995.

  173. Lektsii laureatov premii Tyuringa za pervye dvadtsat' let 1966–1885 (Lectures of Turing Laureates in 1966–1985), Moscow: Mir, 1993.

  174. Dijkstra, E.W., A Discipline of Programming, Englewood Cliffs: Prentice Hall, 1976. Translated under the title Vzaimodeisvie posledovatel'nykh protsessov: Yazyki programmirovaniya, Moscow: Mir, 1972.

    Google Scholar 

  175. Deitel, H.M. and Deitel, P.D., C++ How to Programm, Upper Saddle River: Prentice Hall, 1998. Translated under the title Kak programmirovat' na C++, Moscow: Binom, 1999.

    Google Scholar 

  176. TSX Nano. PL7–07 Language Self-Instruction Manual, Groupe Schneider, 1997.

  177. Pottosin, I.V., Program Quality Criteria, in Sistemnaya Informatika (System Informatics), Novosibirsk: Nauka, 1998, vol. 6.

    Google Scholar 

  178. Gerr, R., Debugging Humanity, PC Magazine, 2000, no. 5.

  179. Chernyak, L., XML, Sideview, Otkrytye Sist., 2000, no. 4.

  180. Astrov, V.V., Vsilenko, V.S., and Tot'meninov, L.V., Voprosy sozdaniya integrirovannykh sistem upravleniya yadernymi energeticheskimi ustanovkami: Sistemy upravleniya i obrabotki informatsii (Design of Integrated Control Systems for Nuclear Power Plants: Data Control and Processing Systems), St. Petersburg: Avrora, 2000, vol. 1.

    Google Scholar 

  181. Boggs, W. and Boggs, M., Mastering UML with Rational Rose, San Francisco: Sybex, 1999.

    Google Scholar 

  182. Romanovskii, I.V., Diskretnyi analiz (Discrete Analysis), St. Petersburg: Nevskii Dialekt, 2000.

  183. Turing, A.M., Computing Machinery and Intelligence, Mind, 1950, vol. 49, pp. 433–460. Reprinted under the title Can a Machine Think? in The World of Mathematics, Newman J.R., Ed., New York: Simon & Schuster, 1956, pp. 2099–2123. Translated under the title Mozhet li mashina myslit'?, Saratov: Kolledzh, 1999.

    Google Scholar 

  184. Von Neumann, J., General and Logic Theory of Automata, in Turing, A., Mozhet li mashina myslit'? (Can a Machine Think?), Saratov: Kolledzh, 1999.

    Google Scholar 

  185. Dale, N.B., Weems, C., and Headington, M., Programming in C++, Boston: Jones and Bartlett, 2000.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Federal State Science Center Avrora, St. Petersburg, Russia

    A. A. Shalyto

  2. State Institute of Fine Mechanics and Optics, St. Petersburg, Russia

    A. A. Shalyto

Authors
  1. A. A. Shalyto
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Shalyto, A.A. Logic Control and “Reactive” Systems: Algorithmization and Programming. Automation and Remote Control 62, 1–29 (2001). https://doi.org/10.1023/A:1002837232103

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1002837232103

Keywords

Search

Navigation