1246 search results - page 68 / 250 » Recursive Timed Automata |
115
Voted
RTCSA
2008
IEEE
15 years 7 months ago
2008
IEEE
COMDES-II is a component-based software framework intended for Model Integrated Computing (MIC) of embedded control systems with hard real-time constraints. We present a transforma...
111
Voted
MAM
2008
15 years 22 days ago
2008
This paper presents a design methodology for a hybrid Hardwarein-the-Loop (HIL) tester tool, based on both discrete event system theory, given by timed automata, and continuous sy...
106
Voted
CAV
2006
Springer
15 years 4 months ago
2006
Springer
This paper addresses the problem of computing symbolically the set of reachable configurations of a linear hybrid automaton. A solution proposed in earlier work consists in explori...
116
Voted
CONCUR
2010
Springer
15 years 29 days ago
2010
Springer
Abstract. Polynomially accurate simulations [19] are relations for Probabilistic Automata that require transitions to be matched up to negligible sets provided that computation len...
193
Voted
FOSSACS
2011
Springer
14 years 4 months ago
2011
Springer
Traditional automata accept or reject their input, and are therefore Boolean. In contrast, weighted automata map each word to a value from a semiring over a large domain. The speci...