3864 search results - page 130 / 773 » time 2005 |
146
click to vote
ASPDAC
2005
ACM
15 years 8 months ago
2005
ACM
—The feasibility of a message in a network concerns if its timing property can be satisfied without jeopardizing any messages already in the network to meet their timing propert...
173
click to vote
ISCAS
2005
IEEE
15 years 12 months ago
2005
IEEE
There are many ways to define richness of a discrete time signal. In this paper we consider a particular definition and explore the conditions under which a linear time invarian...
151
click to vote
TIME
2005
IEEE
15 years 12 months ago
2005
IEEE
We investigate properties of a spatio-temporal logic based on an n-dimensional Duration Calculus tailored for the specification and verification of mobile real-time systems. Aft...
119
click to vote
AUTOMATICA
2005
15 years 6 months ago
2005
In this paper, the problem of fault detection in sampled-data systems is studied. It is shown that norms of a sampled system are equal to the corresponding norms of a certain disc...
145
click to vote
CDC
2008
IEEE
16 years 26 days ago
2008
IEEE
: This paper addresses the asymptotic stability of switched time delay systems. Piecewise Lyapunov-Razumikhin functions are introduced for the switching candidate systems to invest...