This paper presents a hierarchical approach to hybrid control systems synthesis. It is set in a
general behavioural framework and therefore allows a combination of continuous and …

The design of reduced supervisors, suboptimal but easier to compute, is placed in a general
perspective. From this vantage point, we consider a timed discrete-event system, and …

Abstract System identification is a process of creating a mathematical model of a system
from its external observations (inputs and outputs). The concept of discovering models from …

In this paper, a novel methodology for analysis of piecewise linear hybrid systems based on
discrete abstractions of the continuous dynamics is presented. An important characteristic of …

The events in power systems are an important dynamic behavior, and there is no good
approach of modeling and analysis at all times due to the complexity of its behaviors. In this …

Рассматриваются новые расширения сетей Петри–нечеткие и нейронные сети,
исследуемые применительно к моделям функционирования компонентов …

An alumina supported CoMo catalyst was activated in the temperature range 295–773K with
H2/H2S. At several temperatures, elemental analysis, EDX, XPS and TPO techniques were …

This paper develops a modular framework for cooperative tasking for multi-agent systems.
The paper focuses on logical behaviors of multi-agent systems that can be represented by …

Hybrid controllers for complex cyber-physical systems (CPSs) employ a supervisor to switch
among a set of controllers to ensure proper operation. The supervisor is usually a computer …

This paper discusses methodologies for designing limited lookahead supervisory controllers
for a class of embedded systems that can be modeled as switching hybrid system (SHS). In …