Metodologia de análise de sistemas de proteção com controle distribuído através da ferramenta de modelagem e verificação formal estatística

Metodologia de análise de sistemas de proteção com controle distribuído através da ferramenta de modelagem e verificação formal estatística

Submitted by Miriam Lucas (miriam.lucas@unioeste.br) on 2018-02-22T14:23:15Z No. of bitstreams: 2 Felipe_Crestani_dos_Santos_2017.pdf: 5495370 bytes, checksum: 82f81445874bba45497cda5c8d784d2f (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) === Made available in DSpace o...

Full description

Bibliographic Details
Main Author: Santos, Felipe Crestani dos
Other Authors: Kunz, Guilherme de Oliveira
Format: Others
Language:Portuguese
Published: Universidade Estadual do Oeste do Paraná 2018
Subjects:
Sistemas de proteção
Verificação formal estatística
Sistemas de tempo real críticos
Autômatos temporizados híbridos
Power system protection
Statistical model checking
Hard real time
Hybrid automata
ENGENHARIA ELETRICA::SISTEMAS ELETRICOS DE POTENCIA
Online Access:http://tede.unioeste.br/handle/tede/3398

Internet

http://tede.unioeste.br/handle/tede/3398

Similar Items