The action-state diagram: a compact finite state machine representation for user interface and small embedded reactive systems

1991 ◽  
Vol 37 (3) ◽  
pp. 651-658 ◽  
Author(s):  
I. Kuuluvainen ◽  
M. Vanttinen ◽  
P. Koskinen
Keyword(s):  
User Interface ◽  
Finite State Machine ◽  
Reactive Systems ◽  
State Diagram ◽  
State Machine ◽  
Finite State ◽  
Machine Representation

scholarly journals Data Driven Modelling of Nuclear Power Plant Performance Data as Finite State Machines

Modelling ◽  
2021 ◽  
Vol 2 (1) ◽  
pp. 43-62
Author(s):  
Kshirasagar Naik ◽  
Mahesh D. Pandey ◽  
Anannya Panda ◽  
Abdurhman Albasir ◽  
Kunal Taneja
Keyword(s):  
Power Plant ◽  
Nuclear Power Plant ◽  
Nuclear Power ◽  
Finite State Machine ◽  
State Machine ◽  
Plant Performance ◽  
Series Data ◽  
Cyberphysical Systems ◽  
Finite State ◽  
Machine Representation

Accurate modelling and simulation of a nuclear power plant are important factors in the strategic planning and maintenance of the plant. Several nonlinearities and multivariable couplings are associated with real-world plants. Therefore, it is quite challenging to model such cyberphysical systems using conventional mathematical equations. A visual analytics approach which addresses these limitations and models both short term as well as long term behaviour of the system is introduced. Principal Component Analysis (PCA) followed by Linear Discriminant Analysis (LDA) is used to extract features from the data, k-means clustering is applied to label the data instances. Finite state machine representation formulated from the clustered data is then used to model the behaviour of cyberphysical systems using system states and state transitions. In this paper, the indicated methodology is deployed over time-series data collected from a nuclear power plant for nine years. It is observed that this approach of combining the machine learning principles with the finite state machine capabilities facilitates feature exploration, visual analysis, pattern discovery, and effective modelling of nuclear power plant data. In addition, finite state machine representation supports identification of normal and abnormal operation of the plant, thereby suggesting that the given approach captures the anomalous behaviour of the plant.

Statechart-based Controllers Synthesis in FPGA Structures with Embedded Array Blocks

2010 ◽  
Vol 56 (1) ◽  
pp. 13-24 ◽  
Author(s):  
Grzegorz Łabiak ◽  
Grzegorz Borowik
Keyword(s):  
Complex Systems ◽  
Finite State Machine ◽  
Reactive Systems ◽  
State Machine ◽  
Embedded Memory ◽  
Digital Controllers ◽  
Functional Decomposition ◽  
Finite State ◽  
Implementation Scheme ◽  
Programmable Devices

Statechart-based Controllers Synthesis in FPGA Structures with Embedded Array BlocksStatechart diagrams, in general, are visual formalism for description of complex systems behaiour. Digital controllers, which act as reactive systems, can be very conveniently modeled with statecharts and efficiently synthesized in modern programmable devices. The paper presents in details syntax and semantics of statecharts and new implementation scheme. The issue of statecharts synthesis is not still ultimately solved. Main feature of the presented approach is the transformation of statechart diagrams into Finite State Machine, and through KISS format, functional decomposition and mapping into Embedded Memory Blocks. Embedded Memory are part of the modern programmable devices.

scholarly journals Supply Chain Food Management using HFSM for RTS Game

2018 ◽  
Author(s):  
Dihin Muriyatmoko
Keyword(s):  
Supply Chain ◽  
User Interface ◽  
Finite State Machine ◽  
Finite State Machines ◽  
State Machine ◽  
State Machines ◽  
Game Play ◽  
Food Management ◽  
Finite State ◽  
Rts Game

Finite state machines have becomeextremely popular over the last decade and helpedgame developers build some pretty fun RTS games[1]. Finite State Machines have been widely used asa tool for developing RTS games, especially aspertains to solving problems related to AI, inputhandling, and game progression [2]. Anyhow, tocontrol game play and user interface for SupplyChain Management (SCM) of Food on RTS gameonly played conventional finite state machine(FSM) design. Therefore in this research isdeveloped Food SCM using Hierarchical StateFinite Machine (HFSM).HFSM allow for a modulardevelopment of states that is more maintainable andscalable[3]. The formalism of HFSM makes thestate machine approach truly applicable to real-lifeembedded systems [4].

scholarly journals Manajemen User Interface Pada Game 2D Berbasis Finite State Machine

2019 ◽  
Vol 3 (2) ◽  
pp. 144
Author(s):  
Fajar Hariadi
Keyword(s):  
User Interface ◽  
Finite State Machine ◽  
State Machine ◽  
Management Problems ◽  
Finite State

User interface is very important in a game cause it manages how the player interacts with the game itself. Managing a lot of menu in the user interface is quite challenging for the developer of the game. The menu can have a lot of different function in each part of the sub-menu. So in this article, we will see how to use the Finite State Machine concept for solving the management problems

MARKOV MATHEMATICAL MODEL OF DYNAMIC ADAPTIVE TESTING OF AN ACTIVE AGENT

2018 ◽  
pp. 29-35
Author(s):  
N. V. Brovka ◽  
P. P. Dyachuk ◽  
M. V. Noskov ◽  
I. P. Peregudova
Keyword(s):  
Mathematical Model ◽  
Finite State Machine ◽  
Active Agent ◽  
Adaptive Testing ◽  
State Machine ◽  
Learning Activities ◽  
Independent Learning ◽  
Complex Object ◽  
Total Reward ◽  
Finite State

The problem and the goal.The urgency of the problem of mathematical description of dynamic adaptive testing is due to the need to diagnose the cognitive abilities of students for independent learning activities. The goal of the article is to develop a Markov mathematical model of the interaction of an active agent (AA) with the Liquidator state machine, canceling incorrect actions, which will allow mathematically describe dynamic adaptive testing with an estimated feedback.The research methodologyconsists of an analysis of the results of research by domestic and foreign scientists on dynamic adaptive testing in education, namely: an activity approach that implements AA developmental problem-solving training; organizational and technological approach to managing the actions of AA in terms of evaluative feedback; Markow’s theory of cement and reinforcement learning.Results.On the basis of the theory of Markov processes, a Markov mathematical model of the interaction of an active agent with a finite state machine, canceling incorrect actions, was developed. This allows you to develop a model for diagnosing the procedural characteristics of students ‘learning activities, including: building axiograms of total reward for students’ actions; probability distribution of states of the solution of the problem of identifying elements of the structure of a complex object calculate the number of AA actions required to achieve the target state depending on the number of elements that need to be identified; construct a scatter plot of active agents by target states in space (R, k), where R is the total reward AA, k is the number of actions performed.Conclusion.Markov’s mathematical model of the interaction of an active agent with a finite state machine, canceling wrong actions allows you to design dynamic adaptive tests and diagnostics of changes in the procedural characteristics of educational activities. The results and conclusions allow to formulate the principles of dynamic adaptive testing based on the estimated feedback.

PENERAPAN FINITE STATE MACHINE UNTUK PENGENDALIAN ANIMASI PADA VIDEO GAME RPG NUSANTARA LEGACY

2018 ◽  
Vol 3 (1) ◽  
pp. 1
Author(s):  
Mustofa Mustofa ◽  
Sidiq Sidiq ◽  
Eva Rahmawati
Keyword(s):  
Life Cycle ◽  
Video Game ◽  
Finite State Machine ◽  
Role Playing ◽  
State Machine ◽  
Game Development ◽  
Development Life Cycle ◽  
Finite State ◽  
Role Playing Game

Perkembangan dunia yang dinamis mendorong percepatan perkembangan teknologi dan informasi. Dengan dorongan tersebut komputer yang dulunya dibuat hanya untuk membantu pekerjaan manusia sekarang berkembang menjadi sarana hiburan, permainan, komunikasi dan lain sebagainya. Dalam sektor hiburan salah satu industri yang sedang menjadi pusat perhatian adalah industri video game. Begitu banyaknya produk video game asing yang masuk ke dalam negeri ini memberikan tantangan kepada bangsa ini. Tentunya video game asing yang masuk ke negara ini membawa banyak unsur kebudayaan negara lain. Ini semakin membuat kebudayaan nusantara semakin tergeserkan dengan serangan kebudayaan asing melalui berbagai media. Maka dari itu peneliti mencoba untuk menerapkan Finite State Machine dalam merancang sebuah video game RPG (Role-Playing game) yang memperkenalkan kebudayaan. Dalam perancangan video game ini peneliti menggunakan metode GDLC(Game Development Life Cycle) agar penelitian ini berjalan secara sistematis. Dalam suatu perancangan video game tedapat banyak elemen, pada penelitian ini penulis lebih fokus pada pengendalian animasi karakter yang dimainkan pada video game ini. Dari perancangan yang dilakukan, disimpulkan bahwa Finite State Machine dapat digunakan untuk pengendalian animasi yang baik pada video game RPG. Diharapkan video game ini dapat menjadi salah satu media untuk mengenalkan kebudayaan nusantara

Human action recognition using simple geometric features and a finite state machine

2013 ◽  
Vol 18 (2-3) ◽  
pp. 49-60 ◽  
Author(s):  
Damian Dudzńiski ◽  
Tomasz Kryjak ◽  
Zbigniew Mikrut
Keyword(s):  
Action Recognition ◽  
Finite State Machine ◽  
Recognition Rate ◽  
Human Action Recognition ◽  
Human Action ◽  
Video Stream ◽  
State Machine ◽  
Recognition Algorithm ◽  
Finite State ◽  
Correct Recognition Rate

Abstract In this paper a human action recognition algorithm, which uses background generation with shadow elimination, silhouette description based on simple geometrical features and a finite state machine for recognizing particular actions is described. The performed tests indicate that this approach obtains a 81 % correct recognition rate allowing real-time image processing of a 360 X 288 video stream.

User permission isolation model based on finite state machine

2013 ◽  
Vol 33 (1) ◽  
pp. 149-152
Author(s):  
Jianjun LI ◽  
Yixiang JIANG ◽  
Jie QIAN ◽  
Wei LI ◽  
Yu LI
Keyword(s):  
Finite State Machine ◽  
State Machine ◽  
Model Based ◽  
Finite State
Sign in / Sign up

Export Citation Format

Share Document