Design of reactive algorithms by solving equations over automata (Q2263188)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Design of reactive algorithms by solving equations over automata |
scientific article |
Statements
Design of reactive algorithms by solving equations over automata (English)
0 references
18 March 2015
0 references
reactive system
0 references
specification in language L
0 references
\(\Sigma\)-FSM
0 references
synchronous composition of \(\Sigma\)-FSMs
0 references
inequality over \(\Sigma\)-FSMs
0 references
maximal solution
0 references
0 references
