Abstraction, discretization, and robustness in temporal logic control of dynamical systems (Q2986982)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Abstraction, discretization, and robustness in temporal logic control of dynamical systems |
scientific article |
Statements
Abstraction, discretization, and robustness in temporal logic control of dynamical systems (English)
0 references
16 May 2017
0 references
abstraction
0 references
discretization
0 references
hybrid control
0 references
robustness
0 references
temporal logic
0 references
