882 search results - page 17 / 177 » Observing Infinite-dimensional Dynamical Systems |
AUTOMATICA
2008
14 years 12 months ago
2008
This paper addresses the disturbance attenuation problem by output feedback for multivariable linear systems with delayed inputs. To solve this problem, a feedback compensator is u...
126
click to vote
ISCA
2012
IEEE
13 years 2 months ago
2012
IEEE
Hybrid processors are HW/SW co-designed processors that leverage blocked-execution, the execution of regions of instructions as atomic blocks, to facilitate aggressive speculative...
107
click to vote
IJCAI
2003
15 years 1 months ago
2003
This paper addresses the formal verification of diagnosis systems. We tackle the problem of diagnosability: given a partially observable dynamic system, and a diagnosis system obs...
HICSS
2012
IEEE
13 years 7 months ago
2012
IEEE
The advent of the smartphone as a highly complex technology has been accompanied by mobile operating systems (OS), large communities of developers, diverse content providers, and ...
130
click to vote
ICFP
2012
ACM
13 years 2 months ago
2012
ACM
When termination of a program is observable by an adversary, confidential information may be leaked by terminating accordingly. While this termination covert channel has limited ...