We present new results on the synthesis of safe, non-blocking, and maximally permissive
supervisors for partially observed discrete event systems. We consider the case where the …

Abstract The theory of Discrete Event Systems (DES) is a research area of current vitality.
The development of this theory is largely stimulated by discovering general principles which …

This paper deals with the on-line control of partially observed discrete event systems (DES).
The goal is to restrict the behavior of the system within a prefix-closed legal language while …

A fundamental relationship between the controllability of a language with respect to another
language and a set of uncontrollable events in the Supervisory Control Theory initiated by …

Control theories for discrete event systems modeled as finite state machines have been well
developed to address various fundamental control issues. However, finite state machine …

We consider the problem of controlling a set of vehicles at an intersection, in the presence of
uncontrolled vehicles and a bounded disturbance. We begin by discretizing the system in …

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 …

In 2001, we originated a theory of fuzzy discrete-event systems (FDESs) that generalized the
conventional/crisp discrete-event systems (DESs). Vagueness and imprecision concerning …

In this paper, a dynamic task allocation and controller design methodology for cooperative
robot teams is presented. Fuzzy-logic-based utility functions are derived to quantify each …

Describes a synthesis method that automatically derives controllers for timed discrete-event
systems with nonterminating behavior modeled by timed transition graphs and specifications …