H. Wong-Toi and D. Dill. Using iterative approximations for timing verification. In First AMAST International Workshop on Real-Time Systems, Iowa City (Iowa), November 1993. 14  Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Verification of Linear Hybrid Systems By Means of Convex .. - Halbwachs, Raymond, Proy (1994) (72 citations) (Correct)
....k2 . They get exact results, but of course, such a change in the structure could not be found automatically, and may involve an explosion of the size of the automaton. 12 exponential proliferation of regions, approximate methods converging towards exact results have been proposed in this field [WTD93] Concerning linear hybrid systems, semi decision procedures have been proposed [ACHH93, AHH93, NOSY93] The closest work to our method is [HH94] where an extrapolation operation is proposed, which does not force the convergence. They use also a backward computation technique, which we could ....
H. Wong-Toi and D. Dill. Using iterative approximations for timing verification. In First AMAST International Workshop on Real-Time Systems, Iowa City (Iowa), November 1993. 14
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC