𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The hierarchical control of ST-finite-state machines

✍ Scribed by Peter E Caines; Vineet Gupta; Gang Shen


Publisher
Elsevier Science
Year
1997
Tongue
English
Weight
632 KB
Volume
32
Category
Article
ISSN
0167-6911

No coin nor oath required. For personal study only.

✦ Synopsis


This paper follows (Caines and Wei, 1995) where a new notion of state aggregation for finite machines was introduced via the concept of the dynamical consistency (DC) relation between the blocks of states in any given state-space partition n. This formulation results in a definition of high-level dynamics on the finite (partition) machine ~t '~ whose states correspond to the given partition elements. This paper treats the more general case of ST-systems where there is a preferred sense &flow from a set of source states (2;) to a set of target states (T) which is to be achieved by hierarchical control. A generalisation of the theory of Caines and Vv ei to ST-systems is given which includes the generalisation of the notions of dynamical consistency, in block controllability and hierarchical feedback control on the associated hierarchical lattices.


πŸ“œ SIMILAR VOLUMES


Products of fuzzy finite state machines
✍ D.S. Malik; John N. Mordeson; M.K. Sen πŸ“‚ Article πŸ“… 1997 πŸ› Elsevier Science 🌐 English βš– 474 KB

We introduce the concepts of fuzzy transformation semigroups, coverings, cascade and wreath products for fuzzy finite state machines. In order to overcome some of the difficulties which arise from the fuzzification of these concepts, we also introduce the notions of polysemigroupsand weak coverings.

Synchronizable test sequences of finite
✍ Kuo-Chung Tai; Yu-Chiou Young πŸ“‚ Article πŸ“… 1998 πŸ› Elsevier Science 🌐 English βš– 180 KB

## Ε½ . The finite state machine FSM model is commonly used for specifying communication protocols and other types of distributed systems. For an FSM with multiple ports, multiple testers are needed, but the synchronization between inputs from different testers becomes a problem. A synchronizable t