Toward Formalizing Control System Simulation Software

  • Joseph E. Hollingsworth
Part of the Software Science and Engineering book series (SSEN)


The job of a control engineer is to build controllers for physical systems. Traditionally this has been done by creating a mathematical model of the system using differential equations. With the model the engineer designs a controller and analyzes the new model (original model and the controller) for proper control and stability.


Analog Computer Primary Operation Type Signal Control Engineer ReaL Theory 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Weide, B. W., Ogden, W. F., and Zweben, S. H., “Reusable Software Components,” Advances in Computers 33, 1–65, M. C. Yovits, ed., Academic Press, 1991.Google Scholar
  2. 2.
    Pamas, D. L. “A technique for software module specification with examples.” Comm. ACM 15(5) 571–585 (1972).Google Scholar
  3. 3.
    Gourlay, J. S. “A mathematical framework for the investigation of testing.” IEEE Trans. Software Eng. SE-9(6) 686–709 (1983).CrossRefGoogle Scholar
  4. 4.
    Truitt, T. D.; and Rogers, A. E. Basics of Analog Computers. New York: John F. Rider, 1960.Google Scholar
  5. 5.
    Conte, S. D.; and de Boor, C. Elementary Numerical Analysis, an Algorithmic Approach. New York: McGraw-Hill, 1980.Google Scholar

Copyright information

© Springer Science+Business Media New York 1994

Authors and Affiliations

  • Joseph E. Hollingsworth
    • 1
  1. 1.Ohio State UniversityUSA

Personalised recommendations