Support Operation and Maintenance of Power Wheelchairs with Digital Twins: The IoT and Cloud-based Data Exchange

DoCEIS 2023 - 14th Advanced Doctoral Conference on Computing, Electrical and Industrial Systems

2023 | conference-paper

Integrated Development of Embedded Systems With Remote Graphical User Interfaces

IEEE Access

2023 | journal-article

ROS-Based Digital Twin for Power Wheelchair

ONCON 2022 ¿ 2022 IEEE 1st Industrial Electronics Society Annual On-Line Conference

2022 | conference-paper

Vineyard Gap Detection by Convolutional Neural Networks Fed by Multi-Spectral Images

Algorithms

2022 | journal-article

Digital Twin in the Provision of Power Wheelchairs Context: Support for Technical Phases and Conceptual Model

Computers

2022 | journal-article

Towards Digital Twin in the Context of Power Wheelchairs Provision and Support

DoCEIS 2022 - 13th Advanced Doctoral Conference on Computing, Electrical and Industrial Systems

2022 | conference-paper

IOPT-Tools – From Executable Models to Automatic Code Generation for Embedded Controllers Development

2022 | book-chapter

Reconfigurable Sensor Node Applied to LoRa Networks

2022 | book-chapter

JSON Schemas with Semantic Annotations Supporting Data Translation

Applied Sciences

2021 | journal-article

How to Build a 2D and 3D Aerial Multispectral Map?—All Steps Deeply Explained

Remote Sensing

2021 | journal-article

Sistemas de Visão Industrial: Biblioteca Genérica de Pré Processamento de Imagem em FPGA

Zenodo

2021 | conference-paper

Ferramenta de edição e configuração de código VHDL

2021 | conference-paper

Towards FPGA learning through a game-based approach

2021 | conference-paper

Fabric Defect Detection With Deep Learning and False Negative Reduction

IEEE Access

2021 | journal-article

NOVA Mobility Assistive System: Developed and Remotely Controlled with IOPT-Tools

Electronics

2020 | journal-article

Reachability Graph of IOPT Petri Net Models Using CUDA C++ Parallel Application

2020 | conference-paper

Towards remote monitoring and reconfiguration of FPGA-based controllers using IOPT-Tools

REC'2020 - XVI Jornadas sobre Sistemas Reconfiguráveis

2020 | conference-paper

Static and Dynamic Algorithms for Terrain Classification in UAV Aerial Imagery

Remote Sensing

2019 | journal-article

Annotation Rules for XML Schemas with Grouped Semantic Annotations

IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society

2019 | conference-paper

Asynchronous Interfaces for IOPT-Flow to Support GALS Systems

IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society

2019 | conference-paper

GPGPU applied to support the construction of the state-space graphs of IOPT Petri net models

IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society

2019 | conference-paper

Web-based Editor for Signal Interpretation Models

IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society

2019 | conference-paper

A Survey of IOPT-Flow for GALS Systems Development

2019 International Young Engineers Forum (YEF-ECE)

2019 | conference-paper

FPGA in image processing

REC'2019 - XV Jornadas sobre Sistemas Reconfiguráveis

2019 | conference-paper

IOPT-TOOLS - Ambiente de desenvolvimento de sistemas embutidos basedado em redes de Petri utilizando tecnologias web

REC'2019 - XV Jornadas sobre Sistemas Reconfiguráveis

2019 | conference-paper

Extended Semantic Annotations for Generating Translators in the Arrowhead Framework

IEEE Transactions on Industrial Informatics

2018 | journal-article

Monitorização de Cadeiras de Rodas através de Ferramentas de Automatização de Projeto

REC 2018 - XIV Jornadas sobre Sistemas Reconfiguráveis

2018 | conference-paper

Componente modular reconfigurável para a indústria 4.0

REC'2018 - XIV Jornadas sobre Sistemas Reconfiguráveis

2018 | conference-paper

Reconfigurable devices based experimentation supporting teaching introductory digital systems

2017 IEEE 15th International Conference on Industrial Informatics (INDIN)

2017 | conference-paper

Dispositivos Reconfiguráveis e Laboratórios de Ensino de Sistemas Digitais

REC' 2017 - XIII Jornadas sobre Sistemas Reconfiguráveis

2017 | conference-paper

Distributed Embedded Controller Development with Petri Nets

2016 | book

Semantic annotation of data in schemas to support data translations

IECON Proceedings (Industrial Electronics Conference)

2016 | conference-paper

Attracting students to engineering through autonomous sailing yacht development

Proceedings of the IEEE International Conference on Industrial Technology

2015 | conference-paper

Distributed controllers modeling through Petri nets with multi-asynchronous-channels

Proceedings of the IEEE International Conference on Industrial Technology

2015 | conference-paper

Executable models for embedded controllers development - A cloud based development framework

CEUR Workshop Proceedings

2015 | conference-paper

Extending input-output place-transition Petri nets for distributed controller systems development

Proceedings - 2014 International Conference on Mechatronics and Control, ICMC 2014

2015 | conference-paper

IOPT-tools-Towards cloud design automation of digital controllers with Petri nets

Proceedings - 2014 International Conference on Mechatronics and Control, ICMC 2014

2015 | conference-paper

Asynchronous-Channels Within Petri Net-Based GALS Distributed Embedded Systems Modeling

Ieee Transactions on Industrial Informatics

2014 | journal-article

Communication support for Petri nets based distributed controllers

IEEE International Symposium on Industrial Electronics

2014 | conference-paper

Suporte de Comunicação para Controladores Distribuidos Modelados com Redes de Petri

REC' 2014 - X Jornadas sobre Sistemas Reconfiguráveis

2014 | conference-paper

Augmenting high-level petri nets to support GALS distributed embedded systems specification

2013 | conference-paper

Configuring communication nodes for networked embedded systems specified by Petri nets

IEEE International Symposium on Industrial Electronics

2013 | conference-paper

Dimensionamento de buffers para redes ponto a ponto de sistemas GALS especificados através de redes de Petri

REC' 2013 - IX Jornadas sobre Sistemas Reconfiguráveis

2013 | conference-paper

Distributed embedded systems design using Petri nets

2013 23rd International Conference on Field Programmable Logic and Applications, FPL 2013 - Proceedings

2013 | conference-paper

IOPT-tools - A Web based tool framework for embedded systems controller development using Petri nets

2013 23rd International Conference on Field Programmable Logic and Applications, FPL 2013 - Proceedings

2013 | conference-paper

MDA-based Methodology for Verifying Distributed Execution of Embedded Systems Models

2013 | book-chapter

Merging and splitting Petri net models within distributed embedded controller design

2013 | book-chapter

Towards distributed execution of Petri net conflicts through model transformation

Proceedings of the IEEE International Conference on Industrial Technology

2013 | conference-paper

Towards medical device behavioural validation using Petri nets

Proceedings of CBMS 2013 - 26th IEEE International Symposium on Computer-Based Medical Systems

2013 | conference-paper

A state-space based model-checking framework for embedded system controllers specified using IOPT Petri nets

2012 | conference-paper

Asynchronous wrappers configuration within GALS systems specified by Petri nets

IEEE International Symposium on Industrial Electronics

2012 | conference-paper

Asynchronous-channels and time-domains extending Petri nets for GALS systems

2012 | conference-paper

Dimensionamento da infraestrutura de comunicação em sistemas GALS especificados através de redes de Petri

REC'2012 - VIII Jornadas sobre Sistemas Reconfiguráveis

2012 | conference-paper

Extending a net splitting operation for decomposition of high-level Petri nets

IECON Proceedings (Industrial Electronics Conference)

2012 | conference-paper

Model-checking framework for embedded systems controllers development using IOPT Petri nets

IEEE International Symposium on Industrial Electronics

2012 | conference-paper

State space generation for Petri nets-based GALS systems

2012 IEEE International Conference on Industrial Technology, ICIT 2012, Proceedings

2012 | conference-paper

Web based IOPT Petri net Editor with an extensible plugin architecture to support generic net operations

IECON Proceedings (Industrial Electronics Conference)

2012 | conference-paper

An Ecore based Petri net type definition for PNML IOPT models

IEEE International Conference on Industrial Informatics (INDIN)

2011 | conference-paper

An IOPT-net state-space generator tool

IEEE International Conference on Industrial Informatics (INDIN)

2011 | conference-paper

Automatic generation of graphical user interfaces for VHDL based controllers

Proceedings - ISIE 2011: 2011 IEEE International Symposium on Industrial Electronics

2011 | conference-paper

Automatic generation of run-time monitoring capabilities to petri nets based controllers with graphical user interfaces

2011 | conference-paper

From IOPT Petri nets to C: An automatic code generator tool

IEEE International Conference on Industrial Informatics (INDIN)

2011 | conference-paper

IOPT Petri net state space generation algorithm with maximal-step execution semantics

IEEE International Conference on Industrial Informatics (INDIN)

2011 | conference-paper

Interface para Leitura e Escrita Concorrente de Memória RAM DDR2 em Plataforma baseada em FPGA

REC'2011 - VII Jornadas sobre Sistemas Reconfiguráveis

2011 | conference-paper

Petri net based specification and verification of globally-asynchronous- locally-synchronous system

2011 | conference-paper

State space generation algorithm for gals systems modeled by IOPT Petri nets

IECON Proceedings (Industrial Electronics Conference)

2011 | conference-paper

SysVeritas: A framework for verifying IOPT nets and execution semantics within embedded systems design

IFIP Advances in Information and Communication Technology

2011 | book

Ecore representation for extending pnml for Input-Output Place-Transition nets

IECON Proceedings (Industrial Electronics Conference)

2010 | conference-paper

From models to controllers integrating graphical animation in FPGA through automatic code generation

IEEE International Symposium on Industrial Electronics

2009 | conference-paper

Geração Automática de Controladores em FPGA Integrando Animação Gráfica

REC'2009 - V Jornadas sobre Sistemas Reconfiguráveis

2009 | conference-paper

Redes de Petri no co-design de sistemas embutidos: o projecto FORDESIGN

REC'2006 - II Jornadas sobre Sistemas Reconfiguráveis

2006 | conference-paper

Formal methods for Embedded Systems Co-design: the FORDESIGN project

ReCoSoC'05 - Reconfigurable Communication-centric Systems-on-Chip

2005 | conference-paper

Towards Usage of Formal methods within Embedded Systems Co-design

2005 IEEE Conference on Emerging Technologies and Factory Automation

2005 | conference-paper