Symbolic models for nonlinear time-delay systems using approximate bisimulations (Q1959416)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Symbolic models for nonlinear time-delay systems using approximate bisimulations |
scientific article |
Statements
Symbolic models for nonlinear time-delay systems using approximate bisimulations (English)
0 references
7 October 2010
0 references
time-delay systems
0 references
symbolic models
0 references
approximate bisimulation
0 references
Lyapunov-Krasovskii functionals
0 references
incremental stability
0 references
