Theorem of abstraction for equivalent controllers in hybrid systems (Q2568275)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Theorem of abstraction for equivalent controllers in hybrid systems |
scientific article |
Statements
Theorem of abstraction for equivalent controllers in hybrid systems (English)
0 references
10 October 2005
0 references
Hybrid systems
0 references
Discrete event systems
0 references
Control
0 references
Abstraction
0 references
