Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/16388
Título: | Partial plant models in formal verification of industrial automation discrete systems |
Autor(es): | Machado, José Mendes Campos, J. Creissac |
Data: | Abr-2011 |
Citação: | Machado, José; Campos, José Creissac. Partial Plant Models in Formal Verification of Industrial Automation Discrete Systems, Trabalho apresentado em LADC'2011 - Fifth Latin-American Symposium on Dependable Computing, In Actas da LADC'2011 - Fifth Latin-American Symposium on Dependable Computing, São José dos Campos, 2011. |
Resumo(s): | The use of a plant model for formal verification of Industrial Automation systems controllers must be used in order to improve the obtained results. However, if there are some cases where the use of a plant model makes the formal verification results more realistic and robust, there are other cases where this does not always happen. The discussion presented in this paper is related with the need of using a Plant Model considering, not all of the Plant Model, but Partial Plant models in order to facilitate formal verification tasks of Industrial Automation Discrete Event Systems. |
Tipo: | Artigo em ata de conferência |
URI: | https://hdl.handle.net/1822/16388 |
Versão da editora: | http://mtc-m18.sid.inpe.br/col/sid.inpe.br/mtc-m18/2011/04.11.16.35/doc/8%20-%2081433.pdf |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: | DEM - Publicações em actas de encontros científicos / Papers in conference proceedings |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
shortpaper_2 LADC11 JMachado_Creissac FINAL_2.pdf | 41,93 kB | Adobe PDF | Ver/Abrir |