4350 search results - page 263 / 870 » Case studies for contract-based systems |
157
click to vote
AUTOMATICA
2008
15 years 6 months ago
2008
This paper consists of two parts. The first part is the development of a datadriven Kalman filter for a non-uniformly sampled multirate (NUSM) system, including identification of ...
154
click to vote
CCE
2006
15 years 6 months ago
2006
This paper studies the parameter estimation of a general multi-input, multi-output multi-rate system in the frequency-domain. Two methods, named dividing to subsystems and input e...
139
click to vote
AUTOMATICA
2004
15 years 6 months ago
2004
We study linear anti-windup augmentation for linear control systems with saturated linear plants in the special case when the anti-windup compensator can only modify the input and...
175
click to vote
HCSE
2010
15 years 4 months ago
2010
Personas are useful for obtaining an empirically grounded understanding of a secure system's user population, its contexts of use, and possible vulnerabilities and threats end...
259
click to vote
ICDE
2001
IEEE
16 years 8 months ago
2001
IEEE
A distributed message delivery system can use replication to improve performance and availability. However, without safeguards, replicated messages may be delivered to a mobile de...