In this paper, the functions that can be automated in distribution systems can be classified into two categories, namely, monitoring functions and control functions. Monitoring functions are those needed to record meter readings at different locations in the system, the system status at different locations and events of abnormal conditions. The data monitored at the system level are not only us...

Applying model-based diagnosis techniques to systems that exhibit hybrid behavior presents an interesting set of challenges that mostly revolve around interactions of the continuous and discrete components of the system. In many real world systems, the overall physical plant is inherently continuous, but system control is performed by a supervisory controller that imposes discrete switching beh...

due to the changes which may occur in their parameters, systems are usually demonstrated by some subsystems for different conditions. this paper employs modified petri nets (mpn) to model theses subsystems and makes it simple to analyze them. in this method, first, the continuous transfer function is converted to a discrete transfer function and then, by mpn, system is modeled and analyzed. all...

In this paper we prove that a switched nonlinear system has several useful input-to-state stable (ISS)-type properties under average dwelltime switching signals if each constituent dynamical system is ISS. This extends available results for switched linear systems. We apply our result to stabilization of uncertain nonlinear systems via switching supervisory control, and show that the plant stat...

This paper focuses on the design of an unique scheme that simultaneously performs fault isolation and fault tolerant control for a class of uncertain nonlinear systems with faults ranging over a finite cover. The proposed framework relies on a supervisory switching among a family of pre-computed candidate controllers without any additional model or filter. The states are ensured to be bounded d...

It is shown that switching among stable linear systems results in a stable system provided that switching is “slow-on-the-average.” In particular, it is proved that exponential stability is achieved when the number of switches in any finite interval grows linearly with the length of the interval, and the growth rate is sufficiently small. Moreover, the exponential stability is uniform over all ...

This work addresses the problem of stabilizing uncertain systems with quantized outputs using the supervisory control framework, in which a finite family of candidate controllers is employed together with an estimator-based switching logic to select the active controller at every time. For static quantizers, we provide a relationship between the quantization range and the quantization error bou...

It is shown that switching among stable linear systems results in a stable system provided that switching is “slow-on-the-average.” In particular, it is proved that exponential stability is achieved when the number of switches in any finite interval grows linearly with the length of the interval, and the growth rate is sufficiently small. Moreover, the exponential stability is uniform over all ...

This paper provides an implementable and energy efficient solution for the problem of manoeuver control of formations of nano-satellites subject to input-saturation constraints and persistent disturbances. The proposed control scheme is based on a supervisory switching logic which, at any time instant, select the most appropriate controller from a bank of pre-computed candidate predictive regul...

This paper proves the validity of a basic feasibility property which makes it possible to extend, to the case of set-point tracking in ANCBI systems under joint positional and incremental input saturations, the approach in [Mosca, E. (2005). Predictive switching supervisory control of persistently disturbed inputsaturated plants. Automatica, 41, 55–67] restricted to positional input saturation ...