published 2006
in W. MacCaull, M. Winter and I. Duentsch (eds.): Relational
Methods in Computer Science, LNCS 3929.
pp. 121-133, 2006.
Springer.
Abstract:
We present a trajectory-based model for describing
hybrid systems. For this we use left quantales and
left semirings, thus providing a new application
for these algebraic structures. Furthermore, we set up
a connection between game theory and hybrid systems.
Diese Seite auf deutsch
Search
