Search Sciweavers | Sciweavers

732 search results - page 50 / 147

» Axiomatising timed automata

click to vote

CONCUR
2008
Springer

116views Distributed And Parallel Com...» more CONCUR 2008»

Distributed Timed Automata with Independently Evolving Clocks

13 years 10 months ago

Download www.lsv.ens-cachan.fr

Abstract. We propose a model of distributed timed systems where each component is a timed automaton with a set of local clocks that evolve at a rate independent of the clocks of th...

S. Akshay, Benedikt Bollig, Paul Gastin, Madhavan ...

claim paper

Read More »

click to vote

ACSD
2007
IEEE

93views Hardware» more ACSD 2007»

SAT-based Unbounded Model Checking of Timed Automata

13 years 10 months ago

Download www.ipipan.waw.pl

We present an improvement of the SAT-based Unbounded Model Checking (UMC) algorithm. UMC, a symbolic approach introduced in [7], uses propositional formulas in conjunctive normal ...

Wojciech Penczek, Maciej Szreter

claim paper

Read More »

click to vote

HYBRID
2010
Springer

156views Control Systems» more HYBRID 2010»

Succinct discrete time approximations of distributed hybrid automata

14 years 3 months ago

Download www2.ee.kth.se

P. S. Thiagarajan, Shaofa Yang

claim paper

Read More »