Add to ORKGIn this paper a search-based method for constructing finite-state machines (FSMs) with continuous (real-valued) output actions is improved. A more flexible FSM representation model is presented and compared with the previous one on the problem of unmanned aircraft control. Categories and Subject Descriptor
Computing the set of reachable states of a finite state machine is an important component of many pr...
AbstractWe show that finite-state machines can be represented as unique elements of special modules ...
The article is devoted to the construction of formal mathematical models for some investment process...
Abstract. This work focuses on the synthesis of finite-state machines (FSMs) by observing its input/...
Finite-state models, such as finite-state machines (FSMs), aid software engineering in many ways. Th...
We give an algorithm that derives a finite state machine (FSM) from a given abstract state machine (...
Finite-state controllers represent an effective action selection mechanisms widely used in domains s...
This letter proposes a new model of state machine called Finite Virtual State Machine (FVSM). A memo...
Finite state machines are widely used in the modeling of systems for various purposes. Descriptions ...
Traditionally, finite state machines based approaches are used in real-time object-oriented system...
Model checking addresses correctness of finite-state systems by formal methods. It automatically eit...
An optimization method of the logic circuit of a Mealy finite-state machine is proposed. It is based...
This note discusses an approach to the model reduction of discrete event systems represented by fini...
ABSTRACT: Finite state machine is a convenient model for specification, analysis and synthesis of co...
State space exploration of finite state machines is used to prove properties about sequential behavi...
Computing the set of reachable states of a finite state machine is an important component of many pr...
AbstractWe show that finite-state machines can be represented as unique elements of special modules ...
The article is devoted to the construction of formal mathematical models for some investment process...
Abstract. This work focuses on the synthesis of finite-state machines (FSMs) by observing its input/...
Finite-state models, such as finite-state machines (FSMs), aid software engineering in many ways. Th...
We give an algorithm that derives a finite state machine (FSM) from a given abstract state machine (...
Finite-state controllers represent an effective action selection mechanisms widely used in domains s...
This letter proposes a new model of state machine called Finite Virtual State Machine (FVSM). A memo...
Finite state machines are widely used in the modeling of systems for various purposes. Descriptions ...
Traditionally, finite state machines based approaches are used in real-time object-oriented system...
Model checking addresses correctness of finite-state systems by formal methods. It automatically eit...
An optimization method of the logic circuit of a Mealy finite-state machine is proposed. It is based...
This note discusses an approach to the model reduction of discrete event systems represented by fini...
ABSTRACT: Finite state machine is a convenient model for specification, analysis and synthesis of co...
State space exploration of finite state machines is used to prove properties about sequential behavi...
Computing the set of reachable states of a finite state machine is an important component of many pr...
AbstractWe show that finite-state machines can be represented as unique elements of special modules ...
The article is devoted to the construction of formal mathematical models for some investment process...