DC microgrids, due to their deep integration of control, computing, communication technologies, and physical equipment, are susceptible to cyber-attacks. Consequently, this paper is dedicated to the development of a n...
详细信息
This project aims to develop an advanced Automatic Braking System (ABS), called 'BrakeSmart', which leverages ultrasonic sensor technology to enhance road safety and prevent collisions. The system automaticall...
详细信息
The project 'Advanced Fire Detection and Extinguishing Rover utilizing YOLOv8' introduces a cutting-edge, fire-detection and suppression system that uses deep learning and robotic automation to improve safety....
详细信息
Medical robots are a groundbreaking advancement in healthcare, utilizing robotics and automation to improve precision, efficiency, and accessibility in medical procedures. They are utilized in various applications, in...
详细信息
Gesture and voice-based automation innovations are being examined because of the developing interest for reliable and smart home security frameworks. In this study, a MATLAB-based home reconnaissance automation framew...
详细信息
This paper addresses the problems of diagnosability verification and enforcement of discrete event systems modeled with unbounded Petri nets. Diagnosability in such systems is critical for ensuring reliability and mai...
详细信息
This paper addresses the problems of diagnosability verification and enforcement of discrete event systems modeled with unbounded Petri nets. Diagnosability in such systems is critical for ensuring reliability and maintaining operational integrity, yet current methods often struggle with the complexity introduced by unboundedness and potential deadlocks. Given an unbounded labeled Petri net that may reach deadlocks, a quiescent basis coverability graph is established to verify the diagnosability of the considered system. This procedure employs a deterministic finite state automaton, called an extended verifier, derived from the proposed quiescent basis coverability graph. It is shown that an unbounded Petri net is diagnosable if and only if the verifier does not contain a class of cycles, called repetitive $F$ -cycles. This result also provides necessary and sufficient conditions for diagnosability enforcement by developing an online supervisor. Further, the designed supervisor is maximally permissive and also circumvents a plant entering deadlocks by firing non-fault sequences. Examples are presented to demonstrate the proposed method. Note to Practitioners-Fault diagnosis and diagnosability enforcement are critical for the development and operation of highly automated systems covering computer-integrated production processes, intelligent traffic, computer and communication networks, smart gird, etc. This work touches upon this problem from the perspective of discrete event systems that are modeled with unbounded labeled Petri nets. The feasibility and applicability of the reported method stem from the usage of a structurally compact representation of a considered plant such that the computational cost of a real-world system is acceptable. The graphical representation of Petri nets as well as the proposed quiescent basis coverability graph make the method easy to use and manipulate. Moreover the sufficient and necessary conditions of diagnosability enforcement can
This paper presents a multi-agent hierarchical workflow tailored for automating data analysis, code generation, and visualization, focusing specifically on user-provided CSV datasets. The workflow integrates AlphaCodi...
详细信息
This paper presents the design and testing of a voice-activated cleaning system for home automation. The system allows users to control a floor cleaning robot using voice commands. The robot is equipped with a Bluetoo...
详细信息
In order to create spaces that are secure, cozy, energy-efficient, and visually beautiful, smart buildings are becoming more and more sophisticated cyber-physical systems. However, as functional complexity, financial ...
详细信息
All over the world, the population of elderly people is increasing a lot. There needs to be special attention to the welfare of the elderly person to make them confident in their independent quality of living. In rece...
详细信息
暂无评论