Monadic Systems

P. Collins

doi:10.1016/j.ifacol.2022.11.100

Monadic Systems

P. Collins^*

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review

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.

Original language	English
Title of host publication	IFAC PAPERSONLINE
Publisher	Elsevier
Pages	486-491
Number of pages	6
Volume	55
Edition	30
DOIs	https://doi.org/10.1016/j.ifacol.2022.11.100
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	https://www.mtns2022.uni-bayreuth.de/en/index.html

Keywords

Input-output system
monad
nondeterminism
observer
composition

Access to Document

10.1016/j.ifacol.2022.11.100Licence: CC BY-NC-ND

Cite this

@inproceedings{6020d1b28a174ebea134075f0e75fef8,

title = "Monadic Systems",

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.",

keywords = "Input-output system, monad, nondeterminism, observer, composition",

author = "P. Collins",

year = "2022",

doi = "10.1016/j.ifacol.2022.11.100",

language = "English",

volume = "55",

pages = "486--491",

booktitle = "IFAC PAPERSONLINE",

publisher = "Elsevier",

address = "United States",

edition = "30",

note = "25th International Symposium on Mathematical Theory of Networks and Systems (MTNS), MTNS 2022 ; Conference date: 12-09-2022 Through 16-09-2022",

url = "https://www.mtns2022.uni-bayreuth.de/en/index.html",

}

TY - GEN

T1 - Monadic Systems

AU - Collins, P.

PY - 2022

Y1 - 2022

N2 - 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.

AB - 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.

KW - Input-output system

KW - monad

KW - nondeterminism

KW - observer

KW - composition

U2 - 10.1016/j.ifacol.2022.11.100

DO - 10.1016/j.ifacol.2022.11.100

M3 - Conference article in proceeding

VL - 55

SP - 486

EP - 491

BT - IFAC PAPERSONLINE

PB - Elsevier

T2 - 25th International Symposium on Mathematical Theory of Networks and Systems (MTNS)

Y2 - 12 September 2022 through 16 September 2022

ER -

Monadic Systems

Abstract

Symposium

Keywords

Access to Document

Fingerprint

Cite this