Sciweavers

5900 search results - page 173 / 1180
» Dependable Systems
Sort
View
111
Voted
AUTOMATICA
2004
118views more  AUTOMATICA 2004»
15 years 4 months ago
Active state estimation of nonlinear systems
In this paper, state observers for control systems with nonlinear outputs are studied. For such systems, the observability does not only depend on the initial conditions, but also...
Xiaoming Hu, Torvald Ersson
137
Voted
FM
2003
Springer
94views Formal Methods» more  FM 2003»
15 years 10 months ago
On Failures and Faults
: Real computer-based systems fail, and hence are often far less dependable than their owners and users need and desire. Individuals, organisations and indeed the world at large ar...
Brian Randell
CASON
2009
IEEE
15 years 12 months ago
Social Network - An Autonomous System Designed for Radio Recommendation
This paper describes the functions of a system proposed for the music tube recommendation from social network data base. Such a system enables the automatic collection, evaluation...
Grzegorz Dziczkowski, Lamine Bougueroua, Katarzyna...
DSN
2006
IEEE
15 years 11 months ago
Static Analysis to Enforce Safe Value Flow in Embedded Control Systems
Embedded control systems consist of multiple components with different criticality levels interacting with each other. For example, in a passenger jet, the navigation system inter...
Sumant Kowshik, Grigore Rosu, Lui Sha
QUESTA
2008
73views more  QUESTA 2008»
15 years 4 months ago
Optimal control of parallel server systems with many servers in heavy traffic
We consider a parallel server system that consists of several customer classes and server pools in parallel. We propose a simple robust control policy to minimize the total linear...
J. G. Dai, Tolga Tezcan