10 search results - page 1 / 2 » Succinct discrete time approximations of distributed hybrid ... |
HYBRID
2010
Springer
14 years 5 months ago
2010
Springer
FBT
1998
14 years 6 days ago
1998
We build on work in designing modeling languages for hybrid systems in the development of CTA, the Cottbus Timed Automata. Our design features a facility to specify a hybrid system...
RTAS
2003
IEEE
14 years 4 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...
CDC
2008
IEEE
14 years 5 months ago
2008
IEEE
— We propose a diagnosability notion that depends on two parameters denoted as (δd, δm) for the general class of transition systems where the observable output is given by disc...
CONCUR
2000
Springer
14 years 3 months ago
2000
Springer
Abstract. We consider the problem of automatically verifying realtime systems with continuously distributed random delays. We generalise probabilistic timed automata introduced in ...