6 search results - page 1 / 2 » MARCO: A Reachability Algorithm for Multi-affine Systems wit... |
HYBRID
2007
Springer
13 years 8 months ago
2007
Springer
We present a new algorithm for the reachability analysis of multi-affine hybrid systems. In our previous work on reachability analysis and that of our collaborators [1
CIKM
2010
Springer
13 years 3 months ago
2010
Springer
The cost of reachability query computation using traditional algorithms such as depth first search or transitive closure has been found to be prohibitive and unacceptable in mass...
FASE
2006
Springer
13 years 8 months ago
2006
Springer
This paper describes the application of the Real-Time Maude tool to the formal specification and analysis of the CASH scheduling algorithm and its suggested modifications. The CASH...
SDM
2004
SIAM
13 years 6 months ago
2004
SIAM
Similarity search in database systems is becoming an increasingly important task in modern application domains such as multimedia, molecular biology, medical imaging, computer aid...
TSE
2011
12 years 11 months ago
2011
— We propose a new probabilistic temporal logic iLTL which captures properties of systems whose state can be represented by probability mass functions (pmf’s). Using iLTL, we c...