In reliability analysis of engineering systems it is conventional to represent the limit state function as a precise surface. Uncertainty in the limit state function may be represented by introducing one or more additional random variables. However, the meaning of the additional random variable(s) is unclear and seldom does justice to the uncertainties in the subtle combination of expert judgem...

Occupational Safety and Health (K3) is an important requirement needed in mining. This because activities mining have great risks are associated with unpredictable natural conditions. One of them the leakage hazardous gas at mine site caused by activities. article proposes a wheeled robot to detect carbon monoxide methane based on Internet Things (IoT) using Finite State Machine (FSM) Fuzzy Log...

in this paper, our focus of attention is the proper propagationof fuzzy degrees in determinization of $nondeterministic$ $fuzzy$$finite$ $tree$ $automata$ (nffta). initially, two determinizationmethods are introduced which have some limitations (one inbehavior preserving and other in type of fuzzy operations). inorder to eliminate these limitations and increasing theefficiency of ffta, we defin...

A number of authors have looked at the problem of deriving a checking experiment from a nondeterministic nite state machine that mod els the required behaviour of a system We show that these methods can be extended if it is known that the implementation is equivalent to some unknown deterministic nite state machine When testing a deterministic implementation the test output provides information...

This paper proposes simulated annealing based algorithm for the synthesis of a finite state machine to determine the optimal state assignment with less area and power dissipation. The algorithm has two annealing stages. In the first rough annealing stage it tries to search in global scope by the proposed rough search method. In the second focusing annealing stage it tries to search in local sco...

In this paper an attempt has been made to represent biological mutational activities through sequential mathematical machines. Begin with a brief theory of finite state sequential machines genetic sequences are presented in a systematic manner. A mutator has been shown as a variety of finite state machines. The mutation is studied systematically and an automaton have been constructed with the b...

The paper describes syntax, behavior and formal semantics of a new class of timed automata, which are tailored for modeling the behavior of real-time systems. A formal method for automatic generation of programs is developed around this model. The method starts from modeling the desired behavior of the system under design by means of a UML-based state machine with the ability to measure time, a...

This paper introduces an interval fuzzy rule-based method for the recognition of hand gestures acquired from a data glove, with an application to the recognition of hand gestures of the Brazilian Sign Language. To deal with the uncertainties in the data provided by the data glove, an approach based on interval fuzzy logic is used. The method uses the set of angles of finger joints for the class...

In this paper, our focus of attention is the proper propagationof fuzzy degrees in determinization of $Nondeterministic$ $Fuzzy$$Finite$ $Tree$ $Automata$ (NFFTA). Initially, two determinizationmethods are introduced which have some limitations (one inbehavior preserving and other in type of fuzzy operations). Inorder to eliminate these limitations and increasing theefficiency of FFTA, we defin...