Please use this identifier to cite or link to this item:

TitleModeling and simulation of IEC 61850 requirements applied to an automated people mover's controller
Author(s)Kunz, Guilherme
Machado, José Mendes
Perondi, Eduardo
KeywordsIEC 61850
Automated people movers
Issue dateJul-2011
PublisherInstitute for Systems and Technologies of Information, Control and Communication (INSTICC)
CitationGuilherme Kunz; Machado, José; Eduardo Perondi. Modelling and Simulation of IEC 61850 Requirements Applied to an Automated People Mover's Controller, Trabalho apresentado em ICINCO'2011 - 8th International Conference on Informatics in Control, Automation and Robotics, In Actas da ICINCO'2011 - 8th International Conference on Informatics in Control, Automation and Robotics, Noordwijkerhout, 2011.
Abstract(s)Automated People Movers (APM) are systems for passenger transport with fully automated operation and high frequency service. For this study, we proposed the adaptation of the standard IEC 61850 (design to be used in electric power systems based in intelligent electronic devices) to allow its application to an APM system named Aeromovel installed in Porto Alegre, Brazil. Aeromovel is a nonconventional Automatic People Mover whose operation principle is based on pneumatics. This paper proposes the use of two analysis techniques, Simulation and Formal Verification, in order to guarantee the desired behaviour for an APM propulsion system composed by a centrifugal fan and ten (on-off and proportional) pneumatic valves driven by pneumatic pistons. This approach is based on the use of timed automata and UPPAAL software.
TypeConference paper
AccessOpen access
Appears in Collections:DEM - Publicações em actas de encontros científicos / Papers in conference proceedings

Files in This Item:
File Description SizeFormat 
ICINCO GK_JM_EP FINAL.pdf215,61 kBAdobe PDFView/Open

Partilhe no FacebookPartilhe no TwitterPartilhe no DeliciousPartilhe no LinkedInPartilhe no DiggAdicionar ao Google BookmarksPartilhe no MySpacePartilhe no Orkut
Exporte no formato BibTex mendeley Exporte no formato Endnote Adicione ao seu ORCID