Verification and synthesis of interconnected embedded control systems under timing contracts (Q5239238)
From MaRDI portal
scientific article; zbMATH DE number 7120156
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Verification and synthesis of interconnected embedded control systems under timing contracts |
scientific article; zbMATH DE number 7120156 |
Statements
Verification and synthesis of interconnected embedded control systems under timing contracts (English)
0 references
22 October 2019
0 references
embedded control
0 references
input-to-state stability
0 references
interconnected systems
0 references
parameter synthesis
0 references
sampled-data systems
0 references
