METHODS FOR SAFE CONTROL SYSTEMS DESIGN AND IMPLEMENTATION
Résumé
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.
Domaines
Automatique / Robotique
Fichier principal
METHODS_FOR_SAFE_CONTROL_SYSTEMS_-_INCOM_2001.pdf (72.8 Ko)
Télécharger le fichier
Expose_introductif_session_INCOM_2001.pdf (106.51 Ko)
Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Format : Autre