Event-Based Modeling of Input Signal Behaviors for Discrete-Event Controllers

Applied Sciences

2024 | journal-article

Remote Debugger: A Tool to Remotely Monitor and Operate IOPT-Nets Controllers

2024 | book-chapter

Model-driven development in hardware-software co-design of controllers for cyber-physical systems

2023 IEEE 10th International Conference on E-Learning in Industrial Electronics (ICELIE)

2023 | conference-paper

EMG Based MIDI Controller

2023 7th International Young Engineers Forum (YEF-ECE)

2023 | conference-paper

Decomposition of a Petri Net-Based Cyber-Physical System toward Implementation as an Integrated System within FPGA

Applied Sciences

2023 | journal-article

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

2022 | book-chapter

Input Event Modeling for Discrete-Event Controllers: A Petri Net Approach

2022 | book-chapter

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

XVII Jornadas sobre Sistemas Reconfiguráveis - REC2021

2021 | conference-paper

Teaching Computational Reasoning without a Computer

2019 | conference-paper

Analysis and Design Automation of Cyber-Physical System with Hippo and IOPT-Tools

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

2019 | conference-paper

Graphical Formalism for Signal Interpretation Modeling

Topics in Intelligent Engineering and Informatics

2019 | book-chapter

Collision avoidance system for an autonomous sailboat

IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society

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

Dynamic Partial Reconfiguration of Concurrent Control Systems Implemented in FPGA Devices

IEEE Transactions on Industrial Informatics

2017 | journal-article

Emulation of electronic instrumentation devices supporting sailboat's autonomous navigation

IEEE International Symposium on Industrial Electronics

2017 | conference-paper

Prototyping of Concurrent Control Systems With Application of Petri Nets and Comparability Graphs

IEEE Transactions on Control Systems Technology

2017 | journal-article

Reconfigurable devices based experimentation supporting teaching introductory digital systems

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

2017 | conference-paper

Wind speed and direction measurement based on time of flight ultrasonic anemometer

IEEE International Symposium on Industrial Electronics

2017 | conference-paper

Analysis and generation of logical signals for discrete events behavioral modeling

IFIP Advances in Information and Communication Technology

2015 | book

Attracting students to engineering through autonomous sailing yacht development

Proceedings of the IEEE International Conference on Industrial Technology

2015 | conference-paper

Event life time in detection of sequences of events

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

Model-based development of an autonomous sailing yacht controller

Proceedings - 2015 IEEE International Conference on Autonomous Robot Systems and Competitions, ICARSC 2015

2015 | conference-paper

Suporte de Comunicação para Controladores Distribuídos Desenvolvidos em Redes de Petri

2014 | conference-paper

Cloud based development framework using IOPT Petri nets for embedded systems teaching

IEEE International Symposium on Industrial Electronics

2014 | conference-paper

Communication support for Petri nets based distributed controllers

IEEE International Symposium on Industrial Electronics

2014 | conference-paper

Elementary Events for Modeling of Human-System Interactions with Petri Net Models

IFIP Advances in Information and Communication Technology

2014 | book

Enhanced Event Modeling for Human-System Interactions Using IOPT Petri Nets

Advances in Intelligent Systems and Computing

2014 | book

Output events for human-system interaction modeling

Proceedings - 2014 7th International Conference on Human System Interactions, HSI 2014

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

Welcome to HSI'2014

Proceedings - 2014 7th International Conference on Human System Interactions, HSI 2014

2014 | conference-paper

Events for human-system interaction modeling with IOPT Petri nets

2013 6th International Conference on Human System Interactions, HSI 2013

2013 | conference-paper

MDA-based methodology for verifying distributed execution of embedded systems models

Formal Methods in Manufacturing Systems: Recent Advances

2013 | book

Merging and splitting petri net models within distributed embedded controller design

Embedded Computing Systems: Applications, Optimization, and Advanced Design

2013 | book

On structuring events for IOPT net models

IFIP Advances in Information and Communication Technology

2013 | book

Asynchronous wrappers configuration within GALS systems specified by Petri nets

IEEE International Symposium on Industrial Electronics

2012 | conference-paper

Finding learning paths using Petri nets modeling applicable to e-learning platforms

IFIP Advances in Information and Communication Technology

2012 | book

Model composition by reusing Petri net based modules

IECON Proceedings (Industrial Electronics Conference)

2012 | conference-paper

On the verification of non-autonomous Petri net models using autonomous petri net tools

IECON Proceedings (Industrial Electronics Conference)

2012 | conference-paper

Petri nets based study plan construction supporting student's evolution monitoring

Proceedings - 2012 6th IEEE International Conference on E-Learning in Industrial Electronics, ICELIE 2012

2012 | conference-paper

Intra- and inter-circuit network for Petri nets based components

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

2011 | conference-paper

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

IFIP Advances in Information and Communication Technology

2011 | book

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

IFIP Advances in Information and Communication Technology

2011 | book

System development using Petri net based modules

IEEE International Conference on Industrial Informatics (INDIN)

2011 | conference-paper

Interligação intra- e inter-circuito de componentes especificados com Redes de Petri

2010 | conference-paper

A MDA-based contribution for integrating web services within embedded system's design

IEEE International Conference on Industrial Informatics (INDIN)

2010 | conference-paper

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

IECON Proceedings (Industrial Electronics Conference)

2010 | conference-paper

From Petri net models to C implementation of digital controllers

IEEE International Symposium on Industrial Electronics

2010 | conference-paper

Petri net model decomposition - a model based approach supporting distributed execution

2010 | dissertation-thesis

Properties preservation in distributed execution of petri nets models

IFIP Advances in Information and Communication Technology

2010 | book

Semantic equations for formal models in the model-driven architecture

IFIP Advances in Information and Communication Technology

2010 | book

Configurador de plataformas específicas em Co-design de Sistemas Embutidos

2009 | conference-paper

Architecture for remote laboratories based on REST web services

Proceedings - ICELIE 2009, 3rd IEEE International Conference on e-Learning in Industrial Electronics

2009 | conference-paper

Checking semantics equivalence of MDA transformations in concurrent systems

Journal of Universal Computer Science

2009 | journal-article

Modeling complex Petri nets operations in the model-driven architecture

IECON Proceedings (Industrial Electronics Conference)

2009 | conference-paper

Petri net partitioning using net splitting operation

IEEE International Conference on Industrial Informatics (INDIN)

2009 | conference-paper

Remote experimentation for introductory digital logic course

Proceedings - ICELIE 2009, 3rd IEEE International Conference on e-Learning in Industrial Electronics

2009 | conference-paper

Petri nets tools framework supporting FPGA-based controller implementations

Proceedings - 34th Annual Conference of the IEEE Industrial Electronics Society, IECON 2008

2008 | conference-paper

From Petri net models to VHDL implementation of digital controllers

IECON Proceedings (Industrial Electronics Conference)

2007 | conference-paper

Module composition within petri nets model-based development

2007 Symposium on Industrial Embedded Systems Proceeedings, SIES'2007

2007 | conference-paper

Petri net based building automation and monitoring system

IEEE International Conference on Industrial Informatics (INDIN)

2007 | conference-paper

Petri net splitting operation within embedded systems co-design

IEEE International Conference on Industrial Informatics (INDIN)

2007 | conference-paper

The input-output place-transition petri net class and associated tools

IEEE International Conference on Industrial Informatics (INDIN)

2007 | conference-paper

Emphasizing graphical modeling formalisms within digital systems design course

2006 1st IEEE International Conference on E-Learning in Industrial Electronics, ICELIE

2006 | conference-paper

Internal event removal in hierarchical and concurrent state diagrams

IFAC Proceedings Volumes (IFAC-PapersOnline)

2006 | journal-article

On exercising hardware-software logical equivalency using FPGAs

IEEE International Symposium on Industrial Electronics

2006 | conference-paper

Partitioning of petri net models amenable for distributed execution

IEEE International Conference on Emerging Technologies and Factory Automation, ETFA

2006 | conference-paper

Petri nets as supporting formalism within embedded systems co-design

Industrial Embedded Systems - IES'2006

2006 | conference-paper

Removing ill-structured arcs in hierarchical and concurrent state diagrams

IEEE International Conference on Emerging Technologies and Factory Automation, ETFA

2006 | conference-paper

From use cases to building monitoring systems through Petri nets

IEEE International Symposium on Industrial Electronics

2005 | conference-paper

Hardware-level Design Languages

The Industrial Information Technology Handbook

2005 | book-chapter

Modeling Formalisms for Embedded System Design

Embedded Systems Handbook

2005 | book-chapter

Remote laboratory support for an introductory microprocessor course

Proceedings - 2005 IEEE International Conference on Microelectronic Systems Education, MSE '05 - Promoting Excellence and Innovation in Microelectronic Systems Education

2005 | journal-article

Structuring mechanisms in Petri net models: From specification to FPGA-based implementations

Design of Embedded Control Systems

2005 | book

Teaching formal methods within system-on-a-programmable-chip design

Proceedings - 2005 IEEE International Conference on Microelectronic Systems Education, MSE '05 - Promoting Excellence and Innovation in Microelectronic Systems Education

2005 | conference-paper

Towards usage of formal methods within embedded systems co-design

IEEE Symposium on Emerging Technologies and Factory Automation, ETFA

2005 | journal-article

From use cases to system implementation: Statechart based co-design

Proceedings - 1st ACM and IEEE International Conference on Formal Methods and Models for Co-Design, MEMOCODE 2003

2003 | conference-paper

On lifting of statechart structuring mechanisms

Proceedings - International Conference on Application of Concurrency to System Design, ACSD

2003 | conference-paper

Man-machine interface for real-time telecontrol based on Petri nets specification

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics

2001 | journal-article

Energy Savings in the Melting Process of an Electric Arc Furnace

2000 | conference-paper

Towards Integrated Modelling of Intelligent Building Systems

1998 | conference-paper

Campus-Guard: a domot targeted for integrated building monitoring and control

1997 | conference-paper