This paper presents a novel notion of a transition that has two kinds of conditions:
observable and unobservable modes. In this study, such a transition under the two kinds of …

This article develops a novel active-learning technique for fault diagnosis of an initially
unknown finite-state discrete event system (DES). The proposed method constructs a …

With the increasing sophistication of attacks on cyber-physical systems, deception has
emerged as an effective tool to improve system security and safety by obfuscating the …

This paper focuses on the algebraic expression of discrete event systems (DES), which
bridges the gap between linear control system theory and discrete event system theory. For …

Possessing efficient supervisory control systems is crucial for maintaining the desired
operational performance of complex industrial processes. Several challenges face the …

To control a system with model uncertainty, adaptive control is an available approach. In this
brief we investigate adaptive control in the field of finite state machines with respect to states …

We propose a component-based semantic model for Cyber-Physical Systems (CPSs)
wherein the notion of a component abstracts the internal details of both cyber and physical …

This paper presents an approach to solve the least-cost transition sequences estimation
problem in labelled time Petri net (LTPN) systems with unobservable transitions. Particularly …

Many diagnosis approaches for discrete event systems are diagnoser-based. A diagnoser is
a deterministic automaton that can be built directly from the underlying system model by …

Статья исследует информационное моделирование при формировании лесопарковых
зеленых поясов. Описано содержание моделирования таких объектов. Описаны задачи …