Morphisms of tautological control systems (Q1675120)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Morphisms of tautological control systems |
scientific article |
Statements
Morphisms of tautological control systems (English)
0 references
26 October 2017
0 references
tautological control system
0 references
morphism
0 references
reachability
0 references
trajectory lifting
0 references
second-order type
0 references
