This paper reviews some results in improving software safety in computer control systems. The discussion covers various aspects of the software development process, as opposed to the product features. Software diversity, off-the-shelf software, failure mode and effect analysis, rigorous and formal s
โฆ LIBER โฆ
Control of dynamic systems in spatial networks: Applications, results, and challenges
โ Scribed by Jason L. Speyer
- Publisher
- Elsevier Science
- Year
- 2000
- Tongue
- English
- Weight
- 777 KB
- Volume
- 24
- Category
- Article
- ISSN
- 1367-5788
No coin nor oath required. For personal study only.
๐ SIMILAR VOLUMES
Safety of computer control systems: chal
โ
Janusz Zalewski; Wolfgang Ehrenberger; Francesca Saglietti; Janusz Gรณrski; Andre
๐
Article
๐
2003
๐
Elsevier Science
๐
English
โ 566 KB
Applications of Neural Networks to the A
โ
Tomasz Malinowski; Robert A. Kosiลski
๐
Article
๐
1998
๐
Elsevier Science
๐
English
โ 465 KB
Optimal stopping and control of dynamic
โ
Y. Yavin
๐
Article
๐
1993
๐
Elsevier Science
๐
English
โ 549 KB
Current challenges in the design and con
โ
Luis A. Ricardez-Sandoval
๐
Article
๐
2011
๐
John Wiley and Sons
๐
English
โ 720 KB
Some new results on the controllability
โ
P. M. Lin; Y. L. Kuo
๐
Article
๐
1979
๐
John Wiley and Sons
๐
English
โ 461 KB
New Results on the Stability of Discrete
โ
A Iggidr; M Bensoubaya
๐
Article
๐
1998
๐
Elsevier Science
๐
English
โ 236 KB
The aim of this article is to present some new stability sufficient conditions for discrete-time nonlinear systems. It shows how to use nonnegative semi-definite functions as Lyapunov functions instead of positive definite ones for studying the stability of a given system. Several examples and some