Search Results - "Wonham, W. M."
-
1
Supervisory Control Architecture for Discrete-Event Systems
Published in IEEE transactions on automatic control (01-07-2008)“…A flexible decentralized and hierarchical architecture is presented to reduce computational effort in designing optimal nonblocking supervisors for…”
Get full text
Journal Article -
2
Supervisor Localization: A Top-Down Approach to Distributed Control of Discrete-Event Systems
Published in IEEE transactions on automatic control (01-03-2010)“…We study the design of distributed control for discrete-event systems (DES) in the framework of supervisory control theory. We view a DES as comprised of a…”
Get full text
Journal Article -
3
Relative Observability and Coobservability of Timed Discrete-Event Systems
Published in IEEE transactions on automatic control (01-11-2016)“…We study supervisory control of timed discrete-event systems (TDES) under partial observation, and propose new observability concepts effective for supervisor…”
Get full text
Journal Article -
4
Global and local consistencies in distributed fault diagnosis for discrete-event systems
Published in IEEE transactions on automatic control (01-12-2005)“…In this paper, we present a unified framework for distributed diagnosis. We first introduce the concepts of global and local consistency in terms of supremal…”
Get full text
Journal Article -
5
Fault diagnosis in discrete-event systems: framework and model reduction
Published in IEEE transactions on automatic control (01-07-2003)“…A state-based approach for online passive fault diagnosis in systems modeled as finite-state automata is presented. In this framework, the system and the…”
Get full text
Journal Article -
6
Nonblocking supervisory control of state tree structures
Published in IEEE transactions on automatic control (01-05-2006)“…It is well known that the nonblocking supervisory control problem is NP-hard, subject in particular to state space explosion that is exponential in the number…”
Get full text
Journal Article -
7
Characterizations and effective computation of supremal relatively observable sublanguages
Published in Discrete event dynamic systems (01-06-2018)“…Recently we proposed relative observability for supervisory control of discrete-event systems under partial observation. Relative observability is closed under…”
Get full text
Journal Article -
8
Delay-robustness in distributed control of timed discrete-event systems based on supervisor localisation
Published in International journal of control (02-10-2016)“…Recently, we studied communication delay in distributed control of untimed discrete-event systems based on supervisor localisation. We proposed a property…”
Get full text
Journal Article -
9
Dynamic Multiple-Period Reconfiguration of Real-Time Scheduling Based on Timed DES Supervisory Control
Published in IEEE transactions on industrial informatics (01-02-2016)“…Based on the supervisory control theory (SCT) of timed discrete-event systems (TDES), this study presents a dynamic reconfiguration technique for real-time…”
Get full text
Journal Article -
10
Supervisor Localization of Discrete-Event Systems Based on State Tree Structures
Published in IEEE transactions on automatic control (01-05-2014)“…Recently we developed supervisor localization, a top-down approach to distributed control of discrete-event systems in the Ramadge-Wonham supervisory control…”
Get full text
Journal Article -
11
Supervision localization of timed discrete-event systems
Published in Automatica (Oxford) (01-09-2013)“…We study supervisor localization for real-time discrete-event systems (DES) in the Brandin–Wonham framework of timed supervisory control. We view a real-time…”
Get full text
Journal Article -
12
Real-Time Scheduling Based on Nonblocking Supervisory Control of State-Tree Structures
Published in IEEE transactions on automatic control (01-09-2021)“…This article presents a novel framework for the modeling and scheduling of real-time systems (RTS) processing both sporadic and (multiperiod) periodic tasks,…”
Get full text
Journal Article -
13
Hierarchical interface-based supervisory control-part II: parallel case
Published in IEEE transactions on automatic control (01-09-2005)“…In this paper, we present a hierarchical method that decomposes a discrete-event system (DES) into a high-level subsystem which communicates with n/spl ges/1…”
Get full text
Journal Article -
14
Fault diagnosis in discrete-event systems: incorporating timing information
Published in IEEE transactions on automatic control (01-07-2005)“…A framework is introduced for fault diagnosis in timed discrete-event systems. In this approach, the required estimates for system condition are updated only…”
Get full text
Journal Article -
15
Hierarchical interface-based supervisory Control-part I: serial case
Published in IEEE transactions on automatic control (01-09-2005)“…In this paper, we present a hierarchical method that decomposes a system into two subsystems, and restricts the interaction of the subsystems by means of an…”
Get full text
Journal Article -
16
Composite supervisory control for symmetric discrete-event systems
Published in International journal of control (02-07-2020)“…In symmetric discrete-event systems, the system complexity is reduced by relabelling to the same symbol events fulfilling the same task. In this paper, we…”
Get full text
Journal Article -
17
Discrete-Event Systems Supervisory Control for a Dynamic Flow Controller
Published in IEEE transactions on power delivery (01-01-2009)“…This paper presents supervisory control of a dynamic flow controller (DFC) based on the discrete-event systems (DES) theory. A DFC can be considered as a…”
Get full text
Journal Article -
18
Supervisory control of timed discrete-event systems
Published in IEEE transactions on automatic control (01-02-1994)“…The Ramadge-Wonham framework for control of discrete event systems is augmented with timing features by use of Ostroff's semantics for timed transition models…”
Get full text
Journal Article -
19
Efficient implementation of fairness in discrete-event systems using queues
Published in IEEE transactions on automatic control (01-11-2005)“…Fair synthesis of supervisory control for discrete-event systems is discussed. It is argued that a least restrictive supervisor does not in general exist…”
Get full text
Journal Article -
20
Correction to "Relative Observability of Discrete-Event Systems and Its Supremal Sublanguages"
Published in IEEE transactions on automatic control (01-01-2017)“…In this note, we make a few corrections to our previous paper "Relative Observability of Discrete-Event Systems and Its Supremal Sublanguages."…”
Get full text
Journal Article