On the equivalence of asynchronous control structures
| Autor: | J. Robert Jump, P. S. Thiagarajan |
|---|---|
| Rok vydání: | 1972 |
| Předmět: |
Marked graph
General Computer Science Computer science General Mathematics Voltage graph Graph theory Directed graph Intersection graph Set (abstract data type) Asynchronous communication Aperiodic graph Control system Graph (abstract data type) Graphical model Null graph Graph property Equivalence (measure theory) Algorithm Mathematics |
| Zdroj: | SWAT (FOCS) |
| DOI: | 10.1109/swat.1972.13 |
| Popis: | This paper is concerned with the problem of detecting when two asynchronous control systems are equivalent. The systems investigated in the paper are first represented by means of a formal model called an asynchronous control structure (ACS). This model specifies the constraints imposed on the generation of control signals by a system by means of a simple graphical model called a marked graph. Behavioral equivalence is then characterized in terms of the set of all possible sequences of control signals that can be generated by the system. These sequences are represented by means of another (infinite) marked graph, called a behavior graph. Finally, it is shown that two control systems are equivalent if and only if their behavior graph representations have identical (finite) generating sets. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|