Marcelo Teixeira- PhD
- Professor at Federal University of Technology - Paraná - Pato Branco, Brazil
Marcelo Teixeira
- PhD
- Professor at Federal University of Technology - Paraná - Pato Branco, Brazil
About
88
Publications
14,965
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
443
Citations
Introduction
Marcelo Teixeira is a Computer Scientist with master's in Computer Engineering and PhD in Automation & Systems Engineering. His research interests cover some topics in Computer Engineering, Electrical Engineering and Automation Sciences, with special focus on Discrete-Event Systems, Cyber-Physical Systems, Flexible Manufacturing Systems, Industrie 4.0, Synthesis of controllers for industrial processes, industrial automation, and automatic synthesis of software. He's been an active member of the IEEE since 2016, participating of the Industrial Electronic Society (IES), Technical Committee on Factory Automation, Subcommittee Industrial Automated Systems and Control.
Current institution
Federal University of Technology - Paraná - Pato Branco, Brazil
Current position
- Professor
Additional affiliations
August 2013 - May 2016
Federal University of Technology - Paraná
Position
- Professor
May 2012 - February 2013
September 2009 - August 2013
Publications
Publications (88)
This paper presents a new method for predicting carbon and nitrogen content in Oxisols and Inceptisols soils using image analysis. The dataset comprises 40 Oxisols images and 51 Inceptisols images collected in southern Brazil. The images were segmented to isolate the soil area, resulting in the extraction of 12,744 windows. A pre-trained EfficientN...
This work aimed to reconstruct rolled fingerprint images from multiple flat fingerprints using image registration and composition techniques. The methodology involved selecting high-quality frames through a quality network, the application of preprocessing with remapping, cropping the area of interest, and adjusting colors. In addition to image reg...
Objetivo: Criação e comparação de modelos de aprendizado profundo a partir de segmentos de eletroencefalogramas (EEG) representados no domínio de tempo e de frequência para a detecção de epilepsia. Método: Foram implementados e avaliados dois modelos de Redes Neurais Convolucionais, sendo cada um alimentado por dados de eletroencefalografia em dife...
Benchmarks play a crucial role in enhancing systems, applications, and technologies across multiple domains. In scientific computing, traditional benchmarks such as HPL (High-Performance Linpack) require parameters such as the number of processes, input data size, and other execution details to reflect the characteristics of the system under test,...
Finite State Machines (FSMs) are the foundation to design Discrete Event Systems (DESs). A FSM that designs a DES model can be further processed using Supervisory Control Theory (SCT) to synthesize correct-by-construction software. When applied to industrial-scale DESs, FSMs face limitations in the design, synthesis, and implementation steps. Supre...
A assimetria de gênero, seja no período de formação ou no decorrer da trajetória profissional, é um aspecto que desafia a área da Computação e frustra o desenvolvimento de talentos. Este artigo visa revelar aspectos que acentuam a assimetria em cursos de graduação e pós-graduação em uma universidade pública brasileira. O material também resume uma...
Resiliência contra ataques cibernéticos é uma demanda de sistemas ciberfísicos modernos dada a evolução da indústria 4.0.
Neste trabalho, formalismos de Sistemas a Eventos Discretos (SEDs) são utilizados para a formulação de uma abordagem para segurança de sistemas ciberfísicos contra ataques a atuadores através do uso de criptografia simétrica bas...
Measurement of relative humidity of air is crucial in refrigerated storage of fruits. Apples, for example, are stored under 90 to 95%rh air humidity and 0 to 4°C temperature. Under these conditions, it is common for the humidity sensor to face condensation episodes (dew formation), which interferes with monitoring and control. This work proposes a...
The Traveling Salesman Problem with Draft Limits is a combinatorial optimization problem that consists in calculating routes to be taken by cargo ships without violating draft limits restrictions. Finding the best route solution using exact computation is a problem whose complexity grows exponentially with the number of ports and, therefore, is unf...
O uso de máscaras de proteção é uma importante medida para diminuir a transmissão da COVID-19 e de outras doenças. O presente trabalho teve como objetivo realizar um estudo comparativo entre diferentes modelos de aprendizado profundo aplicados na identificação da máscara de proteção (pessoa sem máscara, com máscara ou com máscara incorretamente pos...
![SG example of an abnormal signal from the Bonn database [59]](profile/Jefferson-Oliva/publication/368534075/figure/fig2/AS:11431281157570901@1683857270612/SG-example-of-an-abnormal-signal-from-the-Bonn-database-59_Q320.jpg)
![BG of a normal EEG segment from Bonn base [59]](profile/Jefferson-Oliva/publication/368534075/figure/fig3/AS:11431281157577043@1683857270900/BG-of-a-normal-EEG-segment-from-Bonn-base-59_Q320.jpg)
Epilepsy is one of the most common neurological diseases, affecting approximately 50 million people. This illness can be diagnosed by elec-troencephalogram (EEG), whose analysis depends on human interpretation , which may lead to divergent results and be imprecise and error-prone. Moreover, one estimates more than 80% of the epilepsy exams return n...
In recent years, cybersecurity has received increasing attention due to the demand from a large class of networked systems for resilience against cyberattacks that may compromise privacy, integrity and availability. Many of these systems are abstracted as Discrete Event Systems (DES) as their evolution occurs through the occurrence of discrete even...
This paper presents the implementation of the mono-objective Switch Allocation Problem (SAP) optimization model for electric power distribution networks, considering the equivalent interruption duration per consumer unit EIDCU and non-distributed energy END reliability indexes. We use the current summation algorithm to solve the power flow, and we...
In manufacturing systems, quality of inspection is a critical issue. This can be conducted by humans, or by employing Computer Vision Systems (CVS) which are trained upon representative datasets of images to detect classes of defects that may occur. The construction of such datasets strongly limits the use of CVS methods, as the variety of defects...
A retinal vessel analysis is a procedure that can be used as an assessment of risks to the eye. This work proposes an unsupervised multimodal approach that improves the response of the Frangi filter, enabling automatic vessel segmentation. We propose a filter that computes pixel-level vessel continuity while introducing a local tolerance heuristic...
Finite-State Automata (FSA) are foundations for modelling, synthesis, verification, and implementation of controllers for manufacturing systems. However, FSA are limited to represent emerging features in manufacturing, such as the ability to recognise and switch contexts. One option is to enrich FSA with parameters that carry details about the manu...
In solar photovoltaic (PV) power generation systems, availability impacts directly on annual energy production capacity. In order to reveal availability levels, the system is usually constructed and monitored. Besides to be expensive and time consuming, this approach fails to provide in-advance estimations that could benefit planning, dimensioning,...
Renewable Energy Sources (RESs) stand as a straightforward alternative to complement the energy grid and have been recurrently integrated into the generation and distribution matrices. Physically, generation components have distributed nature and they are expected to work coordinately, complementing each other to supply centralised microgrids, whic...
One of the major challenges imposed by the SARS-CoV-2 pandemic is the lack of pattern in which the virus spreads, making it difficult to create effective policies to prevent and tackle the pandemic. Several approaches have been proposed to understand the virus behavior and anticipate its infection and death curves at country and state levels, thus...
This paper proposes algorithms for supervisor synthesis in discrete event system models with distinguishers. Distinguishers are special components responsible to select an enabled event from a group of related refined events. They are a helpful modelling tool, but their use increases the state space and makes supervisor synthesis more difficult. Th...
In poultry farming, the systematic choice, update, and implementation of periodic (t) action plans define the feed conversion rate (FCR[t]), which is an acceptable measure for successful production. Appropriate action plans provide tailored resources for broilers, allowing them to grow within the so-called comfort zone, without waste or lack of res...
The systematic choice, update, and implementation of periodic (t) action plans define the feed conversion rate (FCRt) in poultry farming, an acceptable measure for successful production. Appropriate plans provide tailored resources, allowing broilers to grow within the so-called comfort zone, without waste or lack of resources. Although the impleme...
Em geração de energia fotovoltaica (FV), desempenho é um aspecto crítico, que pode ser revelado após a construção e o monitoramento do sistema real. Porém, isso inviabiliza a análise preditiva do sistema. Neste trabalho, propõe-se um modelo em Redes de Petri para antecipar, com razoável precisão, o desempenho de sistemas FV com diferentes tamanhos,...
Discrete Event Systems (DESs) are classically modeled as Finite State Machines (FSMs), and controlled in a maximally permissive, controllable, and nonblocking way using Supervisory Control Theory (SCT). While SCT is powerful to orchestrate events of DESs, it fail to process events whose control is based on probabilistic assumptions. In this researc...
A epilepsia é a quarta enfermidade neurológica mais comum e atinge aproximadamente 1% da população mundial. O diagnóstico é, em geral, amparado por um eletroencefalograma (EEG), cuja análise depende da interpretação médica, o que por vezes gera incongruência de diagnóstico, além de ser um trabalho tedioso, impreciso e propenso a erros. Este trabalh...
The success of new scientific areas can be assessed by their potential for contributing to new theoretical approaches aligned with real-world applications. The Euclidean distance transform (EDT) has fared well in both cases, providing a sound theoretical basis for a number of applications, such as median axis transform, fractal analysis, skeletoniz...
In poultry farming, the systematic choice, update, and implementation of periodic (t) action plans define the feed conversion rate (FCR[t]), which is an acceptable measure for successful production. Appropriate action plans provide tailored resources for broilers, allowing them to grow within the so-called thermal comfort zone, without wast or lack...
![Fig.8: Deeplab V3+ components representation [26]. (a) Spatial Pyramid...](publication/342733909/figure/fig1/AS:910508672692224@1594093592416/Deeplab-V3-components-representation-26-a-Spatial-Pyramid-Pooling-b_Q320.jpg)
![Fig.9: Encoder-Decoder structure [26].](publication/342733909/figure/fig2/AS:910508672679937@1594093592630/Encoder-Decoder-structure-26_Q320.jpg)
Automotive manufacturing assembly tasks are built upon visual inspections such as scratch identification on machined surfaces, part identification and selection, etc, which guarantee product and process quality. These tasks can be related to more than one type of vehicle that is produced within the same manufacturing line. Visual inspection was ess...
Industry 4.0 systems have a high demand for optimization in their tasks, whether to minimize cost, maximize production, or even synchronize their actuators to finish or speed up the manufacture of a product. Those challenges make industrial environments a suitable scenario to apply all modern reinforcement learning (RL) concepts. The main difficult...
This paper presents an algorithm that combines modular synthesis for extended finite-state machines (EFSM) with abstraction of variables by symbolic manipulation, in order to compute least restrictive controllable supervisors. Given a modular EFSM system consisting of several components, the proposed algorithm synthesises a separate supervisor for...
![Fig.8: Deeplab V3+ components representation [26]. (a) Spatial Pyramid...](profile/Dalcimar-Casanova-2/publication/341111472/figure/fig4/AS:887084613132307@1588508861893/Deeplab-V3-components-representation-26-a-Spatial-Pyramid-Pooling-b_Q320.jpg)
![Fig.9: Encoder-Decoder structure [26].](profile/Dalcimar-Casanova-2/publication/341111472/figure/fig12/AS:888164373770240@1588766296841/Encoder-Decoder-structure-26_Q320.jpg)
This paper proposes algorithms for supervisor synthesis in discrete event system models with distinguishers. Distinguishers are special components responsible to select an enabled event from a group of related refined events. They are a helpful modelling tool, but their use increases the state space and makes supervisor synthesis more difficult. Th...
This paper deals with the modeling, control, communication, and customization of distributed power generation systems. Microgrids and generators are exposed as least-restrictive, non-blocking, and controllable supervisors that communicate with each other and with the main power grid. Then, using a simulation model we anticipate possible customizati...
Thermal comfort is a decisive factor in broiler chicken production, as it defines the relationship between food consumption and meat production. Temperature and humidity are major parameters for thermal balance. In spite of available automation technology, poultry farming is still dependent on an expert to observe the process and set up control par...
In service-based manufacturing systems, functionalities are independently developed as services and a central engine orchestrates their integration. As industrial processes tend to be very large, and performance and productivity are expected to be maximised, there is a constant interest in providing (in-advance) quality guarantees for services inte...
Distinguishers have been used in Supervisory Control Theory (SCT) of Discrete
Event Systems, as a way to simplify modeling tasks. Approximations complement this approach with an alternative to also reduce synthesis effort. Despite the advantages, supervisors obtained from approximated DES plants can be suboptimal, so that the modeling structure has...
![Figura 1. Planta do sistema com textura extraídas de [Minecraft ].](profile/Dalcimar-Casanova-2/publication/325155349/figure/fig1/AS:626592866897922@1526402789865/Figura-1-Planta-do-sistema-com-textura-extraidas-de-Minecraft_Q320.jpg)
![Figura 2. Tipos de fotos de madeira [Wang et al. 2013].](profile/Dalcimar-Casanova-2/publication/325155349/figure/fig2/AS:626592866918403@1526402789923/Figura-2-Tipos-de-fotos-de-madeira-Wang-et-al-2013_Q320.jpg)
Manufacturing processes involving classification of items by visual inspection are often carried out by human experts that are subject to failure due to fatigue and inattention. This work proposes the use of a recent technique of texture analysis based on fractals for classification of manufacturing items. To validate the proposal, a case study inv...
The fundamental role for poultry farmers to be successful in their activities is to precisely increase, decrease, or maintain, in a short time span, factors that determine poultry growth, such as humidity, temperature, amount of feed ration, ventilation, and others. Although there are modern automatic control technologies supporting these aspects,...
Soybean production is one of the major economic activities in the South of Brazil, and there are constant efforts to increase productivity and product quality. Accordingly, the drying process becomes critical. This paper presents the development of a control and operation system for grain dryers, in order to ensure adequate temperature levels and a...
Local modular control (LMC) is an approach to the supervisory control theory (SCT) of discrete-event systems that exploits the modularity of plant and specifications. Recently, distinguishers and approximations have been associated with SCT to simplify modeling and reduce synthesis effort. This paper shows how advantages from LMC, distinguishers, a...
This paper presents a software tool to simulate a practical problem in smart grid systems. A feature of the smart grid is a system self-recovery capability in the occurrence of anomalies, such as a recovery of a power distribution network after an occurrence of a fault. When this system has a capacity for self-recovery, it is called self-healing. T...
In emerging Manufacturing Systems (MSs), flexibility is a key issue. It is related to the ability for a MS to recognize the context and switch its workflow accordingly. Although the literature has provided automated options to model and control MSs, programming context-dependent controllers remains challenging. This is an event-based construction t...
In Supervisory Control Theory (SCT) of Discrete Event Systems, event refinements have been exploited to simplify modeling tasks. Approximations complement this approach with an alternative to also reduce synthesis effort. In spite of advantageous to modeling and synthesis, refinements do not directly cover the SCT implementation phase. In general,...
In this paper we present an interaction technique for coordinating agents that use rewards generated by Reinforcement Learning algorithms. Agents that coordinate with each other by exchanging rewards need mechanisms to help them while they interact to discover action policies. Because of the peculiarities of the environment and the objectives of ea...
A major concern in multi-agent coordination is how to select algorithms that can lead agents to learn together to achieve certain goals. Much of the research on multi-agent learning relates to reinforcement learning (RL) techniques. One element of RL is the interaction model, which describes how agents should interact with each other and with the e...
This paper proposes an algorithm for the synthesis of modular supervisors using extended finite-state machines, i.e., state machines with variables and guards on the transitions. Synthesis is performed by iteratively selecting components from a synchronous composition until a least restrictive controllable solution is obtained. This method is usual...
Anticipating resources consumption is essential to project robust database infrastructures able to support transactions to be processed with certain quality levels. In Database-as-a-Service (DBaaS), for example, it could help to construct Service Level Agreements (SLA) to intermediate service customers and providers. A proper database resources ass...
Service-Oriented Architecture (SOA) is a paradigm for software development based on the concept of service. In SOA, the Quality of Services (QoS) impacts on the status of a business and on the relationship between service customers and providers. As customers expect to receive services with quality no less than they have paid for, it is usual to st...
This paper deals with two relevant aspects of Supervisory Control Theory (SCT) of Discrete Event Systems: the difficulty faced to model specifications to be fulfilled by the system under control, and the computational cost to synthesize supervisors. These aspects are addressed by Extended Finite-state Machines (EFSMs), a version of ordinary finite-...
This paper deals with two relevant aspects of the Supervisory Control Problem (SCP) of Discrete Event Systems (DES): the degree of difficulty faced when modeling specifications to be fulfilled by the system under control, and the computational complexity of the synthesis procedure. The presented approach consists in refining the set of events of a...
This paper proposes a learning model for taking-decision problems using intelligent agents technologies combined with instance-based machine learning techniques. Our learning model is applied to a real case to support the daily decisions of a poultry farmer. The agent of the system is used to generate action policies, in order to control a set of f...
Modern systems tend to be larger, more complex and to depend on an increasingly numerous set of requirements. In contrast, system development practices remain human-centered, depending mostly on the engineer expertise to be carried out. This paper shows how maximally permissive and deadlock-free components of software can be automatically produced....
Local Modular Control (LMC) is a decentralized method to synthesize supervisors for Discrete Event Systems (DES) and distinguishers define a design-oriented concept that allows to simplify specifications modeling. When associated with approximations, distinguishers can also reduce synthesis effort. In this paper, we show how to combine advantages f...
This paper proposes a method to simplify Extended Finite-state Automata (EFA) in such a way the least restrictive controllable supervisor is preserved. The method is based on variable abstraction, which involves the identification and removal of irrelevant variables from a model. Variable abstraction preserves controllability, and the paper shows h...
Among the several extensions of Supervisory Control Theory, local modular control (LMC) is shown to be a computationally efficient approach for the synthesis of supervisors in composite Discrete Event Systems (DES) with multiple specifications. In the same way, the use of distinguishers is an approach that refines each event into a set representing...
The Service Oriented Architecture (SOA) paradigm enables the organizations to compose complex business applications from distributed services, supported by third party partners. Usually, Service Level Agreements (SLA) are used to establish the requirements between customers and providers. Efforts to predict the quality of SOA transactions are justi...
The Service-Oriented Architecture (SOA) has become a unifying technical architecture that may be embodied through Web Service technologies. Predicting the variable behavior of SOA systems can mean a way to improve the quality of the business transactions. This paper proposes a simulation modeling approach based on stochastic Petri nets to estimate...
The service-oriented architecture (SOA) has become an unifying technical architecture that can be embodied with Web service technologies, in which the Web service is thought as a fundamental building block. This paper proposes a simulation modeling approach based on stochastic Petri nets to estimate the performance of SOA applications. Using the pr...
Questions
Question (1)
In the context of the SCT, how can I model a control specification that requires to store traces of execution. For example, suppose a manufacturing system with a rework cycle. After manufacturing a workpiece, I need to decide about the separation of each part, according to the number of cycles that have been performed. It may require hundreds of states to be modeled in a maximally permissive way (allowing all the concurrent behaviour). Therefore, it is impossible to be handled in practice.
So, how do you guys deal with a problem like this?
Thanks
