Supervisory Control Problems for Nondeterministic Discrete-Event Systems: A Logical Approach

Authors:	Pinchinat Sophie, Campus de Beaulieu, France Raclet Jean-Baptiste, Campus de Beaulieu, France
Topic:	1.3 Discrete Event and Hybrid Systems
Session:	Supervisory Control of Modular and Decentralized Discrete Event Systems
Keywords:	Discrete-Event systems, Controlled systems, Formal specification, Computer-aided system design, Nondeterminism, Mu-calculus.

Abstract

We answer a wide range of control problems for nondeterministic discrete-event systems, relying on recent works based on a second order logic approach for deterministic systems. We investigate a pair of transformations: the first transforms a nondeterministic system into a deterministic one with a new unobservable event; the second transforms logical statements. In particular, these transformations are used to reduce control problems for nondeterministic systems to control problems under partial observation for deterministic systems.