This article begins with an introduction to the modeling of discrete event systems, a class of
dynamical systems with discrete states and event-driven dynamics. It then focuses on logical …

This paper presents historical remarks on key projects and papers that led to the
development of a theory of event diagnosis for discrete event systems modeled by finite …

The goal of this chapter is to present some perspectives on current and future research
directions in the area of discrete event systems. For the benefit of readers unfamiliar with this …

AbstrCicf This thesis is concerned with the development of a regulator theory for discrete-
event dynamic systems (DEDS), which we model using finite state automata with partially …

Discrete Event Systems: Analysis and Control is the proceedings of WODES2000 (the 5th
Workshop on Discrete Event Systems, held in Ghent, Belgium, on August 21-23, 2000). This …

This book addresses the growing need for systematic state estimation and event inference
techniques, as well as efficient verification of related properties, in discrete event systems …

We study a class of problems related to the supervisory control of a discrete-event system
(DES), as formulated by Ramadge and Wonham, and we focus on the computational effort …

Control of discrete-event dynamic systems is the topic of this book. The aim is to provide an
introduction to the field, starting at an elementary level and going to close to the current …

The term “discrete-event system (DES)” was introduced in the early 1980s to identify an
increasingly important class of dynamic systems in terms of their most critical feature: the fact …

The field of discrete event systems has emerged to provide a formal treatment of many of the
man-made systems such as manufacturing systems, communica tion networks. automated …