Input one, output one; input two, output two; input three; output purple—what kind of system is this? Computer algorithms can exist as non-deterministic systems, in which there are multiple possible outcomes for each input. Even if one output is more likely than another, it doesn’t necessarily eliminate the possibility of putting in three and getting purple instead of three. Now, a research team from Iowa State University has developed a way to control such systems with more predictability. The results were published in IEEE/CAA Journal of Automatica Sinica.
“The supervisory control problem for discrete event systems under control involves identifying the supervisor, if one exists,” said paper author Ratnesh Kumar, Harpole Professor in the Department of Electrical and Computer Engineering, Iowa State University, U.S.. “If there is a supervisor, if it’s synchronously composed with the system, it results in a system that conforms to the control specification.”
A discrete event system behaves based on its current state. If the state changes, the value changes. In the example system above, something about the system’s state changed to make it take four and produce purple. Kumar’s approach examines the system as it currently exists and finding the least fixed-point operator, or the piece that is most easily changed. The act of identifying such a component can result in a new model that acts as the supervisor of the system.
The researchers used quotienting to determine the possible outcomes and build parameters to identify possible controllers. In simple terms, a quotient is the known number of possibilities: Divide 10 by three. The quotient is three, with fractional possibilities. In Kumar’s system, each event is referred to as a “plant” and the entire system is understood as a ‘warehouse.’ The quotient is the plant divided by a specification determined by the warehouse, resulting in multiple possible answers, depending on what the system looks like in the moment.
“Given a plant and the specification of the controlled plant, the quotienting operation generates a new specification describing the obligation on the supervisor such that the plant, when controlled by a supervisor, satisfies the specification,” Kumar said.
Say the plant is the input of three, and the controller is purple. The calculus involved in describing the operation produces a new parameter of purple. The controller, or supervisor, is obligated to take the input of three and output purple. If the supervisor does not exist, the quotienting process still results in a supervisory control operation.
“The central tenant of our technique is to develop a quotienting-based technique to decide the existence of supervisor and generate the same if one exists,” Kumar said.
The researchers conducted simulations to verify their approach and next plan to investigate their method in systems where only some of the actions are observable.
Samik Basu et al, Control of Non-Deterministic Systems With $mu$-Calculus Specifications Using Quotienting, IEEE/CAA Journal of Automatica Sinica (2021). DOI: 10.1109/JAS.2021.1003964
Chinese Association of Automation
Finding control in hard-to-predict systems (2021, May 14)
retrieved 14 May 2021
This document is subject to copyright. Apart from any fair dealing for the purpose of private study or research, no
part may be reproduced without the written permission. The content is provided for information purposes only.
If you have any concerns or complaints regarding this article, please let us know and the article will be removed soon.
Best Laptops Under 40000 For WFH & Students
- Best Laptop Under 40000 – HP 15 10th Gen Intel Core i3 15.6-inch FHD Alexa Built-in Laptop (i3-10110U/4GB/1TB HDD/Win 10/MX130 2GB Graphics/ MS Office/Jet Black/1.74kg), 15s-du2060TX
- Best Laptop Under 40000 – (Renewed) Lenovo IdeaPad B40-70 14-inch Laptop (Core i3/8GB RAM(Upgradable to 16)/512GB SSD/Windows 10 Pro/MS Office 2019/More than 4 GB Intel Integrated Graphics, Fingerprint Scanner), Black
- Best Laptop Under 40000 – HP Chromebook 14a-na0003TU 14-inch (35.56 cms) Thin & Light Touchscreen Laptop (Intel N4020/4GB/64GB SSD + 256GB Expandable/Chrome OS/1.46 kgs Light), Mineral Silver
- Best Laptop Under 40000 – (Renewed) Lenovo Thinkpad Laptop X240 Intel Core i5 – 4300u Processor, 4 GB Ram & 256 GB SSD & 2TB HDD, Win10, 12.5 Inches 1.3 KG Ultralight Computer
- Best Laptop Under 40000 – Lenovo IdeaPad S145 Intel Core i3 7th Gen 15.6 inch Full HD Thin and Light Laptop (4GB/1TB HDD/Windows 10/MS Office 2019/Platinum Grey/1.85Kg), 81VD0073IN
- Best Laptop Under 40000 – Lenovo IdeaPad Slim 3 10th Gen Intel Core i3 14 inch (35.56 cms) Full HD Thin and Light Laptop (8GB/256GB SSD/Windows 10/MS Office 2019/Platinum Grey/1.6Kg), 81WD00TJIN
- Best Laptop Under 40000 – (Renewed) Dell Latitude Laptop 3350 Intel Core i3 – 5005u Processor, 4 GB Ram & 128 GB ssd, Win10, 13.3 Inches Notebook Computer