✦ LIBER ✦

Hierarchical finite state machines with multiple concurrency models

✍ Scribed by Girault, A.; Bilung Lee; Lee, E.A.

Book ID: 111879153
Publisher: IEEE
Year: 1999
Tongue: English
Weight: 305 KB
Volume: 18
Category: Article
ISSN: 0278-0070
DOI: 10.1109/43.766725

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The hierarchical control of ST-finite-st

The hierarchical control of ST-finite-state machines

✍ Peter E Caines; Vineet Gupta; Gang Shen 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 632 KB

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 dy

Finite-State Models for Logical Machines

📂 Article 📅 1969 🏛 Institution of Electrical Engineers ⚖ 100 KB

Controllable Testing from Nondeterminist

Controllable Testing from Nondeterministic Finite State Machines with Multiple Ports

✍ Hierons, R.M. 📂 Article 📅 2011 🏛 IEEE 🌐 English ⚖ 453 KB

Hierarchical finite-state machines and t

Hierarchical finite-state machines and their use for digital control

✍ Sklyarov, V. 📂 Article 📅 1999 🏛 IEEE 🌐 English ⚖ 252 KB

Model matching for finite-state machines

✍ Di Benedetto, M.D.; Sangiovanni-Vincentelli, A.; Villa, T. 📂 Article 📅 2001 🏛 IEEE 🌐 English ⚖ 445 KB

Aspect-Oriented Modeling and Verificatio

Aspect-Oriented Modeling and Verification with Finite State Machines

✍ Dian-Xiang Xu; Omar El-Ariss; Wei-Feng Xu; Lin-Zhang Wang 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 573 KB