Non-convex Invariants and Urgency Conditions on Linear Hybrid Automata (Q5500563)
From MaRDI portal
scientific article; zbMATH DE number 6471312
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Non-convex Invariants and Urgency Conditions on Linear Hybrid Automata |
scientific article; zbMATH DE number 6471312 |
Statements
Non-convex Invariants and Urgency Conditions on Linear Hybrid Automata (English)
0 references
6 August 2015
0 references
