Output Reachable Set Estimation for Switched Linear Systems and Its Application in Safety Verification (Q4566878)
From MaRDI portal
scientific article; zbMATH DE number 6895807
Language | Label | Description | Also known as |
---|---|---|---|
English | Output Reachable Set Estimation for Switched Linear Systems and Its Application in Safety Verification |
scientific article; zbMATH DE number 6895807 |
Statements
Output Reachable Set Estimation for Switched Linear Systems and Its Application in Safety Verification (English)
0 references
27 June 2018
0 references