state machines
-structures Applied to Finite State Machines
... finite state machine, retrievable, separated and connected fuzzy finite state machines and discussed their basic ...finite state machiness in terms of primary ...finite state ...
5
Automating Verification of State Machines with Reactive Designs and Isabelle/UTP
... RoboChart state machines in Isabelle/HOL [5]. With it, state machines can be verified against properties formalised in a refinement statement, such as dead- lock ...the state machine ...
19
On the Complexity of LtlModel Checking of Recursive State Machines
... Given an abstract model M of a reactive system and an Ltl formula ϕ, Ltl model-checking asks whether an infinite computation of M satisfying ϕ exists. When M is finite-state, this decision problem is Pspace ...
12
Bipolar vague finite switchboard state Machines
... In fuzzy set theory, the membership degrees of elements range over the interval [0, 1]. The membership degree expresses the degree of belongingness of elements to a fuzzy set. The membership degree 1 indicates that an ...
10
WebMonitoring Software System: Finite State Machines for Monitoring the Web
... Abstract. This paper presents a software system called WebMonitoring. The system is designed for solving certain problems in the process of information search on the web. The first problem is improving entering of ...
24
Hierarchical and Recursive State Machines with Context Dependent Properties
... Recursive State Machines (CRSM) which generalize CHSMs by allowing recursive expansions and we study on them the verification-related problems listed ...Recursive machines can be used to model the ...
14
Test Selection on Extended Finite State Machines with Provable Guarantees
... Finite state machines extended with typed variables (EFSMs) are used to model systems and system changes are mapped to EFSM transition changes adding/deleting/replacing EFSM transitions and ...
11
Bipolar-valued Fuzzy Finite Switchboard State Machines
... finite state machine, retrievable, separated and con- nected fuzzy finite state machines and discussed their basic ...finite state machines in terms of primary ...finite state ...
6
Automating Verification of State Machines with Reactive Designs and Isabelle/UTP
... concurrent state machines, which extends our existing work [14, ...a state machines to invariants, using our results, could make this ...transform state machines to equivalent ...
19
The Application of Liquid State Machines in Robot Path Planning
... liquid state machines [1] is a kind of new recurrent neural network proposed by Maass, which has a similar concept with echo state machines [2] proposed by ...'echo' state owning a ...
5
Probabilistic Finite State Machines for Regression based MT Evaluation
... finite state machines ...finite state transducers all fall in the broad family of pFSMs (Knight and Al-Onaizan, 1998; Eisner, 2002; Kumar and Byrne, 2003; Vidal et ...
11
Design, implementation and deployment of state machines using a generative approach
... a state machine formulation can be thought of as involving a spectrum of target state ...a state machine with a single state and multiple internal ...the state machine, and which should ...
25
Hopfield Models as Nondeterministic Finite State Machines
... Hopfield Models as Nondeterministic Finite State Machines Hopfield Models as Nondeterministic Finite State Machines Marc F J Drossacrs Computer Science Department, University of Twente, P O Box 217, 7[.] ...
7
Using Aspect-Oriented State Machines for Detecting and Resolving Feature Interactions
... a state and transition pattern that selects all FSMs that the advice ...base-level state machine enters the initial state of the pointcut’s state machine, our execution model creates a new ...
30
Architectural state-machines
... each state, the goal state of all the objects is initially contentness, this goal is conditioned by the object's success at surveying their environment for signs of visitors and the length of time that they ...
10
The Influence of Context on the Learning of Metrical Stress Systems Using Finite State Machines
... Languages vary in the way stress is assigned to syllables within words. This article investigates the learnability of stress systems in a wide range of languages. The stress systems can be de- scribed using ...
20
Finite State Machines
... Finite state machines (FSMs) are a common presence in digital circuit ...finite state machines - software that is simpler and easier to understand, debug and ...from state ...
8
Learning with precise spike times : a new decoding algorithm for liquid state machines
... Liquid state machines (LSM) (Maass et ...the state vector comprises the states of all neurons in the Liquid, evolving in time according to the internal dynamics and external driving inputs, and the ...
45
Faster Algorithms for Algebraic Path Properties in Recursive State Machines with Constant Treewidth
... recursive state machines (RSMs) [2] (aka supergraph in ...component state machines (CSMs), one for each method that has a unique entry and unique exit, and each CSM contains boxes which are ...
13
Verification of Succinct Hierarchical State Machines
... In this paper, we consider a variation of the hierarchical state machines, where also boxes are labeled with atomic propositions. The intended meaning of such labeling is that when a box v expands to a ...
12