Parametric analysis for linear hybrid systems

Jianmin Hou,Xuandong Li,Xiaocong Fan,Guoliang Zheng
DOI: https://doi.org/10.1016/s1474-6670(17)56819-6
1999-01-01
Chinese Journal of Computers
Abstract:Abstract There are a lot of applications of linear hybrid systems in our life. Last works were all concentrated on verification for linear hybrid systems with all known parameters. This paper gives two calculation procedures for one classical unknown parameter problem. A case demonstrates that the procedures can solve some unknown parameters in linear hybrid systems so that linear hybrid systems can run correctly according to their specifications.
What problem does this paper attempt to address?