Sign in for Members and Observers

IFIP WG1.3 Foundations of System Specification

Talk "Continuous components, monadically"

by Luis S. Barbosa

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.