Rakoto-Ravalontsalama, Naly (Ec. des Mines de Nantes)

Supervisory Control of Switched DES

Scheduled for presentation during the Mini-Symposium "Formal Methods for Discrete-Event Systems" (ThP10), Thursday, July 27, 2006, 17:25−17:50, Room 103

17th International Symposium on Mathematical Theory of Networks and Systems, July 24-28, 2006, Kyoto, Japan

This information is tentative and subject to change. Compiled on May 19, 2024

Abstract

In this paper the notion of switched discrete event systems (DES) is introduced. This is a class of DES where each automaton is the composition of two basic automata, but with different composition operators. A switching occurs when there is a change of the composition operator, but keeping the same two basic automata. A mode behavior (or mode for short) is defined to be by the DES behavior for a given composition operator. Composition operators are supposed to change more than once so that each mode is visited more than once. This new class of DES includes the DES in the context of fault diagnosis where different modes such as e.g., normal, degenerated, emergency modes can be found. The studied situations are the ones where the DES switch between different normal modes, and not necessary the degenerated and the emergency ones. We introduce also in this paper the notion of equivalent states which are the actual locations of switchings, and we derive some necessary conditions that guarantee controllability of a switched DES which uses the biased synchronous composition and the strict product operator. In a companion paper [Rakoto 2006], we address another problem related to nonblocking properties of the same class of switched DES.