|
|||||
|
|
Loop reduction techniques for reachability analysis of linear hybrid automata |
|
| Authors: | PAN MinXue LI You BU Lei LI XuanDong |
| Affiliation: | State Key Laboratory for Novel Software Technology, Department of Computer Science and Technology, Nanjing University, Nanjing 210093, China |
| Abstract: | |
| Keywords: | real-time and hybrid systems linear hybrid automata reachability analysis |
| 本文献已被 维普 等数据库收录！ | |
