1048 search results - page 85 / 210 » Reliability Modeling of Fault Tolerant Control Systems |
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Abstract--This paper proposes a method for deriving formal specifications of systems. To accomplish this task we pass through a non trivial number of steps, concepts and tools wher...
CSUR
2004
13 years 7 months ago
2004
Over the past years, mobile agent technology has attracted considerable attention, and a significant body of literature has been published. To further develop mobile agent technol...
SPAA
2010
ACM
14 years 21 days ago
2010
ACM
This paper studies non-cryptographic authenticated broadcast in radio networks subject to malicious failures. We introduce two protocols that address this problem. The first, Nei...
ICDCS
2000
IEEE
14 years 9 days ago
2000
IEEE
To assure dependable onboard evolution, we have developed a methodology called guarded software upgrading (GSU). In this paper, we focus on a low-cost approach to error containmen...
AUTOMATICA
2004
13 years 7 months ago
2004
In this paper we propose an innovative way of dealing with the design of fault-tolerant control systems. We show how the nonlinear output regulation theory can be successfully ado...