2432 search results - page 43 / 487 » High-level approach to modeling of observed system behavior |
105
click to vote
CDC
2010
IEEE
14 years 6 months ago
2010
IEEE
We consider the problem of stabilizing a plant with a network of resource constrained wireless nodes. In a companion paper, we developed a protocol where each node repeatedly trans...
109
click to vote
CDC
2009
IEEE
15 years 27 days ago
2009
IEEE
We consider the multi-class classification problem, based on vector observation sequences, where the conditional (given class observations) probability distributions for each class...
93
Voted
CAV
2009
Springer
16 years 10 days ago
2009
Springer
We present HOMER, an observational-equivalence model checker for the 3rd-order fragment of Idealized Algol (IA) augmented with iteration. It works by first translating terms of the...
ICCD
2001
IEEE
15 years 8 months ago
2001
IEEE
We present a simulation-based semi-formal verification method for sequential circuits described at the registertransfer level. The method consists of an iterative loop where cove...
115
click to vote
ENTCS
2010
14 years 9 months ago
2010
Testing and verification of asynchronously communicating objects in open environments are challenging due to non-determinism. We explore a formal approach for black-box testing by...