Symbolic models for time-varying time-delay systems via alternating approximate bisimulation (Q3465677)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Symbolic models for time-varying time-delay systems via alternating approximate bisimulation |
scientific article |
Statements
Symbolic models for time-varying time-delay systems via alternating approximate bisimulation (English)
0 references
22 January 2016
0 references
time-delay systems
0 references
symbolic models
0 references
alternating approximate bisimulation
0 references
incremental input-delay-to-state stability
0 references
time-varying delays
0 references
0 references
0 references
0 references
0 references
