- Petri Nets in System Modeling
- Formal Methods in Verification
- Fault Detection and Control Systems
- Business Process Modeling and Analysis
- Flexible and Reconfigurable Manufacturing Systems
- Digital Transformation in Industry
- Context-Aware Activity Recognition Systems
- Human Pose and Action Recognition
- Reliability and Maintenance Optimization
- Muscle activation and electromyography studies
- Software System Performance and Reliability
- Knowledge Societies in the 21st Century
- Video Surveillance and Tracking Methods
- Parkinson's Disease Mechanisms and Treatments
- Prosthetics and Rehabilitation Robotics
- Occupational Health and Safety in Workplaces
- Robotic Mechanisms and Dynamics
- Manufacturing Process and Optimization
- Amyotrophic Lateral Sclerosis Research
- Tactile and Sensory Interactions
- Quality and Safety in Healthcare
- Simulation Techniques and Applications
- IoT and GPS-based Vehicle Safety Systems
- Gait Recognition and Analysis
- Genetic Neurodegenerative Diseases
University of Cauca
2010-2024
Increasing digitalization in manufacturing, often associated with terms like Industry 4.0 (I4.0) or Smart Manufacturing, is a topic of crucial concern for manufacturing companies. Different digital technologies (DTs) can be integrated into processes and systems aiming at increasing flexibility, product quality productivity. The type scope potential DTs must carefully selected when planning improving system. definition configuration could supported by simulation techniques that assess the...
This paper presents a method for the identification of stochastic timed discrete event systems, based on analysis behavior input and output signals, arranged in timeline. To achieve this goal interpreted Petri nets are defined. These link systems modelling with time modelling. The procedure starts observation input/output signals; these signals converted into events, so that sequence events is observed language. language arrives to an identifier builds net which generates same identified...
This proposal presents an online method to detect and isolate faults in stochastic discrete event systems without previous model. A coloured timed interpreted Petri Net generates the normal behavior language after identification stage. The next step is fault detection that carried out by comparing observed sequences with expected sequences. Once a new detected, learning algorithm changes structure of diagnoser, so it able learn languages. Moreover, diagnoser includes events represent...
Dynamic discrete event systems (DDES) are that evolve from the asynchronous occurrence of events. Their versatility has become a critical modeling tool in different applications. Finding models define behavior DES is topic been addressed approaches, depending on type system to be modeled and model's objective. This article focuses identification timed for stochastic systems. The identified model includes both observable unobservable behavior. objective method achieved through following...
This paper proposes the transition times of Petri net models human gait as training features for multiclass random forests (RFs) and classification trees (CTs). These are designed to support screening neurodegenerative diseases. The proposed describes in terms nine cyclic phases timing events that mark between phases. Since strides vary, each is represented a variable characterized by its mean standard deviation. calculated using PhysioNet database vertical ground reaction forces (VGRFs)...
Este documento muestra los pasos seguidos en el diseno y la construccion de protesis mano diestra UC-1, asumiendo una estructura arborescente, tres dedos con grados libertad. Una vez probado funcionamiento control simulacion, se construyo un prototipo dedo poliarticulado pequeno compacto que pudiera ser integrado facilmente a palma, fin formar polimorfica. El esta constituido cuatro falanges acopladas mediante sistema mecanico rigido transmision traves motores corriente continua. validado...
Objective: To compare the performance of three human fall recognition algorithms, focusing on computer vision. The comparison will be carried out by evaluating their various databases commonly used scientific community, as well a new database called CAUCAFall. Methodology: study compares selected through systematic review that considered articles working with vision, RGB cameras and public databases. algorithms focus feature extraction convolutional neural networks using YOLO OPENPOSE....
At the industrial level detect and compensate faults in plant is important, to avoid irreparable damage increase of unproductive time, being necessary that equipment has adequate sensors model analyzes full operation system, among other requirements, obtain under simulation missing characteristics diagnose faults. This paper works with number reach diagnosability, for this modelling relationed acquired signals from plant, it begins an input/output identification method by interpreted Petri...
ONTARE. REVISTA DE INVESTIGACIÓN LA FACULTAD INGENIERÍA
 Este artículo presenta la formalización matemática de las redes Petri híbridas y coloreadas para el anidamiento Latente Fallos (AL), como método abstracción respecto al diagnóstico fallos llamado Redes Híbridas Coloreadas Diagnóstico (RdPHCDF). Además esto, se demuestra mayor capacidad síntesis modelado en aislamiento sistemas complejos. Por otra parte, este trabajo un ejemplo práctico aplicación del que consiste tanque...
In this paper is proposed a stochastic interpreted Petri net, (st-IPN) as model to represent the regular language derived from combination of input signals in Discrete Event System (DES) closed loop. The are external affecting system and control commands issued by controller plant output responses sensors commands. st-IPN deterministic generator legal able sequences timed events. can be applied large-scale systems, division into subsystems, since global composition subsystems models.
Finding models that define the behavior of systems is a topic has been addressed from different approaches, depending on type system to be modeled. The process's increasing complexity leads difficult model dynamics. One way represent dynamics many these based asynchronous occurrence discrete events, allowing for use event dynamic (DES) as modeling tool. This article focuses identification timed stochastic systems. objective method achieved through following steps: -Identifying sequences...
Abstract The implementation of digital manufacturing technologies (DMTs) represents the beginning transforming a system towards smart (SMS). Assessing performance DMTs implemented is essential to meet objectives in SMS and allows identifying their usefulness. However, estimating this challenging task due heterogeneous characteristics DMTs, such as origin information, capacity, connectivity, etc. Although some measurement metrics are known, none intended identify DMTs. This article follows...
Multi-unit systems pose logistical challenges in maintenance management, as finding a balance between availability and profitability is necessary. Choosing an appropriate policy can improve the use of available resources. The inclusion cannibalization policies offer greater responsiveness to spare part shortages. However, studying effects applying these existing system only sometimes feasible. In this sense, simulation presented valuable tool investigate understand way that would not be...
Fleet systems are considered complex due to the interaction between their units and components. Maintenance management face various challenges achieve acceptable availability reliability rates at a reasonable cost. A critical task for making maintenance decisions is understanding system requirements select policies appropriate actual future state. When there replacement shortage in fleet system, it impossible supply new spare parts quickly, cannibalization can mitigate this scarcity via...
This work is concerned with the diagnosability of Linear Hybrid Systems (LHS), defined as a family ℱ linear systems (LS's) and safe State Machine Petri net (SMPN) that governs switching among LS's. In this work, faults are particular LS's describing faulty dynamics, i.e. set split into normal The approach herein presented combines distinguishability property in observability concepts from SMPNs to provide sufficient conditions for diagnosability.