Ontology Based Development of Domain Specific Languages for Systems Engineering by Mezhuyev, Vitaliy

“…A DSL grammar on the base of Finite State Machine (FSM) formalism is defined, which allows to link the SE ontology with the different SE processes (specification of requirements, work planning, development, validation, standardisation etc.). …”
Get full text

Cryptography using Automata Theory by Vayadande Kuldeep, Agarwal Kirti, Kabra Aadesh, Gangwal Ketan, Kinage Atharv

“…Decryption, which works the other way around from encryption, is the process of converting encrypted text back into plain text. By using a finite state machine and the LU decomposition method, the created encryption solution ensures data secrecy for safe communication. …”
Get full text

Propositional Dynamic Logic for Message-Passing Systems by Benedikt Bollig, Dietrich Kuske, Ingmar Meinecke

“…For every formula defining an MSC language, we construct a communicating finite-state machine (CFM) accepting the same language. The CFM obtained has size exponential in the size of the formula. …”
Get full text

REEX: A CONVERT Program to Realize the McNaughton-Yamada Analysis Algorithm by McIntosh, Harold V.

“…REEX is a CONVERT program, realized in the CTSS-LISP of Project Mac, for carrying out the McNaughton-Yamada analysis algorithm, whereby a regular expression is found describing the words accepted by a finite state machine whose transition table is given. Unmodified the algorithm will produce 4n terms representing an n-state machine. …”
Get full text

Synchronous protocol automata: a framework for modelling and verification of SoC communication architectures by D'Silva, V, Ramesh, S, Sowmya, A

“…A synchronous, finite state machine framework for modelling communication aspects of such architecture is presented. …”

SACCADE AND PURSUIT ON AN ACTIVE HEAD EYE PLATFORM by Bradshaw, K, Mclauchlan, P, Reid, I, Murray, D

“…A gaze controller which selects results from the two visual processes and controls the movement of the head platform is implemented as a finite state machine. © 1994.…”

Iterated Boolean games by Gutierrez, J, Harrenstein, P, Wooldridge, M

“…In order to model the strategies that players use in such games, we use a finite state machine model. After introducing and formally defining iterated Boolean games, we investigate the computational complexity of their associated game-theoretic decision problems as well as semantic conditions characterising classes of LTL properties that are preserved by pure strategy Nash equilibria whenever they exist.…”

DNA approach for password conversion generator by Chng, Chern Wei

“…This paper proposed a technique of cryptography to make the data or information to be more secure during transmission over the internet technology based on the DNA Stenography with the Finite State Machine (Mealy Machine) theory. This proposed algorithm is able to securing the data or information at least 3 levels of combinations for the password conversion.…”
Get full text

The data and read/write controller for March-based SRAM diagnostic algorithm MBIST by Mat Isa, Masnita, Wan Hasan, Wan Zuha, Mohd Sidek, Roslina, Abdul Halin, Izhal

“…The design uses the approach of Finite State Machine (FSM)-based architecture which is more plausible since the design was part of the engine that will be exclusively developed for the testing of this algorithm alone. …”
Get full text

Algebraic properties of finite switchboard state machine by Ebas, Nur Ain, Amir Hamzah, Nor Shamsidah, Jacob, Kavikumar, Othman, Fatin Shahirah, Rusiman, Mohd Saifullah, Ahmad, Noor’ani, Abdul Kahar, Rosmila

“…A finite switchboard state machine is a specialized finite state machine. The algebraic approach of finite switchboard state machine is still lacking in literature. …”
Get full text

A Deterministic Finite-State Morphological Analyzer for Urdu Nominal System by Abdulaziz Alblwi, Mohammad Mahyoob, Jeehaan Algaraady, Khateeb Syed Mustafa

“…It focuses on the inflections of noun forms and studies number, gender, person, and case representations, using a Finite State Machine (FSM) to analyze and create all the possible forms of the standardized registers. …”
Get full text

Unrecognizable Sets of Numbers by Minsky, Marvin, Papert, Seymour A.

“…When is a set A of positive integers, represented as binary numbers, "regular" in the sense that it is a set of sequences that can be recognized by a finite-state machine? Let pie A(n) be the number of members of A less than the integer n. …”
Get full text

Design of interfaces for workstations operating in a high speed fiber optic network by Neo, David Lian Kong

“…Emphasis is given 10 the specification and design of the system whereby object-oriented and Finite State Machine techniques were adopted. The PC adapter implements the hardware conforming to the FDDI standard for a Single Attachment Station on the IBM PC's and compatibles. …”
Get full text

A math-aware search engine for math question answering system by Chang, Kuiyu, Hui, Siu Cheung, Nguyen, Tam T.

“…Our math feature extraction and representation framework captures the semantics of math expressions via a Finite State Machine model. We adapt the passive aggressive online learning binary classifier as the ranking model. …”
Get full text
Get full text

Keyboard controller VGA controller online by Mohamad Sharif, Abu Bakar

“…The project using the Finite State Machine (FSM) technique to generate HDL coding based on the VGA timing diagram specification. …”
Get full text

Cause and Elimination Mechanism of Circularly Shift Range for the Multi-range Hydro-mechanical CVT by Yin Yuxin, Zhang Mingzhu, Hao Xiaoyang, Wang Tingting, Cui Mingming

“…To avoid the circularly shift range on multi-range hydro-mechanical continuously variable transmission（HMCVT）,taking the multi-range hydro-mechanical CVT of the wheel tractor of YTO-400 as example,the transmission characteristic of multi-range hydro-mechanical CVT is analyzed.The causes of the circularly shift range are researched,and eliminating mechanism is presented.The effectiveness of principle of averting the circularly shift range is simulated by using the theory of Finite State Machine,which employs the actual and theoretical displacement ratio,output speeds of multi-range hydro-mechanical CVT as the control parameter.The research results indicate that,the volumetric efficiency of the pump-motor system is the important reason for the factor of efficiency difference of the circularly shift range.By controlling the increase of the theory displacement ratio of the multi-range hydro-mechanical CVT,the actual displacement ratio is maintained at the same time,which effectively avoids the cycle change of the multi-range hydro-mechanical CVT.A theoretical foundation for the development of multi-range hydro-mechanical CVT control system is provided.…”
Get full text

Hardware Architecture Design for WSN Runtime Extension by Ángel Asensio, Rubén Blasco, Álvaro Marco, Roberto Casas

“…This decision, together with finite state machine design and application firmware, is crucial to minimize power consumption while maintaining expected sensor node performance. …”
Get full text

Synchronization of Variable-Length Constrained Sequence Codes by Congzhe Cao, Ivan Fair

“…We first investigate construction of these codes based on the finite state machine description of a given constraint, and develop new construction criteria to achieve high synchronization probabilities. …”
Get full text

Scheme of Operation for Multi-Robot Systems with Decision-Making Based on Markov Chains for Manipulation by Caged Objects by Daniel Arreguín-Jasso, Anand Sanchez-Orta, Hussain Alazki

“…The system’s stability in the mean-square sense is analyzed through the study of a closed-loop stochastic system, and the effectiveness of the proposed control scheme is demonstrated through numerical simulations, including a comparative analysis with a finite-state machine decision agent.…”
Get full text

Development of Exercise Designing Module for Computer Training Complex by Filipp Shkliaev, Rustam Fayzrakhmanov

“…The ontological model was developed for the selection of consistent elements; finite-state machine was comprised the exercise scenario. …”
Get full text