Abstraction of Dynamical Systems by Timed Automata
To enable formal verification of a dynamical system, given by a set of differential equations, it is abstracted by a finite state model. This allows for application of methods for model checking. Consequently, it opens the possibility of carrying out the verification of reachability and timing requi...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Norwegian Society of Automatic Control
2011-04-01
|
| Series: | Modeling, Identification and Control |
| Subjects: | |
| Online Access: | http://www.mic-journal.no/PDF/2011/MIC-2011-2-3.pdf |