No label defined (Q4934658)
From MaRDI portal
scientific article; zbMATH DE number 1390366
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 1390366 |
Statements
5 July 2000
0 references
modeling
0 references
hybrid control systems
0 references
constrained nets
0 references
timed \(\forall\)-automata
0 references
elevator
0 references
