METHODS FOR SAFE CONTROL SYSTEMS DESIGN AND IMPLEMENTATIONReport as inadecuate




METHODS FOR SAFE CONTROL SYSTEMS DESIGN AND IMPLEMENTATION - Download this document for free, or read online. Document in PDF available to download.

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.





Author: Jean-Marc Faure - Jean-Jacques Lesage -

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



DOWNLOAD PDF




Related documents