1
TÍTULO: Using timed automata for modeling, simulating and verifying networked systems controller’s specifications  Full Text
AUTORES: Kunz, G; Machado, J; Perondi, E;
PUBLICAÇÃO: 2015, FONTE: Neural Computing and Applications
INDEXADO EM: Scopus CrossRef
2
TÍTULO: A SYSTEMATIC APPROACH TO TRAJECTORY PLANNING APPLIED TO MODULAR ROBOTS
AUTORES: Cukla, AR; Peres, RS; Barata, J; Izquierdo, RC; Perondi, EA; Lorini, FJ;
PUBLICAÇÃO: 2015, FONTE: International Symposium on Mechatronics and its Applications (ISMA) in 2015 10th International Symposium on Mechatronics and its Applications (ISMA)
INDEXADO EM: WOS
3
TÍTULO: Modeling and simulation of IEC 61850 requirements applied to an automated people mover's controller
AUTORES: Kunz, G; Machado, J ; Perondi, E;
PUBLICAÇÃO: 2011, FONTE: 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
INDEXADO EM: Scopus
4
TÍTULO: Modeling and Simulating the controller behavior of an Automated People Mover using IEC 61850 Communication Requirements
AUTORES: Guilherme Kunz; Eduardo Perondi; Jose Machado ;
PUBLICAÇÃO: 2011, FONTE: 9th IEEE International Conference on Industrial Informatics (INDIN) in 2011 9TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN)
INDEXADO EM: Scopus WOS CrossRef
5
TÍTULO: MODELING AND SIMULATION OF IEC 61850 REQUIREMENTS APPLIED TO AN AUTOMATED PEOPLE MOVER'S CONTROLLER
AUTORES: Guilherne Kunz; Jose Machado; Eduardo Perondi;
PUBLICAÇÃO: 2011, FONTE: 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
INDEXADO EM: WOS