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, USA. "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.
S. Basu and R. Kumar, "Control of non-deterministic systems with μ-calculus specifications using quotienting," IEEE/CAA J. Autom. Sinica, vol. 8, no. 5, pp. 953-970, May 2021.
IEEE/CAA Journal of Automatica Sinica aims to publish high-quality, high-interest, far-reaching research achievements globally, and provide an international forum for the presentation of original ideas and recent results related to all aspects of automation.
The first Impact Factor of IEEE/CAA Journal of Automatica Sinica is 5.129, ranking among Top 17% (11/63, SCI Q1) in the category of Automation & Control Systems, according to the latest Journal Citation Reports released by Clarivate Analytics in 2020. In addition, its latest CiteScore is 8.3, and has entered Q1 in all three categories it belongs to (Information System, Control and Systems Engineering, Artificial Intelligence) since 2018.
Why publish with us: Fast and high quality peer review; Simple and effective online submission system; Widest possible global dissemination of your research; Indexed in SCIE, EI, IEEE, Scopus, Inspec. JAS papers can be found at http://ieeexplore.