Deadlock-free output feedback controller design based on approximately abstracted observers (Q1730325)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Deadlock-free output feedback controller design based on approximately abstracted observers |
scientific article |
Statements
Deadlock-free output feedback controller design based on approximately abstracted observers (English)
0 references
6 March 2019
0 references
symbolic control
0 references
abstraction
0 references
observer
0 references
alternating simulation relation
0 references
approximate contractive relation
0 references
0 references
