Abstract
This chapter provides a brief introduction to partially ordered sets (posets), lattices, the lattice of equivalence relations, and derived concepts such as the factorization of a function through its equivalence kernel. These ideas capture, in a primitive but useful way, the general notion of ‘information’ in a feedback control loop together with that of ‘dynamic observer’ by which such information is extracted. An application is sketched to the Internal Model Principle of regulation theory, in a relatively unstructured setting of plain sets and functions.
The original version of this chapter was revised: Belated corrections have been incorporated. The correction to this chapter is available at https://doi.org/10.1007/978-3-319-77452-7_10
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Change history
29 May 2019
In the original version of the book, the Chapters 7, 8, 12, 17 and 23 were revised.
Notes
- 1.
‘iff’ stands for ‘if and only if’.
- 2.
Not needed in the sequel.
References
Davey BA, Priestley HA (1990) Introduction to lattices and order. Cambridge University Press, Cambridge
Mac Lane S, Birkhoff G (1993) Algebra, 3rd edn. Chelsea, New York
Wonham WM (1976) Towards an abstract internal model principle. IEEE Trans Syst Man Cybern SMC 6(11):735–740
Wonham WM (1985) Linear multivariable control: a geometric approach, 3rd edn. Springer, Berlin
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2019 Springer International Publishing AG, part of Springer Nature
About this chapter
Cite this chapter
Wonham, W.M., Cai, K. (2019). Algebraic Preliminaries. In: Supervisory Control of Discrete-Event Systems. Communications and Control Engineering. Springer, Cham. https://doi.org/10.1007/978-3-319-77452-7_1
Download citation
DOI: https://doi.org/10.1007/978-3-319-77452-7_1
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-77451-0
Online ISBN: 978-3-319-77452-7
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)