- Search

- Kontakt

Towards an Algebra of Hybrid Systems

P. Höfner, B. Möller
8th International Conference on Relational Methods in Computer Science RelMiCS 8.
St. Catherines, Ontario, Canada, Feb. 2005.
Abstract:
We present a trajectory-based model for describing hybrid systems. For this we use left quantales and left semirings, which provides a new application for these algebraic structures. Furthermore we set up a connection between game theory and hybrid systems.