Rigorous Simulation-Based Analysis of Linear Hybrid Systems (Q3303914)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Rigorous Simulation-Based Analysis of Linear Hybrid Systems |
scientific article |
Statements
Rigorous Simulation-Based Analysis of Linear Hybrid Systems (English)
0 references
5 August 2020
0 references
time instance
0 references
discrete transition
0 references
simulation engine
0 references
hybrid automaton
0 references
reachability analysis
0 references
0 references
