Results 271 to 280 of about 17,423 (281)

Timed automata and recognizability

Information Processing Letters, 1998
openaire   +1 more source

Diagnosis of timed automata: Theory and application to the DAMADICS actuator benchmark problem

Control Engineering Practice, 2006
J Lunze, Vicenҫ Puig, Joseba Quevedo
exaly  

Structural translation from Time Petri Nets to Timed Automata

Journal of Systems and Software, 2006
Franck Cassez
exaly  

Performance analysis of probabilistic timed automata using digital clocks

Formal Methods in System Design, 2006
Marta Kwiatkowska, Gethin J Norman, David Parker   +2 more
exaly  

Weighted Timed Automata: Model-Checking and Games

Electronic Notes in Theoretical Computer Science, 2006
Patricia Bouyer
exaly  

A Calculus for Timed Automata.

1996
D'Argenio, P.R., Brinksma, E.
openaire   +1 more source

Alternating timed automata

ACM Transactions on Computational Logic, 2008
exaly  

Event-clock automata: a determinizable class of timed automata

Theoretical Computer Science, 1999
exaly  

Robust parametric reachability for timed automata

Information Processing Letters, 2007
exaly  

Pushdown timed automata: a binary reachability characterization and safety verification

Theoretical Computer Science, 2003
exaly