Safety analysis of a Class of Timed Automata Hybrid Systems
This paper investigates safety analysis of reachability of timed automata hybrid systems as an extension of safety analysis of linear system. By studying the initial and terminal sets, the safety analysis problems can be represented as geometric optimization problems which can be transformed into a...
| Main Authors: | , , , , , , , |
|---|---|
| 格式: | Conference or Workshop Item |
| 语言: | English |
| 出版: |
2009
|
| 主题: | |
| 在线阅读: | https://repository.ugm.ac.id/101247/1/21.pdf |