Control of Industrial Systems to Avoid Failures: Application to Electrical System
Journal Title: International Journal of Advanced Computer Science & Applications - Year 2018, Vol 9, Issue 5
Abstract
We resolve the control problem for a class of dynamic hybrid systems (DHS) considering electrical systems as case study. The objective is to guarantee that the plan never reaches unsafe states. We consider a subclass class of DHS called Cumulative Preemptive Event-driven DHS (CPE-DHS). This class is distinguished by the dominance of its discrete aspect characterized by features as cumulative continuous variables combined with actions behavior that may be interrupted and restarted. We utilize a subclass of Rectangular Hybrid Automata (RHA), named Constant Slope RHA (CSRHA), as a solution framework to resolve the control problem. The main contribution is a control Algorithm for the class of systems described above. This algorithm ensures that the system meet the requirement specifications by forcing some events. The forcing action is given in the form of restrictions on the transition guards of the CSRHA. The termination/decidability as well as correctness of the algorithm is given by theorems and formal proofs. This contribution ensures that the system will always be safe states and avoid failure due to the reachability of unsafe states. Our approach can be applied to a large category of industrial systems, especially electrical systems that we consider as case study.
Authors and Affiliations
Yamen EL TOUATI, Saleh ALTOWAIJRI, Mohamed AYARI
Keywords
Related Articles
- EP ID EP319064
- DOI 10.14569/IJACSA.2018.090561
- Views 96
- Downloads 0
Social Media in Azorean Organizations: Policies, Strategies and Perceptions
Social media have brought new opportunities, and also new challenges, for organizations. With them came the rise of a new context of action, largely influenced by the changing habits and the behavior of the consumer. The...
A New Security Model for Web Browser Local Storage
In recent years, the web browser has taken over many roles of the traditional operating system, such as acting as a host platform for web applications. Web browser storage, where the web applications can save data locall...
A Proposed Model for Detecting Facebook News’ Credibility
Social networks are currently one of the main News’ sources for most of their users. Moreover, News channels also consider social networks as main channels not only for spreading the news but also for measuring the feedb...
Analysis and Formal Model of RFID-Based Patient Registration System
Patient Registration System (PRS) is an important part of hospital environment. Therefore, semiformal model of Patient Registration System that registers the patients by assigning Radio Frequency Identification (RFID) ca...
Cyber Profiling Using Log Analysis And K-Means Clustering
The Activities of Internet users are increasing from year to year and has had an impact on the behavior of the users themselves. Assessment of user behavior is often only based on interaction across the Internet without...