[show abstract][hide abstract] ABSTRACT: A coordinated distributed discrete-event system consists of a coordinator and two or more subsystems. The coordinator directly influences the dynamics of the other subsystems but the subsystems do not directly influence each other. Coordination control of a coordinated distributed discrete-event system is to synthesize supervisors for the coordinator and for each of the subsystems so that the closed-loop system meets the specification. A characterization of the existence of such supervisors is presented as well as the solution to the problem of supremal supervision.
[show abstract][hide abstract] ABSTRACT: A transition is unobservable if it is labeled by a symbol removed by a projection. The present paper investigates a new structural property of incomplete deterministic finite automata - a number of states incident with an unobservable transition - and its effect on the state complexity of projected regular languages. We show that the known upper bound can be met only by automata with one unobservable transition (up to unobservable multi-transitions). We improve this upper bound by taking into consideration the structural property of minimal incomplete automata, and prove the tightness of new upper bounds. Special attention is focused on the case of finite languages. The paper also presents and discusses several fundamental problems which are still open. (C) 2012 Elsevier B.V. All rights reserved.
[show abstract][hide abstract] ABSTRACT: A distributed discrete-event system consists of an interconnection of two or more subsystems. Control of a distributed system demands a set of controllers each receiving an observed event stream of a local subsystem and providing a subset of enabled events to that subsystem. Several control architectures are defined in this chapter: Distributed control, distributed control with communication, coordination control, and hierarchical control. Results are provided for several problems of decentralized and distributed control. Research issues for control of distributed discrete-event systems are described.
Data provided are for informational purposes only. Although carefully collected, accuracy cannot be guaranteed. The impact factor represents a rough estimation of the journal's impact factor and does not reflect the actual current impact factor. Publisher conditions are provided by RoMEO. Differing provisions from the publisher's actual policy or licence agreement may be applicable.