Abstract
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.
Original language | English |
---|---|
Title of host publication | IFAC PAPERSONLINE |
Publisher | Elsevier |
Pages | 486-491 |
Number of pages | 6 |
Volume | 55 |
Edition | 30 |
DOIs | |
Publication status | Published - 2022 |
Event | 25th International Symposium on Mathematical Theory of Networks and Systems (MTNS) - University of Bayreuth, Bayreuth, Germany Duration: 12 Sept 2022 → 16 Sept 2022 https://www.mtns2022.uni-bayreuth.de/en/index.html |
Symposium
Symposium | 25th International Symposium on Mathematical Theory of Networks and Systems (MTNS) |
---|---|
Abbreviated title | MTNS 2022 |
Country/Territory | Germany |
City | Bayreuth |
Period | 12/09/22 → 16/09/22 |
Internet address |
Keywords
- Input-output system
- monad
- nondeterminism
- observer
- composition