Chairs: C. Cirstea, F. Gadducci, H. Schlingloff Past Chairmen: M. Roggenbach, L. Schröder, T. Mossakowski, J. Fiadeiro, P. Mosses, H.-J. Kreowski
Fri, 01 April 2016 at 09:30 am in Eindhoven, The Netherlands
Joint work with: Renato Neves
Abstract: In the specification of component-based systems, the underlying behaviour model --- related e.g., to partial, nondeterministic or probabilistic evolution --- can be nicely captured by a (strong) monad. A suitable component algebra is then developed on top of its Kleisli category. This talk shows how continuous evolution, a major issue in the design of hybrid systems, can be encoded in a similar way and discusses the resulting component calculus.
Slides