2
TITLE: A Formal Methodology for Accomplishing IEC 61850 Real-Time Communication Requirements
AUTHORS: Kunz, G; Machado, J; Perondi, E; Vyatkin, V;
PUBLISHED: 2017, SOURCE: IEEE Transactions on Industrial Electronics, VOLUME: 64, ISSUE: 8
INDEXED IN: Scopus
3
TITLE: Using timed automata for modeling, simulating and verifying networked systems controller’s specifications  Full Text
AUTHORS: Kunz, G; Machado, J; Perondi, E;
PUBLISHED: 2015, SOURCE: Neural Computing and Applications
INDEXED IN: Scopus CrossRef
4
TITLE: A SYSTEMATIC APPROACH TO TRAJECTORY PLANNING APPLIED TO MODULAR ROBOTS
AUTHORS: Cukla, AR; Peres, RS; Barata, J; Izquierdo, RC; Perondi, EA; Lorini, FJ;
PUBLISHED: 2015, SOURCE: International Symposium on Mechatronics and its Applications (ISMA) in 2015 10th International Symposium on Mechatronics and its Applications (ISMA)
INDEXED IN: WOS
5
TITLE: Modeling and simulation of IEC 61850 requirements applied to an automated people mover's controller
AUTHORS: Kunz, G; Machado, J ; Perondi, E;
PUBLISHED: 2011, SOURCE: 8th International Conference on Informatics in Control, Automation and Robotics, ICINCO 2011 in ICINCO 2011 - Proceedings of the 8th International Conference on Informatics in Control, Automation and Robotics, VOLUME: 2
INDEXED IN: Scopus
6
TITLE: Modeling and Simulating the controller behavior of an Automated People Mover using IEC 61850 Communication Requirements
AUTHORS: Guilherme Kunz; Eduardo Perondi; Jose Machado ;
PUBLISHED: 2011, SOURCE: 9th IEEE International Conference on Industrial Informatics (INDIN) in 2011 9TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN)
INDEXED IN: Scopus WOS CrossRef
7
TITLE: MODELING AND SIMULATION OF IEC 61850 REQUIREMENTS APPLIED TO AN AUTOMATED PEOPLE MOVER'S CONTROLLER
AUTHORS: Guilherne Kunz; Jose Machado; Eduardo Perondi;
PUBLISHED: 2011, SOURCE: 8th International Conference on Informatics in Control, Automation and Robotics in ICINCO 2011: PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS, VOL 2
INDEXED IN: WOS