【摘 要】
：
We consider the verification problem of invariance properties for timed systemsmodeled by (extended) Timed Graphs with duration variables. This problem is in ge
论文部分内容阅读
We consider the verification problem of invariance properties for timed systemsmodeled by (extended) Timed Graphs with duration variables. This problem is in general caseundecidable. Nevertheless we give in this paper a technique extending a given system into anotherone containing the initial computations as well as additional ones. Then we define a digitiza-tion technique allowing the translation from the continuous case to the discrete one. Using thisdigitization, we show that to each real computation in the initial system corresponds a discretecomputation in the extended system. Then, we show that the extended system corresponds to avery close approximation of the initial one, allowing per consequent, a good analysis of invarianceproperties of the initial system.
其他文献
介绍了催化不对称催化反应中的一个新概念一不对称活化(asymmetric activation)及其研究的最新进展。运用不对称活化策略,一个光学活性的或者甚至外消旋的催化剂可以被另一种
Gupta et al., proposed a method, which is referred to as the Iterative RelaxationMethod, to generate test data for a given path in a program by linearizing the
In this paper a stochastic volatility model is considered. That is, a log price process Y whichis given in terms of a volatility process V is studied. The latte
The racemic neocnidilide has been synthesized by stereoselective reaction of hemiacetal 5 with n-BuMgBr.
The title complex, bis(indene-1,2,3-trione 2-oximato)bis(aqua)Mn(Ⅱ), crystallizes in the monoclinic system, space group P21/c with a = 5.201(1), b = 16.547(3),
The low voltage powerline is becoming a powerful solution to home network, building automation, and internet access as a result of its wide distribution, easy a
A novel chemiluminescence(CL) sensor, which can be used for hydroxylamine determination in combination with flow injection analysis, was developed by electrosta
The speciation and distribution of Gd(III) in human interstitial fluid was studied by computer simulation. Meantime artificial neural network was applied to the
A new monomer of 4, 4'-biphenyl-bis[4-phthalazin-1(2H)-one] was synthesized from biphenyl and phthalic anhydride, and a novel copoly(aryl ether ketone) (PPEK) w