147 search results - page 2 / 30 » Approximating Continuous Systems by Timed Automata |
ECBS
2009
IEEE
15 years 4 months ago
2009
IEEE
Probabilistic models are useful for analyzing systems which operate under the presence of uncertainty. In this paper, we present a technique for verifying safety and liveness prop...
FORMATS
2003
Springer
15 years 2 months ago
2003
Springer
In this paper we report some progress in applying timed automata technology to large-scale problems. We focus on the problem of finding maximal stabilization time for combinationa...
84
Voted
HYBRID
2010
Springer
15 years 4 months ago
2010
Springer
HYBRID
1998
Springer
15 years 1 months ago
1998
Springer
We continue investigation of languages, accepted by timed automata of Alur and Dill. In [ACM97] timed regular expressions equivalent to timed automata were introduced. Here we intr...
RTAS
2003
IEEE
15 years 2 months ago
2003
IEEE
Model-based automatic code generation is a process of converting abstract models into concrete implementations in the form of a program written in a high-level programming languag...