Presentation | 2002/11/2 On Qualitative Analisys of Hybrid Systems Akinori NOMURA, Kunihiko HIRAISHI, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | A hybrid system is a dynamical system with both discrete and continuous state change. Analysis of hybrid systems has several difficulties. Previous studies often put some restrictions on models, whereas this research put restrictions on properties to verified, e.g., we consider only qualitative properties. This approach does not give only an efficient method for verifying qualitative properties, but also a basis of system verification from incomplete information on systems. For a similar purpose, qualitative simulation was proposed as a method for qualitative analysis of continuous systems. Since this approach usually ignores largeness of parameters, it can not decide reachability to each location when it is applies to hybrid systems. To avoid this problem, we propose a new simulation method taking account of the largeness of parameters. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | Hybrid systems / qualitative analysis / qualitative simulation / reachablity / system verification |
Paper # | CAS2002-102 |
Date of Issue |
Conference Information | |
Committee | CAS |
---|---|
Conference Date | 2002/11/2(1days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | |
Vice Chair | |
Secretary | |
Assistant |
Paper Information | |
Registration To | Circuits and Systems (CAS) |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | On Qualitative Analisys of Hybrid Systems |
Sub Title (in English) | |
Keyword(1) | Hybrid systems |
Keyword(2) | qualitative analysis |
Keyword(3) | qualitative simulation |
Keyword(4) | reachablity |
Keyword(5) | system verification |
1st Author's Name | Akinori NOMURA |
1st Author's Affiliation | School of Information Science, JAPAN ADVANCED INSTITUTE OF SCIENCE AND TECHNOLOGY() |
2nd Author's Name | Kunihiko HIRAISHI |
2nd Author's Affiliation | School of Information Science, JAPAN ADVANCED INSTITUTE OF SCIENCE AND TECHNOLOGY |
Date | 2002/11/2 |
Paper # | CAS2002-102 |
Volume (vol) | vol.102 |
Number (no) | 427 |
Page | pp.pp.- |
#Pages | 6 |
Date of Issue |