线性混成系统的参数分析

PARAMETRIC ANALYSIS OF LINEAR HYBRID SYSTEMS

针对线性混成系统中存在的一类典型未知参数问题，如实时系统的验证通常局限于给定具体数值，未考虑系统中任何时间参数或物理特征参数的计算等，给出了具体的计算过程．实例应用表明，该计算过程可以有效地求解线性混成系统中这类未知参数，并能保证系统按照规约的要求正确运行．

Linear hybrid systems, which are used in a wide range of applications, are a kind of real time systems embodied in simulated environment. In general, the verification of real time systems was limited in the case that all concrete parameters are given as premise in order to verify whether the actual systems satisfy the specification, or try to prove such properties as liveness, security, etc. while it didn't consider how to compute the arbitrary time parameters or physical parameters. However, in practical projects, even provided with the specification of a real time system, we can't know all the parameters of the system in advance. Therefor, it is necessary to analyze the unknown parameters, make decisions to choose appropriate values or ranges for these parameters in order to guarantee the real time systems can run correctly according to their specifications. This paper analyzes two types of unknown parameters in linear hybrid systems and provides computing procedures to solve them. It is shown in an example that the computing procedures can efficiently be used to obtain the unknown parameters, and which guarantee linear hybrid systems can run correctly according to their specifications.