METHODS FOR SAFE CONTROL SYSTEMS DESIGN AND IMPLEMENTATION

Abstract : This paper is the introductory one of the Safe control systems session. A classification of methods contributing to control systems safety is proposed in order to place the five other papers of this session and to show that they are complementary. This classification is based on a life-cycle criterion. Focusing then on discrete event systems safety, we point out the relationships between state space synthesis and analysis and system safety. This enables a more formal approach of safe control design and implementation.
Type de document :
Communication dans un congrès
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00361647
Contributeur : Jean-Marc Faure <>
Soumis le : lundi 16 février 2009 - 12:17:34
Dernière modification le : jeudi 9 février 2017 - 16:01:31
Document(s) archivé(s) le : mardi 8 juin 2010 - 19:27:20

Identifiants

  • HAL Id : hal-00361647, version 1

Collections

Citation

Jean-Marc Faure, Jean-Jacques Lesage. METHODS FOR SAFE CONTROL SYSTEMS DESIGN AND IMPLEMENTATION. 10th IFAC Symposium on Information Control Problems in Manufacturing, INCOM'2001, Sep 2001, Vienna, Austria. CDRom paper FA4.1. ⟨hal-00361647⟩

Partager

Métriques

Consultations de la notice

174

Téléchargements de fichiers

404