
TL;DR
This paper introduces mnesors, a mathematical structure combining vector and boolean properties, to design a logical controller for an inverted pendulum, enabling control without real number algebra.
Contribution
It presents the novel application of mnesors in control systems, specifically for hybrid systems like inverted pendulums, using a purely logical control approach.
Findings
Successful control of an inverted pendulum using mnesors
Demonstration of a logical controller without real number algebra
Potential for hybrid systems control with algebraic simplicity
Abstract
Mnesors are defined as elements of a semimodule over the min-plus integers. This two-sorted structure is able to merge graduation properties of vectors and idempotent properties of boolean numbers, which makes it appropriate for hybrid systems. We apply it to the control of an inverted pendulum and design a full logical controller, that is, without the usual algebra of real numbers.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsSensor Technology and Measurement Systems
