Monadic Systems

In this paper we develop the use of monads, a concept popularised in the functional language Haskell, to provide a general framework for studying control systems with uncertainty. We first develop the theory of monads, notably dependent products and conditioning. We then provide three main applications, namely computing the input-output behaviour, designing observers, and studying compositionality for uncertain systems. Copyright (C) 2022 The Authors.