Search Sciweavers | Sciweavers

585 search results - page 3 / 117

» Better Abstractions for Timed Automata

click to vote

IJFCS
2008

158views more IJFCS 2008»

An Alternative Construction in Symbolic Reachability Analysis of Second Order Pushdown Systems

13 years 8 months ago

Download www.cse.iitk.ac.in

Abstract. Recently, it has been shown that for any higher order pushdown system H and for any regular set C of configurations, the set pre H(C), is regular. In this paper, we give ...

Anil Seth

claim paper

Read More »

click to vote

IJFCS
2006

106views more IJFCS 2006»

A Timed Failure Equivalence Preserving Abstraction for Parametric Time-interval Automata

13 years 8 months ago

Download www.sos.info.hiroshima-cu.ac.jp

ion for Parametric Time-Interval Automata Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teruo Higashino Department of Information Networking, Graduate School of Information Science...

Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teru...

claim paper

Read More »

click to vote

RTSS
2003
IEEE

157views Control Systems» more RTSS 2003»

Timed I/O Automata: A Mathematical Framework for Modeling and Analyzing Real-Time Systems

14 years 1 months ago

Download groups.csail.mit.edu

We describe the Timed Input/Output Automata (TIOA) framework, a general mathematical framework for modeling and analyzing real-time systems. It is based on timed I/O automata, whi...

Dilsun Kirli Kaynar, Nancy A. Lynch, Roberto Segal...

claim paper

Read More »

click to vote

TACAS
2004
Springer

62views Algorithms» more TACAS 2004»

Lower and Upper Bounds in Zone Based Abstractions of Timed Automata

14 years 1 months ago

Download www.lsv.ens-cachan.fr

Gerd Behrmann, Patricia Bouyer, Kim Guldstrand Lar...

claim paper

Read More »