#4973. Further results on bilinear behavior formulation of finite state machines
July 2026 | publication date |
Proposal available till | 17-05-2025 |
4 total number of authors per manuscript | 0 $ |
The title of the journal is available only for the authors who have already paid for |
|
|
Journal’s subject area: |
Computer Science Applications;
Theoretical Computer Science;
Control and Systems Engineering;
Information Systems and Management;
Software;
Artificial Intelligence; |
Places in the authors’ list:
1 place - free (for sale)
2 place - free (for sale)
3 place - free (for sale)
4 place - free (for sale)
Abstract:
Linear and nonlinear equations play an important role in modeling control systems governed by the laws of nature. A finite state machine (FSM) is a system in which the state evolution is governed by operational rules designed by humans. Nevertheless, they are incontinent to analyze and synthesize FSMs mathematically. Recently, the problem of state evolution of FSMs has attracted the attention of scholars in the control field. These results can be roughly classified into two methods. These two methods share the same forms and results of the model, but differ in ideas: the latter defines the state as a vector where the i-th element is the number of different paths from the initial state to the i-th state; the former directly uses the original vector form of a state. The latter describes dynamics in the future 1-time-step, while the former formulates dynamics in the future t-time-step. This motivates further reconsideration of the problem with the aim of combining the individual advantages of the two models into a single model. Therefore, this study proposes the establishment of a model that not only is uniformly suitable for both deterministic and nondeterministic FSMs but also can adequately describe the dynamics.
Keywords:
Control systems; a finite state machine; FSM; operational rules
Contacts :