English
Related papers

Related papers: Observability and Decentralized Control of Fuzzy D…

200 papers

Fuzzy logic controllers are readily customizable in natural language terms and can effectively deal with nonlinearities and uncertainties in control systems. This paper presents an intelligent and automated fuzzy control procedure for the…

Signal Processing · Electrical Eng. & Systems 2019-11-07 Issam Damaj , Jean Saade , Hala Al-Faisal , Hassan Diab

A standard approach to building a fuzzy controller based on stochastic logic uses binary random signals with an average (expected value of a random variable) in the range [0, 1]. A different approach is presented, founded on a…

Hardware Architecture · Computer Science 2012-04-13 Franc Jurkovic

In this paper, we further develop the coordination control scheme for discrete-event systems based on the Ramadge-Wonham framework. The notions of conditional decomposability, conditional controllability, and conditional closedness are…

Optimization and Control · Mathematics 2012-07-27 Jan Komenda , Tomáš Masopust , Jan H. van Schuppen

Modelling of complex systems is mainly based on the decomposition of these systems in autonomous elements, and the identification and definitio9n of possible interactions between these elements. For this, the agent-based approach is a…

Artificial Intelligence · Computer Science 2013-02-27 Alain-Jérôme Fougères

In this paper, we investigate the enforcement of opacity via supervisory control in the context of discrete-event systems. A system is said to be opaque if the intruder, which is modeled as a passive observer, can never infer confidently…

Systems and Control · Electrical Eng. & Systems 2021-11-23 Yifan Xie , Xiang Yin , Shaoyuan Li

Simulations and bisimulations are well-established notions in crisp/fuzzy automata theory and are widely used to compare the behaviors of automata. Their main drawback is that they compare the behaviors of fuzzy automata in a crisp manner.…

Formal Languages and Automata Theory · Computer Science 2023-07-10 Linh Anh Nguyen , Ivana Micić , Stefan Stanimirović

Motivated by safety-critical applications in cyber-physical systems, in this paper we study the notion of critical observability and design of observers for networks of Finite State Machines (FSMs). Critical observability is a property of…

Optimization and Control · Mathematics 2017-02-02 Davide Pezzuti , Giordano Pola , Elena De Santis , Maria D. Di Benedetto

The concept of uncertainty is posed in almost any complex system including parallel robots as an outstanding instance of dynamical robotics systems. As suggested by the name, uncertainty, is some missing information that is beyond the…

Systems and Control · Computer Science 2016-12-06 Hamid Reza Hassanzadeh

An epistemic model for decentralized discrete-event systems with non-binary control is presented. This framework combines existing work on conditional control decisions with existing work on formal reasoning about knowledge in…

Artificial Intelligence · Computer Science 2023-01-27 K. Ritsuka , Karen Rudie

In this paper, we discuss a supervisory control problem of modular discrete-event systems that allows for a distributed computation of supervisors. We provide a characterization and an algorithm to compute the supervisors. If the…

Optimization and Control · Mathematics 2016-09-07 Jan Komenda , Tomáš Masopust , J. H. van Schuppen

Neuro-fuzzy systems are a technique of explainable artificial intelligence (XAI). They elaborate knowledge models as a set of fuzzy rules. Fuzzy sets are crucial components of fuzzy rules. They are used to model linguistic terms. In this…

Machine Learning · Computer Science 2024-04-05 Krzysztof Siminski , Konrad Wnuk

We introduce a general theory of epistemic random fuzzy sets for reasoning with fuzzy or crisp evidence. This framework generalizes both the Dempster-Shafer theory of belief functions, and possibility theory. Independent epistemic random…

Artificial Intelligence · Computer Science 2024-05-08 Thierry Denoeux

Supervisor reduction procedure can be used to construct the reduced supervisor with a reduced number of states in discrete-event systems. The main concepts which are used in this procedure are control consistency of states, control cover,…

Systems and Control · Computer Science 2017-03-06 Vahid Saeidi , Ali A. Afzalian , Davood Gharavian

We study the problem of explaining observations about the probabilities of events, such as "it rains $20\%$ of the time", "rain and snow are equally likely", etc. We explain these statements with a probability distribution or a statement…

Logic in Computer Science · Computer Science 2026-04-27 Tommaso Flaminio , Katsumi Inoue , Daniil Kozhemiachenko

The AI community is increasingly putting its attention towards combining symbolic and neural approaches, as it is often argued that the strengths and weaknesses of these approaches are complementary. One recent trend in the literature are…

Artificial Intelligence · Computer Science 2021-10-12 Emile van Krieken , Erman Acar , Frank van Harmelen

We relate behavior composition, a synthesis task studied in AI, to supervisory control theory from the discrete event systems field. In particular, we show that realizing (i.e., implementing) a target behavior module (e.g., a house…

Artificial Intelligence · Computer Science 2016-05-02 Paolo Felli , Nitin Yadav , Sebastian Sardina

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

Most fuzzy systems including fuzzy decision support and fuzzy control systems provide out-puts in the form of fuzzy sets that represent the inferred conclusions. Linguistic interpretation of such outputs often involves the use of linguistic…

Artificial Intelligence · Computer Science 2013-01-30 Ryszard Kowalczyk

Adaptive fuzzy control strategies are established to achieve global prescribed performance with prescribed-time convergence for strict-feedback systems with mismatched uncertainties and unknown nonlinearities. Firstly, to quantify the…

Systems and Control · Electrical Eng. & Systems 2022-12-29 Bing Mao , Xiaoqun Wu , Hui Liu , Yuhua Xu , Jinhu Lü

This paper presents a fuzzy inference system for voltage/reactive power control in distribution substations. The purpose is go forward to automation distribution and its implementation in isolated power systems where control capabilities…

Systems and Control · Computer Science 2014-01-09 E. Vega-Fuentes , S. Leon-del Rosario , J. M. Cerezo-Sanchez , A. Vega-Martinez