695 search results - page 98 / 139 » Symbolic Simulation of Hybrid Systems |
142
click to vote
PERCOM
2005
ACM
15 years 7 months ago
2005
ACM
Hybrid sensor networks comprise of mobile and static sensor nodes setup for the purpose of collaboratively performing tasks like sensing a phenomenon or monitoring a region. In th...
117
click to vote
DSD
2004
IEEE
15 years 5 months ago
2004
IEEE
Validation of programmable architectures, consisting of processor cores, coprocessors, and memory subsystems, is one of the major bottlenecks in current Systemon-Chip design metho...
128
click to vote
MVA
1990
15 years 3 months ago
1990
d at a high abstraction level, and consists in an expectation-driven search starting from symbolic object descriptions and using a version of a distributed blackboard system for re...
116
click to vote
ICAPR
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. This paper addresses the clustering problem of hidden dynamical systems behind observed multivariate sequences by assuming an interval-based temporal structure in the seq...
116
click to vote
AUTOMATICA
1999
15 years 1 months ago
1999
This paper proposes a framework for modeling and controlling systems described by interdependent physical laws, logic rules, and operating constraints, denoted as mixed logical dy...