4693 search results - page 37 / 939 » Verifying Hybrid Systems |
96
Voted
LATA
2010
Springer
15 years 10 months ago
2010
Springer
Timed automata has been used as a powerful formalism for specifying, designing, and analyzing real time systems. We consider the generalization of timed automata to Pushdown Timed ...
CAISE
2006
Springer
15 years 4 months ago
2006
Springer
Static function hierarchies and models of the dynamic behaviour are typically used in e-commerce systems. Issues to be verifies are the completeness and correctness of the static f...
103
click to vote
IFM
2010
Springer
14 years 10 months ago
2010
Springer
Though program verification is known and has been used for decades, the verification of a complete computer system still remains a grand challenge. Part of this challenge is the in...
106
Voted
HYBRID
2009
Springer
14 years 10 months ago
2009
Springer
We introduce STORMED hybrid games (SHG), a generalization of STORMED Hybrid Systems [21], which have natural specifications, allow rich continuous dynamics and admit various proper...
FM
2003
Springer
15 years 5 months ago
2003
Springer
Processor obsolescence is a serious maintenance problem for long-lived embedded control systems. A practical solution is to interpose an emulator program between the ‘legacy’ s...