METHODS FOR SAFE CONTROL SYSTEMS DESIGN AND IMPLEMENTATIONReportar como inadecuado




METHODS FOR SAFE CONTROL SYSTEMS DESIGN AND IMPLEMENTATION - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 LURPA - Laboratoire Universitaire de Recherche en Production Automatisée

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.





Autor: Jean-Marc Faure - Jean-Jacques Lesage -

Fuente: https://hal.archives-ouvertes.fr/



DESCARGAR PDF




Documentos relacionados