598 search results - page 9 / 120 » Generic Trace Theory |
150
click to vote
AMC
2000
15 years 5 months ago
2000
We study a class of discrete dynamical systems that is motivated by the generic structure of simulations. The systems consist of the following data: (a) a
141
click to vote
ICRA
2003
IEEE
15 years 10 months ago
2003
IEEE
Based on a recently developed ”generalized averaging theory,” we present a generic approach for the design of stabilizing feedback controllers for biomimetic locomotive systems...
172
click to vote
AHS
2006
IEEE
15 years 11 months ago
2006
IEEE
— This invited paper overviews the low level debug support hardware required for an on-chip predeployment debugging system for sensor networks. The solution provides significant...
132
click to vote
TPHOL
1999
IEEE
15 years 9 months ago
1999
IEEE
Abstract. Intel is applying formal verification to various pieces of mathematical software used in Merced, the first implementation of the new IA-64 architecture. This paper discus...
139
click to vote
AUTOMATICA
2007
15 years 5 months ago
2007
This paper is devoted to the generic observability analysis for structured bilinear systems using a graph-theoretic approach. On the basis of a digraph representation, we express ...