Safe Controllers Design for Industrial Automation Systems

Detalhes bibliográficos
Autor(a) principal: Celina Leão
Data de Publicação: 2011
Outros Autores: José Machado, Eurico Seabra, José Creissac Campos, Filomena Soares
Tipo de documento: Artigo
Idioma: eng
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://repositorio.inesctec.pt/handle/123456789/3436
http://dx.doi.org/10.1016/j.cie.2010.12.020
Resumo: 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
id RCAP_aa85a1f7b02aa3ae8eb08e6d790ad021
oai_identifier_str oai:repositorio.inesctec.pt:123456789/3436
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling Safe Controllers Design for Industrial Automation SystemsThe 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 environm2017-11-17T12:58:24Z2011-01-01T00:00:00Z2011info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleapplication/pdfhttp://repositorio.inesctec.pt/handle/123456789/3436http://dx.doi.org/10.1016/j.cie.2010.12.020engCelina LeãoJosé MachadoEurico SeabraJosé Creissac CamposFilomena Soaresinfo:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2024-10-12T02:21:41Zoai:repositorio.inesctec.pt:123456789/3436Portal AgregadorONGhttps://www.rcaap.pt/oai/openairemluisa.alvim@gmail.comopendoar:71602024-10-12T02:21:41Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv Safe Controllers Design for Industrial Automation Systems
title Safe Controllers Design for Industrial Automation Systems
spellingShingle Safe Controllers Design for Industrial Automation Systems
Celina Leão
title_short Safe Controllers Design for Industrial Automation Systems
title_full Safe Controllers Design for Industrial Automation Systems
title_fullStr Safe Controllers Design for Industrial Automation Systems
title_full_unstemmed Safe Controllers Design for Industrial Automation Systems
title_sort Safe Controllers Design for Industrial Automation Systems
author Celina Leão
author_facet Celina Leão
José Machado
Eurico Seabra
José Creissac Campos
Filomena Soares
author_role author
author2 José Machado
Eurico Seabra
José Creissac Campos
Filomena Soares
author2_role author
author
author
author
dc.contributor.author.fl_str_mv Celina Leão
José Machado
Eurico Seabra
José Creissac Campos
Filomena Soares
description 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
publishDate 2011
dc.date.none.fl_str_mv 2011-01-01T00:00:00Z
2011
2017-11-17T12:58:24Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://repositorio.inesctec.pt/handle/123456789/3436
http://dx.doi.org/10.1016/j.cie.2010.12.020
url http://repositorio.inesctec.pt/handle/123456789/3436
http://dx.doi.org/10.1016/j.cie.2010.12.020
dc.language.iso.fl_str_mv eng
language eng
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv mluisa.alvim@gmail.com
_version_ 1817548588176113664