Abstract
We consider a method for model checking certain properties of continuous dynamical systems, by adapting an abstraction method previously proposed so that it will work with the timed automata model checker UPPAAL. We also describe our ongoing work to extend this method to verify liveness (reachability) properties of hybrid dynamical systems
| Original language | English |
|---|---|
| Title of host publication | Automated Reasoning Workshop, ARW 2012 |
| Editors | Renate Schmidt |
| Place of Publication | UK |
| Pages | 29-30 |
| Number of pages | 2 |
| Publication status | Published - Apr 2012 |
| Event | Automated Reasoning Workshop, ARW 2012 - Manchester, UK Duration: 2 Apr 2012 → 4 Apr 2012 |
Conference
| Conference | Automated Reasoning Workshop, ARW 2012 |
|---|---|
| City | Manchester, UK |
| Period | 2/04/12 → 4/04/12 |
Keywords
- Hybrid dynamical systems
- Liveness
- Formal verification