Walter Murray Wonham

Publication Activity (10 Years)

Years Active: 1960-2019
Publications (10 Years): 18

Top Topics

Reachability Analysis

Timed Petri Nets

Supervisory Control

Top Venues

IEEE Trans. Autom. Control.

Publications

Ke Dong, Quan Quan, Walter Murray Wonham
Failsafe Mechanism Design for Autonomous Aerial Refueling using State Tree Structures. Unmanned Syst. 7 (4) (2019)
Liyong Lin, Tomás Masopust, Walter Murray Wonham, Rong Su
Automatic Generation of Optimal Reductions of Distributions. IEEE Trans. Autom. Control. 64 (3) (2019)
Rong Su, Walter Murray Wonham
What information really matters in supervisor reduction? Autom. 95 (2018)
Liyong Lin, Alin Stefanescu, Weilin Wang, Rong Su, Walter Murray Wonham
Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates. Autom. 87 (2018)
Deguang Wang, Liyong Lin, Zhiwu Li, Walter Murray Wonham
State-Based Control of Discrete-Event Systems Under Partial Observation. IEEE Access 6 (2018)
Rong Su, Walter Murray Wonham
A Generalized Theory on Supervisor Reduction. CDC (2018)
Sadegh Rahnamoon, Walter Murray Wonham
State-Based Control of Timed Discrete-Event Systems. CDC (2018)
Liyong Lin, Tomás Masopust, Walter Murray Wonham, Rong Su
Automatic Generation of Optimal Reductions of Distributions. CoRR (2018)
Liyong Lin, Simon Ware, Rong Su, Walter Murray Wonham
Reduction of distributions and its applications. ACC (2017)
Kai Cai, Renyuan Zhang, Walter Murray Wonham
Correction to "Relative Observability of Discrete-Event Systems and Its Supremal Sublanguages". IEEE Trans. Autom. Control. 62 (1) (2017)
Xi Wang, Zhiwu Li, Walter Murray Wonham
Optimal Priority-Free Conditionally-Preemptive Real-Time Scheduling of Periodic Tasks Based on DES Supervisory Control. IEEE Trans. Syst. Man Cybern. Syst. 47 (7) (2017)
Quan Quan, Zhiyao Zhao, Liyong Lin, Peng Wang, Walter Murray Wonham, Kai-Yuan Cai
Failsafe Mechanism Design of Multicopters Based on Supervisory Control Theory. CoRR (2017)
Renyuan Zhang, Kai Cai, Walter Murray Wonham
Supervisor localization of discrete-event systems under partial observation. Autom. 81 (2017)
Liyong Lin, Simon Ware, Rong Su, Walter Murray Wonham
Reduction of Distributions: Definitions, Properties, and Applications. IEEE Trans. Autom. Control. 62 (11) (2017)
Renyuan Zhang, Kai Cai, Yongmei Gan, Walter Murray Wonham
Distributed supervisory control of discrete-event systems with communication delay. Discret. Event Dyn. Syst. 26 (2) (2016)
Kai Cai, Renyuan Zhang, Walter Murray Wonham
Characterizations and Effective Computation of Supremal Relatively Observable Sublanguages. CoRR (2016)
Kai Cai, Renyuan Zhang, Walter Murray Wonham
Relative Coobservability in Decentralized Supervisory Control of Discrete-Event Systems. CoRR (2016)
Kai Cai, Walter Murray Wonham
A new algorithm for computing the supremal relatively observable sublanguage. WODES (2016)
Kai Cai, Renyuan Zhang, Walter Murray Wonham
On relative coobservability of discrete-event systems. ACC (2015)
Kai Cai, Walter Murray Wonham
New results on supervisor localization, with case studies. Discret. Event Dyn. Syst. 25 (1-2) (2015)
Kai Cai, Renyuan Zhang, Walter Murray Wonham
Relative Observability of Discrete-Event Systems and Its Supremal Sublanguages. IEEE Trans. Autom. Control. 60 (3) (2015)
Renyuan Zhang, Kai Cai, Walter Murray Wonham
Delay-robustness in distributed control of timed discrete-event systems based on supervisor localization. CDC (2014)
Kai Cai, Walter Murray Wonham
Supervisor Localization of Discrete-Event Systems Based on State Tree Structures. IEEE Trans. Autom. Control. 59 (5) (2014)
Kai Cai, Renyuan Zhang, Walter Murray Wonham
On Relative Observability of Timed Discrete-Event Systems. WODES (2014)
Kai Cai, Renyuan Zhang, Walter Murray Wonham
On relative observability of discrete-event systems. CDC (2013)
Renyuan Zhang, Kai Cai, Yongmei Gan, Walter Murray Wonham
Delay-Robustness for Localization-Based Distributed Control of Timed Discrete-Event Systems. CoRR (2013)
Kai Cai, Renyuan Zhang, Walter Murray Wonham
Supervision localization of timed discrete-event systems. ACC (2013)
Renyuan Zhang, Kai Cai, Yongmei Gan, Zhaoan Wang, Walter Murray Wonham
Supervision Localization of Timed Discrete-Event Systems CoRR (2013)
Kai Cai, Renyuan Zhang, Walter Murray Wonham
Relative Observability of Discrete-Event Systems and its Supremal Sublanguages. CoRR (2013)
Wujie Chao, Yongmei Gan, Zhaoan Wang, Walter Murray Wonham
Modular supervisory control and coordination of state tree structures. Int. J. Control 86 (1) (2013)
Renyuan Zhang, Kai Cai, Yongmei Gan, Zhaoan Wang, Walter Murray Wonham
Supervision localization of timed discrete-event systems. Autom. 49 (9) (2013)
Kai Cai, Walter Murray Wonham
Supervisor Localization of Discrete-Event Systems based on State Tree Structures. CoRR (2013)
Kai Cai, Walter Murray Wonham
Supervisor localization of discrete-event systems based on State Tree Structures. CDC (2012)
Kai Cai, Walter Murray Wonham
New results on supervisor localization, with application to multi-agent formations. WODES (2012)
Renyuan Zhang, Kai Cai, Yongmei Gan, Zhaoan Wang, Walter Murray Wonham
Distributed Supervisory Control of Discrete-Event Systems with Communication Delay CoRR (2012)
Lei Feng, Walter Murray Wonham
On the Computation of Natural Observers in Discrete-Event Systems. Discret. Event Dyn. Syst. 20 (1) (2010)
Kai Cai, Walter Murray Wonham
Supervisor Localization: A Top-Down Approach to Distributed Control of Discrete-Event Systems. IEEE Trans. Autom. Control. 55 (3) (2010)
Kai Cai, Walter Murray Wonham
Supervisor localization for large-scale discrete-event systems. CDC (2009)
Lei Feng, Walter Murray Wonham
Supervisory Control Architecture for Discrete-Event Systems. IEEE Trans. Autom. Control. 53 (6) (2008)
Ali Saadatpoor, Walter Murray Wonham
State based control of timed discrete event systems using binary decision diagrams. Syst. Control. Lett. 56 (1) (2007)
Lei Feng, Walter Murray Wonham, P. S. Thiagarajan
Designing communicating transaction processes by supervisory control theory. Formal Methods Syst. Des. 30 (2) (2007)
Lei Feng, Walter Murray Wonham
Nonblocking coordination of discrete-event systems by control-flow nets. CDC (2007)
A. Afzalian, Ali Saadatpoor, Walter Murray Wonham
Timed discrete-event system supervisory control for under-load tap-changing transformers. ICINCO-SPSMC (2006)
Rong Su, Walter Murray Wonham
Hierarchical Fault Diagnosis for Discrete-Event Systems under Global Consistency. Discret. Event Dyn. Syst. 16 (1) (2006)
Chuan Ma, Walter Murray Wonham
Nonblocking supervisory control of state tree structures. IEEE Trans. Autom. Control. 51 (5) (2006)
Shahin Hashtrudi-Zad, Raymond H. Kwong, Walter Murray Wonham
Fault diagnosis in discrete-event systems: incorporating timing information. IEEE Trans. Autom. Control. 50 (7) (2005)
Sean E. Bourdon, Mark Lawford, Walter Murray Wonham
Robust nonblocking supervisory control of discrete-event systems. IEEE Trans. Autom. Control. 50 (12) (2005)
Shahin Hashtrudi-Zad, M. Moosaei, Walter Murray Wonham
On computation of supremal controllable, normal sublanguages. Syst. Control. Lett. 54 (9) (2005)
Ryan J. Leduc, Mark Lawford, Walter Murray Wonham
Hierarchical interface-based supervisory control-part II: parallel case. IEEE Trans. Autom. Control. 50 (9) (2005)
Ryan J. Leduc, Bertil A. Brandin, Mark Lawford, Walter Murray Wonham
Hierarchical interface-based supervisory Control-part I: serial case. IEEE Trans. Autom. Control. 50 (9) (2005)
Ryan J. Leduc, Bertil A. Brandin, Mark Lawford, Walter Murray Wonham
Erratum to "Hierarchical Interface-Based Supervisory Control - Part I: Serial Case". IEEE Trans. Autom. Control. 50 (11) (2005)
Max H. Queiroz, José E. R. Cury, Walter Murray Wonham
Multitasking Supervisory Control of Discrete-Event Systems. Discret. Event Dyn. Syst. 15 (4) (2005)
Peyman Gohari, Walter Murray Wonham
Efficient implementation of fairness in discrete-event systems using queues. IEEE Trans. Autom. Control. 50 (11) (2005)
Chuan Ma, Walter Murray Wonham
A Symbolic Approach to the Supervision of State Tree Structures. ISIC (2005)
Rong Su, Walter Murray Wonham
Global and local consistencies in distributed fault diagnosis for discrete-event systems. IEEE Trans. Autom. Control. 50 (12) (2005)
Rong Su, Walter Murray Wonham
Supervisor Reduction for Discrete-Event Systems. Discret. Event Dyn. Syst. 14 (1) (2004)
Walter Murray Wonham
Comments on "feedback control logic for forbidden-state problems of marked graphs: application to a real manufacturing system". IEEE Trans. Autom. Control. 49 (4) (2004)
Murat Uzam, Walter Murray Wonham
Comments on "Feedback control logic for forbidden-state problems of marked graphs: application to a real manufacturing system". IEEE Trans. Autom. Control. 49 (7) (2004)
Kai C. Wong, Walter Murray Wonham
On the Computation of Observers in Discrete-Event Systems. Discret. Event Dyn. Syst. 14 (1) (2004)
Sherif Abdelwahed, Walter Murray Wonham
Interacting DES: modelling and analysis. SMC (2003)
Peyman Gohari, Walter Murray Wonham
Reduced supervisors for timed discrete-event systems. IEEE Trans. Autom. Control. 48 (7) (2003)
Sherif Abdelwahed, Walter Murray Wonham
Blocking detection in discrete event systems. ACC (2003)
Rajinderjeet Minhas, Walter Murray Wonham
Online supervision of discrete event systems. ACC (2003)
Shahin Hashtrudi-Zad, Raymond H. Kwong, Walter Murray Wonham
Fault diagnosis in discrete-event systems: framework and model reduction. IEEE Trans. Autom. Control. 48 (7) (2003)
Peter C. Y. Chen, Walter Murray Wonham
Real-Time Supervisory Control of a Processor for Non-Preemptive Execution of Periodic Tasks. Real Time Syst. 23 (3) (2002)
Xi-Ren Cao, Guy Cohen, Alessandro Giua, Walter Murray Wonham, Jan H. van Schuppen
Unity in Diversity, Diversity in Unity: Retrospective and Prospective Views on Control of Discrete Event Systems. Discret. Event Dyn. Syst. 12 (3) (2002)
Weimin Wu, Hongye Su, Jian Chu, Walter Murray Wonham
Colored Petri net control of OR-logic. ISIC (2002)
Ryan J. Leduc, Bertil A. Brandin, Walter Murray Wonham, Mark Lawford
Hierarchical interface-based supervisory control: serial case. CDC (2001)
Peyman Gohari, Walter Murray Wonham
On the complexity of supervisory control design in the RW framework. IEEE Trans. Syst. Man Cybern. Part B 30 (5) (2000)
Kai C. Wong, Walter Murray Wonham
Modular Control and Coordination of Discrete-Event Systems. Discret. Event Dyn. Syst. 8 (3) (1998)
Mark Lawford, Jonathan S. Ostroff, Walter Murray Wonham
Model Reduction of Modules for State-Even Temporal Logics. FORTE (1996)
Kai C. Wong, Walter Murray Wonham
Hierarchical control of discrete-event systems. Discret. Event Dyn. Syst. 6 (3) (1996)
Kai C. Wong, Walter Murray Wonham
Hierarchical control of timed discrete-event systems. Discret. Event Dyn. Syst. 6 (3) (1996)
P. Kozák, Walter Murray Wonham
Design of transaction management protocols. IEEE Trans. Autom. Control. 41 (9) (1996)
P. Kozák, Walter Murray Wonham
Fully decentralized solutions of supervisory control problems. IEEE Trans. Autom. Control. 40 (12) (1995)
Feng Lin, Walter Murray Wonham
Supervisory control of timed discrete-event systems under partial observation. IEEE Trans. Autom. Control. 40 (3) (1995)
Yong Li, Walter Murray Wonham
Concurrent vector discrete-event systems. IEEE Trans. Autom. Control. 40 (4) (1995)
Mark Lawford, Walter Murray Wonham
Equivalence preserving transformations for timed transition models. IEEE Trans. Autom. Control. 40 (7) (1995)
Bertil A. Brandin, Walter Murray Wonham
Supervisory control of timed discrete-event systems. IEEE Trans. Autom. Control. 39 (2) (1994)
Yong Li, Walter Murray Wonham
Control of vector discrete-event systems. I. The base model. IEEE Trans. Autom. Control. 38 (8) (1993)
Bertil A. Brandin, Walter Murray Wonham, Beno Benhabib
Manufacturing Cell Supervisory Control - A Modular Timed Discrete-Event System Approach. ICRA (1) (1993)
Bertil A. Brandin, Walter Murray Wonham, Beno Benhabib
Manufacturing cell supervisory control-a timed discrete event system approach. ICRA (1992)
John G. Thistle, Walter Murray Wonham
Control of omega-Automata, Church's Problem, and the Emptiness Problem for Tree omega-Automata. CSL (1991)
Karen Rudie, Walter Murray Wonham
Supervisory control of communicating processes. PSTV (1990)
Peter J. Ramadge, Walter Murray Wonham
The control of discrete event systems. Proc. IEEE 77 (1) (1989)
Feng Lin, Walter Murray Wonham
On observability of discrete-event systems. Inf. Sci. 44 (3) (1988)
Yang Li, Walter Murray Wonham
On Supervisory control of real-time discrete-event systems. Inf. Sci. 46 (3) (1988)
Feng Lin, Walter Murray Wonham
Decentralized supervisory control of discrete-event systems. Inf. Sci. 44 (3) (1988)
Jonathan S. Ostroff, Walter Murray Wonham
Modelling, Specifying, and Verifying Real-Time Embedded Computer Systems. RTSS (1987)
J. S. A. Hepburn, Walter Murray Wonham
Structurally Stable Nonlinear Regulation with Step Inputs. Math. Syst. Theory 17 (4) (1984)
Walter Murray Wonham
Geometric state-space theory in linear multivariable control: A status report. Autom. 15 (1) (1979)
Walter Murray Wonham
Towards an Abstract Internal Model Principle. IEEE Trans. Syst. Man Cybern. 6 (11) (1976)
O. A. Sebakhy, Walter Murray Wonham
A design procedure for multivariable regulators. Autom. 12 (5) (1976)
Bruce A. Francis, Walter Murray Wonham
The internal model principle of control theory. Autom. 12 (5) (1976)
S. P. Bhattacharyya, J. B. Pearson, Walter Murray Wonham
On Zeroing the Output of a Linear System Inf. Control. 20 (2) (1972)
Walter Murray Wonham
Optimal stochastic control. Autom. 5 (1) (1969)
Walter Murray Wonham
On the probability density of the output of a low-pass system when the input is a Markov step process. IRE Trans. Inf. Theory 6 (5) (1960)