CAST Method Bank Systems

  • Franz Pichler
  • Heinz Schwärtzel

Abstract

In Chapter 1 we introduced the reader to the world of the “systems approach” for modelling purposes from a general point of view. The concept of system types, specific examples, and the concept of system transformations and their linking to form a system algorithm were the main objects of concern. In the following, we will introduce the concepts and computer-aided means that make Systems Theory operational for practical applications. The concept of a “method bank”, a special kind of database system which enables the user to apply the knowledge of Systems Theory, is put forward.

Keywords

Steam Hexagonal Assure Convolution Sine 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References—Chapter 2

  1. [Ahmed, Rao 75]
    N. Ahmed, K. R. Rao, Orthogonal Transforms for Digital Signal Processing, Springer Verlag, Berlin, 1975.MATHGoogle Scholar
  2. [Ashar et al. 89]
    P. Ashar, S. Devadas, A. R. Newton, “Optimum and Heuristic Algorithms for Finite State Machine Decomposition and Partitioning,” Proc. of the Intern. Conf. on Computer-Aided Design, 1989.Google Scholar
  3. [Ashar et al. 90]
    P. Ashar, S. Devadas, A. R. Newton, “A Unified Approach to the Decomposition and Redecomposition of Sequential Machines,” Proc. of the 27th Design Automation Conference, 1990.Google Scholar
  4. [Bainbridge 75]
    E. S. Bainbridge, “The Fundamental Duality of System Theory,” in Systems: Approaches, Theories, Applications. Ed. W. E. Hartnett, D. Reidel Publishing Company, Dordrecht, Chapter 3, pp. 45–61, 1975.Google Scholar
  5. [Beauchamp 84]
    K. G. Beauchamp, Applications of Walsh and Related Functions, Academic Press, London, 1984.Google Scholar
  6. [Beth 84]
    T. Beth, Verfahren der schnellen Fourier-Transformation, Teubner, Stuttgart, 1984.MATHGoogle Scholar
  7. [Bobrow, Stefik 83]
    D. G. Bobrow, M. Stefik: The LOOPS Manual, Xerox PARC, 1983.Google Scholar
  8. [Bongiovanni et al. 76]
    G. Bongiovanni, P. Corsini, G. Frosini, “One-dimensional and Two-dimensional Generalized Discrete Fourier Transforms,” IEEE Trans. Acoustics, Speech, and Signal Processing, vol. ASSP-24, pp. 97–99, Feb. 1976.MathSciNetCrossRefGoogle Scholar
  9. [Booth 67]
    T. L. Booth, Sequential Machines and Automata Theory. John Wiley and Sons, New York, 1967.MATHGoogle Scholar
  10. [Bracewell 84]
    R. N. Bracewell, “The Fast Hartley Transform,” Proc. IEEE, vol. 72, no. 8, pp. 1010–1018, 1984.CrossRefGoogle Scholar
  11. [Brauer 80]
    W. Brauer (ed.), Net Theory and Applications, Lecture Notes in Computer Science, vol. 84, Berlin, Springer Verlag, 1980.Google Scholar
  12. [Brayton et al. 87a]
    R. Brayton, G. D. Hachtel, C. T. McMullen, A. Sangiovanni-Vincentelli, Logic Minimization Algorithms for VLSI Synthesis, Kluwer Academic Publishers, Dordrecht, 1984.MATHCrossRefGoogle Scholar
  13. [Brayton et al. 87b]
    R. Brayton, R. Rudell, A. Wang, A. Sangiovanni-Vincentelli, “MIS: A Multilevel Logic Optimization System,” IEEE Trans.on Computer Aided Design, vol. 6, no. 6, pp. 1062–1081, 1987.CrossRefGoogle Scholar
  14. [Bretschneider et al. 90]
    F. Bretschneider, H. Lagger, B. Schulz, “Infrastructure for Complex Systems CAD Frameworks”, in Computer Aided Systems Theory-ELIROCAST ‘89, F. Pichler, R. Moreno-Diaz (eds.), Lecture Notes in Computer Science, vol. 410, Springer Verlag, Berlin, pp. 125–133, 1990.Google Scholar
  15. [Burger 88]
    W. Burger, “Programmierung von Computer Vision Systemen durch graphische Instruktion,” in Statistik und Mustererkennung, F. Pichler, A. Pinz (eds.), R. Oldenbourg, Wien, pp. 136–149, 1988.Google Scholar
  16. [Burger 89]
    W. Burger, “On Interactive Programming of Computer Vision Systems,” in Wissensbasierte Mustererkennung, A.Pinz (ed.), R. Oldenbourg, Wien, pp. 23–35 1989.Google Scholar
  17. [Burger 91]
    Burger W., “A Versatile Development Tool for Knowledge-Based Computer Vision,” Cybernetics and Systems, vol. 22, no. 3, pp. 313–329, 1991.MathSciNetCrossRefGoogle Scholar
  18. [Casti 77]
    J. L. Casti, Dynamical Systems and their Applications: Linear Theory, Academic Press, New York, 1977.MATHGoogle Scholar
  19. [Devadas 88]
    S. Devadas, “Decomposition and Factorization of Sequential Finite State Machines,” Proc. of the Int. Conf. on Computer-Aided Design, pp. 148–151, 1988.Google Scholar
  20. [Devadas et al. 89]
    S. Devadas, H.-K. T. Ma, A.R. Newton, A. Sangiovanni-Vincentelli, “The Relationship between Logic Synthesis and Test,” Proc. of VLSI 89 Conf., Munich, pp. 175–186, 1989.Google Scholar
  21. [Duzy et al. 89]
    P. Duzy, H. Krämer, M. Pilsl, W. Rosenstiel, T. Wecker, “CALLAS-Conversion of Algorithms to Library Adaptable Structures,” Proc. of the VLSI 89 Conference, Munich, pp. 197–218, 1989.Google Scholar
  22. [Foster 88]
    M. Foster, “Partitioning Real Finite Automata: A Progress Report,” Technical report, AT00000T Bell Laboratories, 1988.Google Scholar
  23. [Gajski, Kuhn 83]
    D. Gajski, H. Kuhn, “Guest Editors Introduction, New VLSI Tools”. Computer, vol. 16, no. 12, pp. 11–14, 1983.CrossRefGoogle Scholar
  24. [Gassner 89]
    F. Gassner, Entwurf und Implementierung eines komplexen systolischen 16x8 Schaltwerkes mit dem VLSI-Entwurfssystem VENUS, Master Thesis (in German), Johannes Kepler University, Dept. of Systems Science, 1989.Google Scholar
  25. [Gonzalez, Wintz 87]
    R. C. Gonzalez, P. Wintz, Digital Image Processing, Addison-Wesley, 2nd edition, 1987.Google Scholar
  26. [Harmuth 69]
    F. H. Harmuth, Transmissions of Information by Orthogonal Functions, Springer Verlag, New York, 1969.Google Scholar
  27. [Hartmanis, Stearns 66]
    J. Hartmanis, R. E. Stearns, Algebraic Structure Theory of Sequential Machines, Prentice Hall, Englewood Cliffs, 1966.MATHGoogle Scholar
  28. [Hellwagner 88]
    H. Hellwagner, “A Systolic Array with Constant I/O Bandwith for the Generalized Fourier Transform,” Int. Conference on Systolic Arrays, San Diego, CA, USA, pp. 207–216, 1988.Google Scholar
  29. [Hellwagner 89]
    H. Hellwagner, Systolic Architectures for the Generalized Discrete Fourier Transform, Ph.D. Thesis (in German), Johannes Kepler Univ., Linz, Verband der wissenschaftlichen Gesellschaften Österreichs ( VWGÖ ), Vienna, 1989.Google Scholar
  30. [Hofestädt, Feiten 90]
    H. Hofestädt, W. Feiten, “Embedding Test Pattern Generation into Design”. in Computer Aided Systems Theory-EUROCAST ‘89, F. Pichler, R. Moreno-Diaz (eds.), Lecture Notes in Computer Science, vol. 410, Springer Verlag, Berlin, pp. 381–398, 1990.Google Scholar
  31. [Hörbst et al. 87]
    E. Hörbst, C. Müller-Schloer, H. Schwärtzel, Design of VLSI Circuits, Based on Venus, Springer Verlag, Berlin, 1987.Google Scholar
  32. [Kalman 69]
    R. E. Kalman, P. L. Falb, M. A. Arbib, Topics in Mathematical Systems Theory, McGraw-Hill, New York, 1969.Google Scholar
  33. [Kanal, Kumar 88]
    L. Kanal, V. Kumar (eds.): Search in Artificial Intelligence, Springer Verlag, New York 1988.MATHGoogle Scholar
  34. [Klir 85]
    G. J. Klir, The Architecture of Systems Problem Solving, Plenum Publishing, New York, 1985.Google Scholar
  35. [Klir 91]
    G. J. Klir, Facets of Systems Science, Plenum Publishing, New York, 1991.Google Scholar
  36. [Kohavi 70]
    Z. Kohavi, Switching and Finite Automata Theory. Mc Graw Hill, New York, 1970.MATHGoogle Scholar
  37. [Korf 85]
    Richard E. Korf: Learning to Solve Problems by Searching for Macro-Operators, Pitman Publishing, 1985.Google Scholar
  38. [Kung 80]
    H. T. Kung and C. E. Leiserson, “Algorithms for VLSI Processor Arrays,” in C. Mead, L. Conway, Introduction to VLSI Systems, Addison-Wesley, 1980.Google Scholar
  39. [Kung 82]
    H. T. Kung, “Why Systolic Architectures,” IEEE Computer, pp. 37–46, January 1982.Google Scholar
  40. [Kunz 77]
    H. Kunz, Approximation optimaler, linearer Transformationen durch eine Klasse schneller, verallgemeinerter Fourier-Transformationen, Dissertation, ETH Zürich, 1977.Google Scholar
  41. [Leiserson 81]
    C. E. Leiserson, Area Efficient VLSI Computation, Ph.D. Thesis, Carnegie-Mellon University, October 1981.Google Scholar
  42. [Lin, Newton 89]
    B. Lin, A. R. Newton, “Synthesis of Multiple-level Logic from Symbolic High-Level Description Languages,” Proc. of the VLSI 89 Conference, Munich, pp. 187–196, 1989.Google Scholar
  43. [Lisanke 88]
    B. Lisanke, “Logic Synthesis and Optimization Benchmarks,” Technical Report, MCNC, Research Triangle Park, North Carolina, December 1988.Google Scholar
  44. [März et al. 89]
    S. März, K. Buchenrieder, P. Duzy, R. Kumar, T. Wecker, “CALLAS-A System for Automatic Synthesis of Digital Circuits from Algorithmic Description”. Proc. of the EUROASIC Conf., Grenoble, 1989.Google Scholar
  45. [Melhelm 85]
    R. Melhem, “A Language for the Simulation of Systolic Architectures,” in Proc. 12 th Ann. Int. Symp. on Computer Architecture, pp. 310–314, 1985.Google Scholar
  46. [Mesarovic, Takahara 75]
    M. D. Mesarovic, Y. Takahara, General Systems Theory: Mathematical Foundations, Academic Press, New York, 1975.MATHGoogle Scholar
  47. [Mesarovic, Takahara 89]
    M. D. Mesarovic, Y. Takahara, Abstract Systems Theory, Lecture Notes in Control and Information Sciences, vol. 116, Springer Verlag, Berlin, 1989.Google Scholar
  48. [Mittelmann 86]
    R. Mittelmann, Petrinetze in LOOPS I InterLISP-D, Technical Report (in German), University of Linz, Austria, 1986.Google Scholar
  49. [Mittelmann 87]
    R. Mittelmann, STIPS, CAST, Knowledge Based Systems, Technical Report, University of Linz, Austria, 1987.Google Scholar
  50. [Mittelmann 88]
    R. Mittelmann, “Object-oriented Implementation of Petri Nets Cohcepts,” Cybernetics and Systems Research Conference ‘88 (R.Trappl ed.) Kluwer Academic Publishing, pp. 759–766,1988.Google Scholar
  51. [Mittelmann 89]
    R. Mittelmann, CAST.FSM User’s Guide, Technical Report 89–3, University of Linz, Austria, 1989.Google Scholar
  52. [Mittelmann 90a]
    R. Mittelmann, “Object-oriented Design of CAST Systems,” in Computer Aided Systems Theory — EUROCAST ‘89, F. Pichler, R. Moreno-Diaz (eds.), Lecture Notes in Computer Science, vol. 410, Springer Verlag, Berlin, pp. 69–75, 1990.Google Scholar
  53. [Mittelmann 90b]
    R. Mittelmann, “Tools for Advanced CAST Environments,” Proceedings of the Workshop on Modern Trends in Cybernetics and Systems, Temesvar, CSFR, 1990.Google Scholar
  54. [Müller-W. 86]
    T. Müller-Wipperfürth, LISAS — A LOOPS-Implementation of a Systolic Array Simulator, Master Thesis (in German), Univ. Linz, Dept. of Systems Science, 1986.Google Scholar
  55. [Müller-W. 91]
    T. Müller-Wipperfürth, An Efficient Implementation of the FSM Lattice Computation and Decomposition Using Common LISP/Flavors/C, Technical Report, University of Linz, Dept. of Systems Science, 1991.Google Scholar
  56. [Newell, Simon 72]
    A. Newell, H. A. Simon, Human Problem Solving, Prentice Hall, Englewood Cliffs, 1972.Google Scholar
  57. [Nicholson 71]
    P. J. Nicholson, “Algebraic Theory of Finite Fourier Transforms,” Journal of Computer and System Sciences, vol. 5, pp. 524–547, 1971.MathSciNetMATHGoogle Scholar
  58. [Nilsson 71]
    N. J. Nilsson: Problem Solving Methods in Artificial Intelligence, Tioga, Palo Alto, 1971.Google Scholar
  59. [Nilsson 80]
    N. J. Nilsson: Principles of Artificial Intelligence, Tioga, Palo Alto, 1980.MATHGoogle Scholar
  60. [Nussbaumer 82]
    H. J. Nussbaumer, Fast Fourier Transform and Convolution Algorithms, Springer Verlag, Berlin, 1982.CrossRefGoogle Scholar
  61. [Oren 90]
    T. Ören, “CAST nomenclature”, personal communication, 1990.Google Scholar
  62. [Pearl 84]
    J. Pearl, Heuristics: Intelligent Search Strategies for Computer Problem Solving, Addison-Wesley, 1984.Google Scholar
  63. [Pichler, Moreno-Diaz 90]
    F. Pichler, R. Moreno-Diaz (eds), Computer Aided Systems Theory — EUROCAST ‘89, Lecture Notes in Computer Science, vol. 410, Springer Verlag, Berlin, 1990.Google Scholar
  64. [Pichler, Praehofer 88]
    F. Pichler, H. Praehofer, “CAST.FSM — Computer Aided Systems Theory: Finite State Machines,” Cybernetics and Systems Research Conference ‘88 (R.Trappl ed.), Kluwer Academic Publishing, pp. 737–742, 1988.Google Scholar
  65. [Pichler, Schwärtzel 90]
    F. Pichler, H. Schwärtzel, CAST: Computerunterstützte Systemtheorie, Springer Verlag, Berlin, 1990.MATHCrossRefGoogle Scholar
  66. [Pichler 75]
    F. Pichler, Mathematische Systemtheorie, De Gruyter, Berlin, 1975.MATHGoogle Scholar
  67. [Pichler 80]
    F. Pichler, “Fast Linear Methods for Image Filtering,” in Applications of Information and Control Systems, D.G. Lainiotis, N.S. Tzannes (eds.), Reidel, Den Haag, pp. 3–11, 1980.Google Scholar
  68. [Pichler 81]
    F. Pichler, “Schnelle Faltung von Bildern,” in Mustererkennung und Bildverarbeitung in Österreich, F. Leberl, H. Ranzinger (eds.), OCG, Wien, pp. 13–30, 1981.Google Scholar
  69. [Pichler 86]
    F. Pichler, “Model Components for Symbolic Processing by Knowledge Based Systems: The STIPS Framework”, in Modelling and Simulation Methodology in the Artificial Intelligence Era, Elzas, Ören, Zeigler (eds.), North Holland, Amsterdam, pp. 133–143, 1986.Google Scholar
  70. [Pichler 88a]
    F. Pichler, “CAST — Computer Aided Systems Theory: A framework for interactive method banks,” Cybernetics and Systems Research Conference ‘88 (R.Trappl, ed.), Kluwer Academic Publishing, pp. 731–736, 1988.Google Scholar
  71. [Pichler 88b]
    F. Pichler, “Konstruktion Korrelationsimmuner Schaltfunktionen und Schaltwerke mittels Walsh-Fourieranalyse,” Contributions to General Algebra, vol. 6, Verlag Hölder-Pichler-Tempsky, Wien, pp. 213–222, 1988.Google Scholar
  72. [Pichler 90]
    F. Pichler, “CAST: Computer Aided Systems Theory, Perspectives for Research, Development and Education,” Syst. Anal. Model. Simul., vol. 7, pp. 251–266, 1990Google Scholar
  73. [Pichler 91]
    F. Pichler, “Modellbildung und Modellanwendung in der Informationstechnik-Systemtheoretische Erfordernisse,” in Angewandte Informatik und Software, H. Schwärtzel (ed.), Springer-Verlag, Berlin, pp. 175–185, 1991.Google Scholar
  74. [Pratt 78]
    W. K. Pratt, Digital Image Processing, Wiley, New York, 1978.Google Scholar
  75. [Reisig 86]
    W. Reisig, Petrinetze-Eine Einführung, Springer Verlag, Berlin, 1986.Google Scholar
  76. [Rietsche, Neher 90]
    G. Rietsche, M. Neher, “CASTOR: State Assignment in a Finite State Machine Synthesis System,” Proc. of the IFIP Working Conference on Logic and Architecture Synthesis, Paris, pp. 15–19, 1990.Google Scholar
  77. [Saucier, Poirot 89]
    G. Saucier, F. Poirot, “State Assignment Using a New Embedding Method Based on an Intersecting Cube Theory,” Proc. of the 26th Design Automation Conference, pp. 321–326, 1989.Google Scholar
  78. [Schwärtzel 81]
    H. G. Schwärtzel: Ein konzeptioneller Ansatz zur Verwendung Dynamischer Konstruktionen als Instrumente für die Modellierung von Systementwurfsprozessen. Dissertation (in German), Johannes Kepler University, Verband der wissenschaftlichen Gesellschaften Österreichs (VWGÖ), Vienna 1981.Google Scholar
  79. [Schwärtzel 85]
    H. G. Schwärtzel, “Discrete Event-Dynamic Systems for Modelling Dynamic Valued Nets,” International Journal on General Systems, vol. 10, pp. 153–162, 1985.MATHCrossRefGoogle Scholar
  80. [Sommer, Savage 85]
    M. E. Sommer and J. E. Savage, “SAS-A Systolic Array Simulator,” Techn. Report CS-85–02, Brown University, 1985.Google Scholar
  81. [Walker, Thomas 85]
    R. A. Walker, D. E. Thomas, A Model of Design Representation and Synthesis. Proc. of the 22nd Design Automation Conf., pp. 453–459, 1985.Google Scholar
  82. [Wolfram 86]
    S. Wolfram, Theory and Applications of Cellular Automata, World Scientific Publishing Co. Pte. Ltd., Singapore, 1986.MATHGoogle Scholar
  83. [Wymore 67]
    A. W. Wymore, A Mathematical Theory of Systems Engineering. The Elements, Wiley, New York, 1967.Google Scholar
  84. [Zadeh, Desoer 69]
    L. A. Zadeh, C. A. Desoer, Linear System Theory: The State Space Approach, McGraw-Hill, New York, 1963.MATHGoogle Scholar
  85. [Zeigler 84]
    B. P. Zeigler, Multifacetted Modelling and Discrete Event Simulation, Academic Press, London, 1984.MATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • Franz Pichler
    • 1
  • Heinz Schwärtzel
    • 2
  1. 1.Institute for Systems SciencesJohannes-Kepler-UniversityLinzAustria
  2. 2.Corporate Research and Development, Systems TechnologiesSiemens AGMunichGermany

Personalised recommendations