Loading...
Please wait, while we are loading the content...
Similar Documents
Modeling of asynchronous discrete-event systems as networks of input-output automata
| Content Provider | Semantic Scholar |
|---|---|
| Author | Drüppel, Sebastian Lunze, Jan Fritz, Martin |
| Copyright Year | 2008 |
| Abstract | A new approach for component-oriented modeling of asynchronous discrete-event systems is presented where input-output (I/O) automata are used for representing the components. Coupling signals are introduced to describe the interactions among the components. The resulting network of I/O-automata has a direct correspondence to the block diagram. By using the parallel composition rule known from standard automata modeling as an example, it is shown that the new model is applicable for at least the same class of asynchronous discrete-event systems as the known modeling formalisms. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://folk.ntnu.no/skoge/prost/proceedings/ifac2008/data/papers/2943.pdf |
| Language | English |
| Access Restriction | Open |
| Subject Keyword | Automata theory Automaton Diagram Formal system Input/output Interaction Loose coupling Nondeterministic algorithm Semantics (computer science) |
| Content Type | Text |
| Resource Type | Article |
