Safe Controllers Design for Industrial Automation Systems

dc.contributor.author Celina Leão en
dc.contributor.author José Machado en
dc.contributor.author Eurico Seabra en
dc.contributor.author José Creissac Campos en
dc.contributor.author Filomena Soares en
dc.date.accessioned 2017-11-17T12:58:24Z
dc.date.available 2017-11-17T12:58:24Z
dc.date.issued 2011 en
dc.description.abstract The design of safe industrial controllers is one of the most important domains related to Automation Systems research. To support it, synthesis and analysis techniques are available. Among the analysis techniques, two of the most important are Simulation and Formal Verification. In this paper these two techniques are used together in a complementary way. Understanding plant behaviour is essential for obtaining safe industrial systems controllers; hence, plant modelling is crucial to the success of these techniques. A two step approach is presented: first, the use of Simulation and, second, the use of Formal Verification of Industrial Systems Specifications. The specification and plant models used for each technique are described. Simulation and Formal Verification results are presented and discussed. The approach presented in the paper can be applied to real industrial systems, and obtain safe controllers for hybrid plants. The Modelica modelling language and Dymola simulation environm en
dc.identifier.uri http://repositorio.inesctec.pt/handle/123456789/3436
dc.identifier.uri http://dx.doi.org/10.1016/j.cie.2010.12.020 en
dc.language eng en
dc.relation 5599 en
dc.rights info:eu-repo/semantics/openAccess en
dc.title Safe Controllers Design for Industrial Automation Systems en
dc.type article en
dc.type Publication en
Files