Skip to main content
SpringerLink
Log in

CAST Method Bank Systems

  • Chapter
CAST Methods in Modelling

  • 57 Accesses

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.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References—Chapter 2

  1. N. Ahmed, K. R. Rao, Orthogonal Transforms for Digital Signal Processing, Springer Verlag, Berlin, 1975.

    MATH  Google Scholar 

  2. 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. 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. 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. K. G. Beauchamp, Applications of Walsh and Related Functions, Academic Press, London, 1984.

    Google Scholar 

  6. T. Beth, Verfahren der schnellen Fourier-Transformation, Teubner, Stuttgart, 1984.

    MATH  Google Scholar 

  7. D. G. Bobrow, M. Stefik: The LOOPS Manual, Xerox PARC, 1983.

    Google Scholar 

  8. 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.

    Article  MathSciNet  Google Scholar 

  9. T. L. Booth, Sequential Machines and Automata Theory. John Wiley and Sons, New York, 1967.

    MATH  Google Scholar 

  10. R. N. Bracewell, “The Fast Hartley Transform,” Proc. IEEE, vol. 72, no. 8, pp. 1010–1018, 1984.

    Article  Google Scholar 

  11. W. Brauer (ed.), Net Theory and Applications, Lecture Notes in Computer Science, vol. 84, Berlin, Springer Verlag, 1980.

    Google Scholar 

  12. R. Brayton, G. D. Hachtel, C. T. McMullen, A. Sangiovanni-Vincentelli, Logic Minimization Algorithms for VLSI Synthesis, Kluwer Academic Publishers, Dordrecht, 1984.

    Book  MATH  Google Scholar 

  13. 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.

    Article  Google Scholar 

  14. 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. 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. 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 W., “A Versatile Development Tool for Knowledge-Based Computer Vision,” Cybernetics and Systems, vol. 22, no. 3, pp. 313–329, 1991.

    Article  MathSciNet  Google Scholar 

  18. J. L. Casti, Dynamical Systems and their Applications: Linear Theory, Academic Press, New York, 1977.

    MATH  Google Scholar 

  19. 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. 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. 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. M. Foster, “Partitioning Real Finite Automata: A Progress Report,” Technical report, AT00000T Bell Laboratories, 1988.

    Google Scholar 

  23. D. Gajski, H. Kuhn, “Guest Editors Introduction, New VLSI Tools”. Computer, vol. 16, no. 12, pp. 11–14, 1983.

    Article  Google Scholar 

  24. 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. R. C. Gonzalez, P. Wintz, Digital Image Processing, Addison-Wesley, 2nd edition, 1987.

    Google Scholar 

  26. F. H. Harmuth, Transmissions of Information by Orthogonal Functions, Springer Verlag, New York, 1969.

    Google Scholar 

  27. J. Hartmanis, R. E. Stearns, Algebraic Structure Theory of Sequential Machines, Prentice Hall, Englewood Cliffs, 1966.

    MATH  Google Scholar 

  28. 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. 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. 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. E. Hörbst, C. Müller-Schloer, H. Schwärtzel, Design of VLSI Circuits, Based on Venus, Springer Verlag, Berlin, 1987.

    Google Scholar 

  32. R. E. Kalman, P. L. Falb, M. A. Arbib, Topics in Mathematical Systems Theory, McGraw-Hill, New York, 1969.

    Google Scholar 

  33. L. Kanal, V. Kumar (eds.): Search in Artificial Intelligence, Springer Verlag, New York 1988.

    MATH  Google Scholar 

  34. G. J. Klir, The Architecture of Systems Problem Solving, Plenum Publishing, New York, 1985.

    Google Scholar 

  35. G. J. Klir, Facets of Systems Science, Plenum Publishing, New York, 1991.

    Google Scholar 

  36. Z. Kohavi, Switching and Finite Automata Theory. Mc Graw Hill, New York, 1970.

    MATH  Google Scholar 

  37. Richard E. Korf: Learning to Solve Problems by Searching for Macro-Operators, Pitman Publishing, 1985.

    Google Scholar 

  38. 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. H. T. Kung, “Why Systolic Architectures,” IEEE Computer, pp. 37–46, January 1982.

    Google Scholar 

  40. H. Kunz, Approximation optimaler, linearer Transformationen durch eine Klasse schneller, verallgemeinerter Fourier-Transformationen, Dissertation, ETH Zürich, 1977.

    Google Scholar 

  41. C. E. Leiserson, Area Efficient VLSI Computation, Ph.D. Thesis, Carnegie-Mellon University, October 1981.

    Google Scholar 

  42. 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. B. Lisanke, “Logic Synthesis and Optimization Benchmarks,” Technical Report, MCNC, Research Triangle Park, North Carolina, December 1988.

    Google Scholar 

  44. 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. 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. M. D. Mesarovic, Y. Takahara, General Systems Theory: Mathematical Foundations, Academic Press, New York, 1975.

    MATH  Google Scholar 

  47. M. D. Mesarovic, Y. Takahara, Abstract Systems Theory, Lecture Notes in Control and Information Sciences, vol. 116, Springer Verlag, Berlin, 1989.

    Google Scholar 

  48. R. Mittelmann, Petrinetze in LOOPS I InterLISP-D, Technical Report (in German), University of Linz, Austria, 1986.

    Google Scholar 

  49. R. Mittelmann, STIPS, CAST, Knowledge Based Systems, Technical Report, University of Linz, Austria, 1987.

    Google Scholar 

  50. 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. R. Mittelmann, CAST.FSM User’s Guide, Technical Report 89–3, University of Linz, Austria, 1989.

    Google Scholar 

  52. 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. R. Mittelmann, “Tools for Advanced CAST Environments,” Proceedings of the Workshop on Modern Trends in Cybernetics and Systems, Temesvar, CSFR, 1990.

    Google Scholar 

  54. 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. 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. A. Newell, H. A. Simon, Human Problem Solving, Prentice Hall, Englewood Cliffs, 1972.

    Google Scholar 

  57. P. J. Nicholson, “Algebraic Theory of Finite Fourier Transforms,” Journal of Computer and System Sciences, vol. 5, pp. 524–547, 1971.

    MathSciNet  MATH  Google Scholar 

  58. N. J. Nilsson: Problem Solving Methods in Artificial Intelligence, Tioga, Palo Alto, 1971.

    Google Scholar 

  59. N. J. Nilsson: Principles of Artificial Intelligence, Tioga, Palo Alto, 1980.

    MATH  Google Scholar 

  60. H. J. Nussbaumer, Fast Fourier Transform and Convolution Algorithms, Springer Verlag, Berlin, 1982.

    Book  Google Scholar 

  61. T. Ören, “CAST nomenclature”, personal communication, 1990.

    Google Scholar 

  62. J. Pearl, Heuristics: Intelligent Search Strategies for Computer Problem Solving, Addison-Wesley, 1984.

    Google Scholar 

  63. 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. 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. F. Pichler, H. Schwärtzel, CAST: Computerunterstützte Systemtheorie, Springer Verlag, Berlin, 1990.

    Book  MATH  Google Scholar 

  66. F. Pichler, Mathematische Systemtheorie, De Gruyter, Berlin, 1975.

    MATH  Google Scholar 

  67. 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. 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. 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. 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. 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. F. Pichler, “CAST: Computer Aided Systems Theory, Perspectives for Research, Development and Education,” Syst. Anal. Model. Simul., vol. 7, pp. 251–266, 1990

    Google Scholar 

  73. 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. W. K. Pratt, Digital Image Processing, Wiley, New York, 1978.

    Google Scholar 

  75. W. Reisig, Petrinetze-Eine Einführung, Springer Verlag, Berlin, 1986.

    Google Scholar 

  76. 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. 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. 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. H. G. Schwärtzel, “Discrete Event-Dynamic Systems for Modelling Dynamic Valued Nets,” International Journal on General Systems, vol. 10, pp. 153–162, 1985.

    Article  MATH  Google Scholar 

  80. M. E. Sommer and J. E. Savage, “SAS-A Systolic Array Simulator,” Techn. Report CS-85–02, Brown University, 1985.

    Google Scholar 

  81. 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. S. Wolfram, Theory and Applications of Cellular Automata, World Scientific Publishing Co. Pte. Ltd., Singapore, 1986.

    MATH  Google Scholar 

  83. A. W. Wymore, A Mathematical Theory of Systems Engineering. The Elements, Wiley, New York, 1967.

    Google Scholar 

  84. L. A. Zadeh, C. A. Desoer, Linear System Theory: The State Space Approach, McGraw-Hill, New York, 1963.

    MATH  Google Scholar 

  85. B. P. Zeigler, Multifacetted Modelling and Discrete Event Simulation, Academic Press, London, 1984.

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute for Systems Sciences, Johannes-Kepler-University, Linz, Austria

    Dr. phil. Franz Pichler (Professor)

  2. Corporate Research and Development, Systems Technologies, Siemens AG, Munich, Germany

    Dr. techn. Heinz Schwärtzel

Authors
  1. Dr. phil. Franz Pichler
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Dr. techn. Heinz Schwärtzel
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute for Systems Sciences, Johannes-Kepler-University, Linz, Austria

    Franz Pichler (Professor) (Professor)

  2. Corporate Research and Development, Systems Technologies, Siemens AG, Munich, Germany

    Heinz Schwärtzel

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Pichler, F., Schwärtzel, H. (1992). CAST Method Bank Systems. In: Pichler, F., Schwärtzel, H. (eds) CAST Methods in Modelling. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-95680-5_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-95680-5_2

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-95682-9

  • Online ISBN: 978-3-642-95680-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation