English
Related papers

Related papers: Bi-Fuzzy Discrete Event Systems and Their Supervis…

200 papers

Since its inception, Fuzzy Set has been widely used to handle uncertainty and imprecision in decision-making. However, conventional fuzzy sets, often referred to as type-1 fuzzy sets (T1FSs) have limitations in capturing higher levels of…

Artificial Intelligence · Computer Science 2026-04-14 Bapi Dutta , Diego García-Zamora , José Rui Figueira , Luis Martínez

General Type-2 (GT2) Fuzzy Logic Systems (FLSs) are perfect candidates to quantify uncertainty, which is crucial for informed decisions in high-risk tasks, as they are powerful tools in representing uncertainty. In this paper, we travel…

Machine Learning · Computer Science 2024-04-22 Yusuf Guven , Ata Koklu , Tufan Kumbasar

Cascading failures in power systems caused by sequential tripping of components are a serious concern as they can lead to complete or partial shutdowns, disrupting vital services and causing damage and inconvenience. In prior work, we…

Systems and Control · Electrical Eng. & Systems 2026-03-12 Wasseem Al-Rousan , Caisheng Wang , Feng Lin

Finite automata (FAs) model is a popular tool to characterize discrete event systems (DESs) due to its succinctness. However, for some complex systems, it is difficult to describe the necessary details by means of FAs model. In this paper,…

Formal Languages and Automata Theory · Computer Science 2023-07-11 Weilin Deng , Daowen Qiu , Jingkai Yang

We investigate the coordination and control problems of distributed discrete event systems that are composed of multiple subsystems subject to potential actuator and/or sensor faults. We model actuator faults as local controllability loss…

Systems and Control · Computer Science 2018-12-06 Jin Dai , Hai Lin

This paper focusses on the application of fuzzy control techniques (fuzzy type-1 and type-2) and their hybrid forms (Hybrid adaptive fuzzy controller and fuzzy-PID controller) in the area of stabilized platforms. It represents an attempt to…

Systems and Control · Computer Science 2011-09-05 Said Leghmizi , Sheng Liu

This paper investigates the supervisory control of nondeterministic discrete event systems to enforce bisimilarity with respect to deterministic specifications. A notion of synchronous simulation-based controllability is introduced as a…

Systems and Control · Computer Science 2012-03-09 Yajuan Sun , Hai Lin , Ben M. Chen

This paper investigates the problem of distributed nonblocking supervisory control for timed discrete-event systems (DESs). The distributed supervisors communicate with each other over networks subject to nondeterministic communication…

Systems and Control · Electrical Eng. & Systems 2023-09-06 Yunfeng Hou , Qingdu Li

This paper identifies a property of delay-robustness in distributed supervisory control of discrete-event systems (DES) with communication delays. In previous work a distributed supervisory control problem has been investigated on the…

Systems and Control · Computer Science 2017-03-20 Renyuan Zhang , Kai Cai , Yongmei Gan , W. M. Wonham

This paper presents a novel fuzzy logic based Adaptive Super-twisting Sliding Mode Controller for the control of dynamic uncertain systems. The proposed controller combines the advantages of Second order Sliding Mode Control, Fuzzy Logic…

Artificial Intelligence · Computer Science 2012-08-13 Abdul Kareem , Mohammad Fazle Azeem

Supervised talking head forgery detection faces severe generalization challenges due to the continuous evolution of generators. By reducing reliance on generator-specific forgery patterns, self-supervised detectors offer stronger…

Computer Vision and Pattern Recognition · Computer Science 2026-05-06 Ke Liu , Jiwei Wei , Shuchang Zhou , Yutong Xiao , Ruikun Chai , Yitong Qin , Yuyang Zhou , Yang Yang

This paper proposes a new architecture of incremen-tal fuzzy inference system (also called Evolving Fuzzy System-EFS). In the context of classifying data stream in non stationary environment, concept drifts problems must be addressed.…

Artificial Intelligence · Computer Science 2019-07-23 Clement Leroy , Eric Anquetil , Nathalie Girard

In this work, we investigate the problem of synthesizing property-enforcing supervisors for partially-observed discrete-event systems (DES). Unlike most existing approaches, where the enforced property depends solely on the executed…

Systems and Control · Electrical Eng. & Systems 2025-10-07 Bohan Cui , Yu Chen , Alessandro Giua , Xiang Yin

We present an algorithm for synthesising a controller (supervisor) for a discrete event system (DES) based on the property-directed reachability (PDR) model checking algorithm. The discrete event systems framework is useful in both…

Systems and Control · Computer Science 2017-11-20 Koen Claessen , Jonatan Kilhamn , Laura Kovács , Bengt Lennartson

Resilience to sensor and actuator attacks is a major concern in the supervisory control of discrete events in cyber-physical systems (CPS). In this work, we propose a new framework to design supervisors for CPS under attacks using…

Formal Languages and Automata Theory · Computer Science 2023-06-30 Yu Wang , Alper Kamil Bozkurt , Nathan Smith , Miroslav Pajic

This paper addressed with the quantized dissipative uncertain problem for delayed fractional T_S Fuzzy system for event_triggered networked systems (E_NS), where the extended dissipativity analysis combines the H infinity, dissipativity, L2…

Systems and Control · Electrical Eng. & Systems 2025-06-04 Muhammad Shamrooz Aslam , Hazrat Bilal , Sumeera Shamrooz

Timed discrete-event systems (TDES), which is a modelling formalism proposed by Brandin and Wonham, can be used for modelling scheduling and production planning problems. This paper aims to show that TDES are essentially synchronous product…

Systems and Control · Electrical Eng. & Systems 2024-10-23 Liyong Lin

Due to the appearance of uncontrollable events in discrete event systems, one may wish to replace the behavior leading to the uncontrollability of pre-specified language by some quite similar one. To capture this similarity, we introduce…

Discrete Mathematics · Computer Science 2007-05-23 Yongzhi Cao , Mingsheng Ying

In this paper, we study the maximum principle for stochastic optimal control problems of forward-backward stochastic difference systems (FBS{\Delta}Ss) where the uncertainty is modeled by a discrete time, finite state process, rather than…

Optimization and Control · Mathematics 2019-07-10 Shailin Ji , Haodong Liu

We consider a multi-adversary version of the supervisory control problem for discrete-event systems, in which an adversary corrupts the observations available to the supervisor. The supervisor's goal is to enforce a specific language in…

Systems and Control · Computer Science 2018-08-23 Masashi Wakaiki , Paulo Tabuada , Joao P. Hespanha