Article
Automation & Control Systems
Francesco Basile, Luigi Ferrara
Summary: This paper focuses on detecting and isolating faults using a discrete event model, introducing a new approach of obtaining candidate faults in discrete event systems using residual methods, and exploring the formulation of residuals using Petri net models. The effectiveness of these methods is illustrated through a practical example.
CONTROL ENGINEERING PRACTICE
(2022)
Article
Automation & Control Systems
Francesco Basile, Roberto Cordone, Luigi Piroddi
Summary: This novel framework introduces a method for supervisory control of timed discrete event systems using Time Petri nets, which can handle both logical and temporal specifications.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL
(2022)
Article
Automation & Control Systems
Dimitri Lefebvre, Christoforos N. Hadjicostis
Summary: This article introduces and analyzes opacity exposure and opacity revelation times as measures of vulnerability in timed discrete event systems, providing insights into the behavior of such systems in the face of potential intruders.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL
(2021)
Article
Automation & Control Systems
Oussama Hayane, Dimitri Lefebvre
Summary: This paper presents a method for designing firing sequences of minimal time for a class of timed discrete event systems in uncertain environments with unexpected events. The systems are modelled using partially controllable Transition-Timed Petri nets that encompass controllable deterministic, controllable stochastic and uncontrollable stochastic transitions. The timing aspects of the systems are embedded in Reconfigurable Timed Extended Reachability Graphs, enabling the scheduling problem to be solved with a standard optimization method. The approach is demonstrated with an application to reactive scheduling of manufacturing systems.
EUROPEAN JOURNAL OF CONTROL
(2023)
Article
Automation & Control Systems
F. Arichi, B. Cherki, M. Djemai, S. M. Djouadi
Summary: This paper discusses fault diagnosis for discrete event systems described by partially observed Petri nets, proposing an algebraic observer-based approach to detect and identify faults.
Article
Automation & Control Systems
Zhou He, Ziyue Ma, Wei Tang
Summary: This paper addresses the performance safety enforcing problem in plants modeled by timed event graphs, proposing two approaches for designing transition protecting policies under different scenarios.
Article
Chemistry, Multidisciplinary
Andrzej Bozek, Tomasz Rak, Dariusz Rzonca
Summary: This article introduces the use of simulation models for planning and dimensioning web systems, and proposes the Timed Colored Petri Nets event generator for driving performance evaluation simulations. It discusses the classification and investigation of different types of generators, and demonstrates the model design and simulation processes using CPN Tools software. Finally, a case study is presented to analyze the workload of a web system generated by the designed generator.
APPLIED SCIENCES-BASEL
(2022)
Article
Mathematics
Zhenhua Yu, Xudong Duan, Xuya Cong, Xiangning Li, Li Zheng
Summary: This article discusses the vulnerability of feedback control systems with network-connected components to cyberattacks. It proposes a defense strategy to detect actuator enablement attacks and disable controllable events to protect the system. The article also introduces algorithmic procedures to determine the system's ability to protect against damage caused by attacks and demonstrates the approach using a cargo system example.
Article
Automation & Control Systems
Arun Raman, Ramavarapu S. Sreenivas
Summary: A Discrete Event System modeled by a Petri Net is considered live if any transition can be fired from any reachable marking. A Liveness Enforcing Supervisory Policy enforces liveness by preventing certain transitions from firing. The study explores the existence and synthesis of LESPs for arbitrary PNs in the presence of faults.
Article
Automation & Control Systems
Andreas Koehler, Ping Zhang, Raphael Fritz
Summary: This paper presents a novel approach for fault tolerant control of large-scale manufacturing systems by introducing a specification governor to modify infeasible specification sequences to meet product requirements, while automatically adapting fault-free models to identify specifications that cannot be executed.
EUROPEAN JOURNAL OF CONTROL
(2021)
Article
Automation & Control Systems
Shaopeng Hu, Jiafeng Zhang, Jianzhou Wang, Naiqi Wu, Zhiwu Li
Summary: This paper addresses the issue of optimal sensor selection for ensuring diagnosability of discrete event systems by designing a new labeling function. An ad-hoc parallel composition of non-deterministic finite automata is used to observe the system at multiple observation sites. An integer linear programming problem is formulated to optimize the labeling function and sensor selection. This method can determine the fault type and corresponding fault sequences in a multi-fault system. Examples are provided to illustrate the proposed method.
IET CONTROL THEORY AND APPLICATIONS
(2023)
Article
Chemistry, Multidisciplinary
Carlos Alberto Anguiano-Gijon, Anibal Cid-Gaona, Jose Manuel Chavez-Delgado, Carlos Renato Vazquez
Summary: Regulation control for Petri nets is a control framework that allows the design of sequence controllers for automation systems. The MATLAB(R) app RCPetri has been developed to implement this control framework. The functionalities of RCPetri tool are described, including model generation, automatic specification generation, automatic control design, model and control simulation, automatic translation to PLC code, and communication by Modbus TCP/IP and OPC UA. Three examples are presented to demonstrate the application of the tool and the regulation framework in different systems.
APPLIED SCIENCES-BASEL
(2022)
Article
Engineering, Civil
Yaxin Wei, Haijing Ning, Yisheng An, Naiqi Wu, Xiangmo Zhao
Summary: This paper addresses the issue of designing safety Petri net-based controllers to prevent vehicle flow deadlocks at intersections. The designed controller can monitor and guide the flow of vehicles at an intersection to pass safely without causing deadlocks. The study investigates intersection deadlock scenarios, analyzes the physical size of right-of-way cells, develops an initial Petri net model, and proposes a deadlock prevention strategy for controller design. The effectiveness of the strategy is illustrated through examples and theoretical proof. The study contributes to the advancement of safety controllers for self-driving vehicles at intersections.
IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS
(2023)
Article
Computer Science, Information Systems
Kohei Fujita, Toshimitsu Ushio
Summary: This study presents a method to solve the optimal control problem in a coloured timed Petri net using coloured generalized mutual exclusion temporal constraints described by signal temporal logic formula, and solving the problem by transforming it into an integer linear programming problem. The effectiveness of the proposed approach is demonstrated through a simulation of an optimal control problem in a manufacturing system.
Article
Automation & Control Systems
Xuya Cong, Maria Pia Fanti, Agostino Marcello Mangini, Zhiwu Li
Summary: This paper studies the verification problem of critical observability for timed discrete event systems modeled by bounded labeled time Petri nets. The proposed method is a two-fold process that includes a preliminary verification of critical observability for the underlying logic labeled Petri net and a further verification considering the time constraint associated with each transition. This research aims to provide a systematic approach to check critical observability for timed discrete event systems and offer new ideas and insights for practitioners in the field of safety-critical systems.
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING
(2023)
Article
Automation & Control Systems
David Gomez-Gutierrez, Carlos Renato Vazquez, Sergej Celikovsky, Juan Diego Sanchez-Torres, Javier Ruiz-Leon
INTERNATIONAL JOURNAL OF CONTROL
(2020)
Article
Automation & Control Systems
Jorge Julvez, Stephen G. Oliver
IEEE TRANSACTIONS ON AUTOMATIC CONTROL
(2020)
Article
Multidisciplinary Sciences
Jorge Julvez, Stephen G. Oliver
JOURNAL OF THE ROYAL SOCIETY INTERFACE
(2020)
Article
Biology
Bridget P. Bannerman, Jorge Julvez, Alexandru Oarga, Tom L. Blundell, Pablo Moreno, R. Andres Floto
Summary: The study team developed an integrated model of human cells and SARS-CoV-2 to explore the pathogenic mechanism of the virus and support treatment strategies, providing support for new drug development. By showcasing biochemical reactions, the research revealed the growth requirements of cells in a healthy state and the changes in cell functions or cell death after the virus enters the cell.
LIFE SCIENCE ALLIANCE
(2021)
Article
Chemistry, Multidisciplinary
Carlos Alberto Anguiano-Gijon, Anibal Cid-Gaona, Jose Manuel Chavez-Delgado, Carlos Renato Vazquez
Summary: Regulation control for Petri nets is a control framework that allows the design of sequence controllers for automation systems. The MATLAB(R) app RCPetri has been developed to implement this control framework. The functionalities of RCPetri tool are described, including model generation, automatic specification generation, automatic control design, model and control simulation, automatic translation to PLC code, and communication by Modbus TCP/IP and OPC UA. Three examples are presented to demonstrate the application of the tool and the regulation framework in different systems.
APPLIED SCIENCES-BASEL
(2022)
Article
Biochemical Research Methods
Alexandru Oarga, Bridget P. Bannerman, Jorge Julvez
Summary: Despite the slow pace of new drug production due to high cost and uncertain success, high-throughput technologies and computational methods can be used to identify vulnerabilities in biological models and facilitate novel drug development. However, the current approach only considers topological data, neglecting dynamic information and potentially leading to misidentified drug targets.
Article
Automation & Control Systems
Carlos Renato Vazquez, Enrique Aguayo-Lara
Summary: Continuous Petri nets (TCPNs) are continuous-state dynamical systems that approximate the behavior of timed discrete event systems. TCPNs approximate the average marking and throughput of generalized stochastic Petri nets (GSPNs). This study introduces immediate transitions to the TCPN model, resulting in TCPN+I. A fast simulation algorithm and procedures to transform TCPN+I into dynamically equivalent TCPNs are introduced, enabling the application of existing analysis techniques for TCPN systems.
IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS
(2023)
Article
Computer Science, Information Systems
Mayumi Hori Uribe, Carlos Renato Vazquez, Javier M. Antelis
Summary: EMG signals are used to predict human movement intention in robotic assistive devices. The challenge lies in achieving a natural interaction and fast detection of movement intention. By using robust differentiator algorithms, the latency can be reduced without sacrificing accuracy.
Article
Education & Educational Research
Alejandro Guajardo-Cuellar, Carlos Renato Vazquez, Manuel Navarro Gutierrez
Summary: This study investigates the impact of implementing a project-based learning method in a mechanism course on the development of students' competencies. The results show that the multidisciplinary project-based learning method improves students' practical applications abilities and increases motivation and appreciation towards the discipline of mechanism.
EDUCATION SCIENCES
(2022)
Proceedings Paper
Automation & Control Systems
Anibal Cid Gaona, Jose Manuel Chavez, Carlos Renato Vazquez
Summary: RCPetri is a Matlab app that generates and simulates Petri net models and calculates regulation controllers for industrial automated systems. The app includes functionalities such as drawing and generating Petri nets, simulation, automatic specification generation, automatic control synthesis, and automatic translation to PLC code. An application example is provided to demonstrate the use of the app.
2021 26TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA)
(2021)
Proceedings Paper
Automation & Control Systems
Cesar Arzola, C. Renato Vazquez, Manuel Silva, Antonio Ramirez-Trevino
Proceedings Paper
Automation & Control Systems
D. Guevara-Lozano, C. R. Vazquez, A. Ramirez-Trevino
2020 7TH INTERNATIONAL CONFERENCE ON CONTROL, DECISION AND INFORMATION TECHNOLOGIES (CODIT'20), VOL 1
(2020)
Proceedings Paper
Automation & Control Systems
D. Rozo-Ibanez, J. Ruiz-Leon, D. Guevara-Lozano, C. R. Vazquez
2020 7TH INTERNATIONAL CONFERENCE ON CONTROL, DECISION AND INFORMATION TECHNOLOGIES (CODIT'20), VOL 1
(2020)
Proceedings Paper
Automation & Control Systems
Carlos Renato Vazquez, Jose Antonio Gomez-Castellanos, Antonio Ramirez-Trevino
INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS (ICINCO 2018)
(2020)
Article
Computer Science, Information Systems
J. Armando Colunga, Hector Manuel Becerra, Carlos Renato Vazquez, David Gomez-Gutierrez