SpringerLink
Log in

Coalgebraic Foundations of Linear Systems

(An Exercise in Stream Calculus)

  • Conference paper
Algebra and Coalgebra in Computer Science (CALCO 2007)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 4624))

Included in the following conference series:

Abstract

Viewing discrete-time causal linear systems as (Mealy) coalgebras, we describe their semantics, minimization and realisation as universal constructions, based on the final coalgebras of streams and causal stream functions.

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
EUR 32.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or Ebook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
EUR 29.95
Price includes VAT (Germany)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
EUR 42.79
Price includes VAT (Germany)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
EUR 53.49
Price includes VAT (Germany)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free ship** 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.

Similar content being viewed by others

References

  1. Arbib, M.A., Manes, E.G.: Foundations of system theory: decomposable systems. Automatica 10, 285–302 (1974)

    Article  MATH  MathSciNet  Google Scholar 

  2. Arbib, M.A., Manes, E.G.: Adjoint machines, state-behaviour machines, and duality. Journal of Pure and Applied Algebra 6, 313–344 (1975)

    Article  MathSciNet  Google Scholar 

  3. Benveniste, A.: A brief on realisation theory for linear systems (unpublished note)

    Google Scholar 

  4. Birkhoff, G., MacLane, S.: A survey of modern algebra, 4th edn. MacMillan Publishing Co., Inc. (1977)

    Google Scholar 

  5. Eilenberg, S.: Automata, languages and machines. In: Pure and applied mathematics, vol. A, Academic Press, London (1974)

    Google Scholar 

  6. Fuhrmann, P.A.: A polynomial approach to linear algebra. Springer, Berlin (1996)

    MATH  Google Scholar 

  7. Hansen, H., Costa, D., Rutten, J.J.M.M.: Synthesis of Mealy machines using derivatives. In: Proceedings of CMCS 2006. ENTCS, vol. 164(1), pp. 27–45. Elsevier, Amsterdam (2006)

    Google Scholar 

  8. Kailath, T.: Linear systems. Prentice-Hall, Englewood Cliffs (1980)

    MATH  Google Scholar 

  9. Kalman, R.E.: Mathematical description of linear dynamical systems. SIAM J. Control 1, 152–192 (1963)

    Article  MathSciNet  Google Scholar 

  10. Kalman, R.E., Falb, P.L., Arbib, M.A.: Topics in mathematical system theory. McGraw-Hill, New York (1969)

    MATH  Google Scholar 

  11. Kohavi, Z.: Switching and finite automata theory. McGraw-Hill, New York (1978)

    MATH  Google Scholar 

  12. Lahti, B.P.: Signal Processing & Linear Systems. Oxford University Press, Oxford (1998)

    Google Scholar 

  13. Pappas, G.J.: Bisimilar linear systems. Automatica 39, 2035–2047 (2003)

    Article  MATH  MathSciNet  Google Scholar 

  14. Rutten, J.J.M.M.: Behavioural differential equations: a coinductive calculus of streams, automata, and power series (Fundamental Study). Theoretical Computer Science 308(1), 1–53 (2003)

    Article  MATH  MathSciNet  Google Scholar 

  15. Rutten, J.J.M.M.: A tutorial on coinductive stream calculus and signal flow graphs. Theoretical Computer Science 343(3), 443–481 (2005)

    Article  MATH  MathSciNet  Google Scholar 

  16. Rutten, J.J.M.M.: Algebraic specification and coalgebraic synthesis of Mealy automata. In: Proceedings of FACS 2005. ENTCS, vol. 160, pp. 305–319. Elsevier Science Publishers, Amsterdam (2006)

    Google Scholar 

  17. Sontag, E.D.: Polynomial response maps. Lecture Notes in Control and Information Sciences, vol. 13. Springer, Heidelberg (1979)

    MATH  Google Scholar 

  18. van der Schaft, A.J.: Equivalence of dynamical systems by bisimulation. IEEE Transactions on Automatic Control 49, 2160–2172 (2004)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. CWI and Vrije Universiteit Amsterdam,  

    J. J. M. M. Rutten

Authors
  1. J. J. M. M. Rutten
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Till Mossakowski Ugo Montanari Magne Haveraaen

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Rutten, J.J.M.M. (2007). Coalgebraic Foundations of Linear Systems . In: Mossakowski, T., Montanari, U., Haveraaen, M. (eds) Algebra and Coalgebra in Computer Science. CALCO 2007. Lecture Notes in Computer Science, vol 4624. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-73859-6_29

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-73859-6_29

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-73857-2

  • Online ISBN: 978-3-540-73859-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation