We have formalized deterministic finite state machines closely following the textbook [9], pp. 88–119 up to the minimization theorem. In places, we have changed the approach presented in the book as it turned out to be too specific and inconvenient. Our work also revealed several minor mistakes in the book. After defining a structure for an outputless finite state machine, we have derived the s...

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...

In this paper, existing state machine and dataaow models of computation are revisited. A common representation called SCF is presented that enables the representation of several dataaow models using a mixture of functional programming and state machines. In particular, models like cyclostatic dataaow 3, 8], Synchronous Data Flow 14, 15], marked graphs 7] and communicating state machines 11, 18,...

Most SVRC technical reports are available via anonymous ftp, from svrc.it.uq.edu.au in the directory /pub/techreports. Abstracts and compressed postscript les are available via Abstract Precise module interface speciications are essential in modular software development. The role of state in these speciications has been the issue of some debate and is central to the notion of data reenement. In...

The present investigation presents a stochastic model for a flexible manufacturing system consisting of flexible machine, loading/unloading robot and an automated pallethandling device. We consider unreliable flexible manufacturing cell (FMC) wherein machine and robot operate under individual as well as common cause random failures. The pallethandling system is completely reliable. The pallet o...

A variable reluctance machine (VRM) has been proven to be an outstanding candidate for electric vehicle (EV) applications. This paper introduces a new double-stator, 12/14/12-pole three-phase hybrid-excited modular variable reluctance machine (MVRM) for EV applications. In order to demonstrate the superiorities of the proposed structure, the static torque characteristics and dynamic performance...