Walter Murray Wonham

Orcid: 0000-0002-9918-4481

Affiliations:
  • University of Toronto, Canada


According to our database1, Walter Murray Wonham authored at least 114 papers between 1960 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
Real-Time Scheduling Based on Nonblocking Supervisory Control of State-Tree Structures.
IEEE Trans. Autom. Control., 2021

2020
Exploiting Symmetry of Discrete-Event Systems by Relabeling and Reconfiguration.
IEEE Trans. Syst. Man Cybern. Syst., 2020

Composite supervisory control for symmetric discrete-event systems.
Int. J. Control, 2020

Bidirectional Dynamic Reconfiguration of Discrete-Event Systems.
Proceedings of the 2020 American Control Conference, 2020

2019
Failsafe Mechanism Design for Autonomous Aerial Refueling using State Tree Structures.
Unmanned Syst., 2019

Automatic Generation of Optimal Reductions of Distributions.
IEEE Trans. Autom. Control., 2019

Relative coobservability for decentralised supervisory control of discrete-event systems.
Int. J. Control, 2019

2018
Characterizations and effective computation of supremal relatively observable sublanguages.
Discret. Event Dyn. Syst., 2018

Timed Discrete-Event Systems are Synchronous Product Structures.
CoRR, 2018

Priority-free conditionally-preemptive scheduling of modular sporadic real-time systems.
Autom., 2018

What information really matters in supervisor reduction?
Autom., 2018

Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates.
Autom., 2018

Supervisory control of discrete-event systems: A brief history.
Annu. Rev. Control., 2018

State-Based Control of Discrete-Event Systems Under Partial Observation.
IEEE Access, 2018

A Generalized Theory on Supervisor Reduction.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018

State-Based Control of Timed Discrete-Event Systems.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Internal Models in Control, Biology and Neuroscience.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018

2017
Optimal Priority-Free Conditionally-Preemptive Real-Time Scheduling of Periodic Tasks Based on DES Supervisory Control.
IEEE Trans. Syst. Man Cybern. Syst., 2017

Reduction of Distributions: Definitions, Properties, and Applications.
IEEE Trans. Autom. Control., 2017

Correction to "Relative Observability of Discrete-Event Systems and Its Supremal Sublanguages".
IEEE Trans. Autom. Control., 2017

Exploiting symmetry of state tree structures for discrete-event systems with parallel components.
Int. J. Control, 2017

Failsafe Mechanism Design of Multicopters Based on Supervisory Control Theory.
CoRR, 2017

Supervisor localization of discrete-event systems under partial observation.
Autom., 2017

Automatic reconfiguration of untimed discrete-event systems.
Proceedings of the 14th International Conference on Electrical Engineering, 2017

Reduction of distributions and its applications.
Proceedings of the 2017 American Control Conference, 2017

2016
Dynamic Multiple-Period Reconfiguration of Real-Time Scheduling Based on Timed DES Supervisory Control.
IEEE Trans. Ind. Informatics, 2016

Relative Observability and Coobservability of Timed Discrete-Event Systems.
IEEE Trans. Autom. Control., 2016

Delay-robustness in distributed control of timed discrete-event systems based on supervisor localisation.
Int. J. Control, 2016

Distributed supervisory control of discrete-event systems with communication delay.
Discret. Event Dyn. Syst., 2016

Relative Coobservability in Decentralized Supervisory Control of Discrete-Event Systems.
CoRR, 2016

A new algorithm for computing the supremal relatively observable sublanguage.
Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

2015
Supervisory Control of Discrete-Event Systems.
Proceedings of the Encyclopedia of Systems and Control, 2015

Relative Observability of Discrete-Event Systems and Its Supremal Sublanguages.
IEEE Trans. Autom. Control., 2015

New results on supervisor localization, with case studies.
Discret. Event Dyn. Syst., 2015

On relative coobservability of discrete-event systems.
Proceedings of the American Control Conference, 2015

2014
Supervisor Localization of Discrete-Event Systems Based on State Tree Structures.
IEEE Trans. Autom. Control., 2014

On Relative Observability of Timed Discrete-Event Systems.
Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Delay-robustness in distributed control of timed discrete-event systems based on supervisor localization.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

2013
Modular supervisory control and coordination of state tree structures.
Int. J. Control, 2013

Delay-Robustness for Localization-Based Distributed Control of Timed Discrete-Event Systems.
CoRR, 2013

Supervision localization of timed discrete-event systems.
Autom., 2013

On relative observability of discrete-event systems.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Supervision localization of timed discrete-event systems.
Proceedings of the American Control Conference, 2013

2012
Distributed Supervisory Control of Discrete-Event Systems with Communication Delay
CoRR, 2012

New results on supervisor localization, with application to multi-agent formations.
Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

2010
Supervisor Localization: A Top-Down Approach to Distributed Control of Discrete-Event Systems.
IEEE Trans. Autom. Control., 2010

On the Computation of Natural Observers in Discrete-Event Systems.
Discret. Event Dyn. Syst., 2010

2009
Supervisor localization for large-scale discrete-event systems.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009

2008
Supervisory Control Architecture for Discrete-Event Systems.
IEEE Trans. Autom. Control., 2008

Supervisory control of Timed State Tree Structures.
Proceedings of the American Control Conference, 2008

2007
State based control of timed discrete event systems using binary decision diagrams.
Syst. Control. Lett., 2007

Designing communicating transaction processes by supervisory control theory.
Formal Methods Syst. Des., 2007

Nonblocking coordination of discrete-event systems by control-flow nets.
Proceedings of the 46th IEEE Conference on Decision and Control, 2007

Supervisor State Size Reduction for Timed Discrete-Event Systems.
Proceedings of the American Control Conference, 2007

2006
Nonblocking supervisory control of state tree structures.
IEEE Trans. Autom. Control., 2006

Hierarchical Fault Diagnosis for Discrete-Event Systems under Global Consistency.
Discret. Event Dyn. Syst., 2006

Timed discrete-event system supervisory control for under-load tap-changing transformers.
Proceedings of the ICINCO 2006, 2006

2005
Fault diagnosis in discrete-event systems: incorporating timing information.
IEEE Trans. Autom. Control., 2005

Global and local consistencies in distributed fault diagnosis for discrete-event systems.
IEEE Trans. Autom. Control., 2005

Hierarchical interface-based supervisory control-part II: parallel case.
IEEE Trans. Autom. Control., 2005

Erratum to "Hierarchical Interface-Based Supervisory Control - Part I: Serial Case".
IEEE Trans. Autom. Control., 2005

Hierarchical interface-based supervisory Control-part I: serial case.
IEEE Trans. Autom. Control., 2005

Efficient implementation of fairness in discrete-event systems using queues.
IEEE Trans. Autom. Control., 2005

Robust nonblocking supervisory control of discrete-event systems.
IEEE Trans. Autom. Control., 2005

On computation of supremal controllable, normal sublanguages.
Syst. Control. Lett., 2005

Multitasking Supervisory Control of Discrete-Event Systems.
Discret. Event Dyn. Syst., 2005

A Symbolic Approach to the Supervision of State Tree Structures.
Proceedings of the Intelligent Control, 2005

2004
Comments on "feedback control logic for forbidden-state problems of marked graphs: application to a real manufacturing system".
IEEE Trans. Autom. Control., 2004

Comments on "Feedback control logic for forbidden-state problems of marked graphs: application to a real manufacturing system".
IEEE Trans. Autom. Control., 2004

On the Computation of Observers in Discrete-Event Systems.
Discret. Event Dyn. Syst., 2004

Supervisor Reduction for Discrete-Event Systems.
Discret. Event Dyn. Syst., 2004

An algorithm to achieve local consistency in distributed systems.
Proceedings of the 43rd IEEE Conference on Decision and Control, 2004

2003
Fault diagnosis in discrete-event systems: framework and model reduction.
IEEE Trans. Autom. Control., 2003

Reduced supervisors for timed discrete-event systems.
IEEE Trans. Autom. Control., 2003

Interacting DES: modelling and analysis.
Proceedings of the IEEE International Conference on Systems, 2003

Online supervision of discrete event systems.
Proceedings of the American Control Conference, 2003

Blocking detection in discrete event systems.
Proceedings of the American Control Conference, 2003

2002
Real-Time Supervisory Control of a Processor for Non-Preemptive Execution of Periodic Tasks.
Real Time Syst., 2002

Unity in Diversity, Diversity in Unity: Retrospective and Prospective Views on Control of Discrete Event Systems.
Discret. Event Dyn. Syst., 2002

Supervisory control of interacting discrete event systems.
Proceedings of the 41st IEEE Conference on Decision and Control, 2002

Probabilistic reasoning in distributed diagnosis for qualitative systems.
Proceedings of the 41st IEEE Conference on Decision and Control, 2002

Colored Petri net control of OR-logic.
Proceedings of the 2002 IEEE International Symposium on Intelligent Control, 2002

2001
Hierarchical interface-based supervisory control: serial case.
Proceedings of the 40th IEEE Conference on Decision and Control, 2001

2000
On the complexity of supervisory control design in the RW framework.
IEEE Trans. Syst. Man Cybern. Part B, 2000

1998
Modular Control and Coordination of Discrete-Event Systems.
Discret. Event Dyn. Syst., 1998

1996
Design of transaction management protocols.
IEEE Trans. Autom. Control., 1996

Hierarchical control of timed discrete-event systems.
Discret. Event Dyn. Syst., 1996

Hierarchical control of discrete-event systems.
Discret. Event Dyn. Syst., 1996

Model Reduction of Modules for State-Even Temporal Logics.
Proceedings of the Formal Description Techniques IX: Theory, 1996

1995
Supervisory control of timed discrete-event systems under partial observation.
IEEE Trans. Autom. Control., 1995

Concurrent vector discrete-event systems.
IEEE Trans. Autom. Control., 1995

Equivalence preserving transformations for timed transition models.
IEEE Trans. Autom. Control., 1995

Fully decentralized solutions of supervisory control problems.
IEEE Trans. Autom. Control., 1995

1994
Control of vector discrete-event systems. II. Controller synthesis.
IEEE Trans. Autom. Control., 1994

Supervisory control of timed discrete-event systems.
IEEE Trans. Autom. Control., 1994

1993
Control of vector discrete-event systems. I. The base model.
IEEE Trans. Autom. Control., 1993

Manufacturing Cell Supervisory Control - A Modular Timed Discrete-Event System Approach.
Proceedings of the 1993 IEEE International Conference on Robotics and Automation, 1993

1992
Manufacturing cell supervisory control-a timed discrete event system approach.
Proceedings of the 1992 IEEE International Conference on Robotics and Automation, 1992

1991
Control of omega-Automata, Church's Problem, and the Emptiness Problem for Tree omega-Automata.
Proceedings of the Computer Science Logic, 5th Workshop, 1991

1990
Supervisory control of communicating processes.
Proceedings of the Protocol Specification, 1990

1989
The control of discrete event systems.
Proc. IEEE, 1989

1988
Modular supervisory control of discrete-event systems.
Math. Control. Signals Syst., 1988

Decentralized supervisory control of discrete-event systems.
Inf. Sci., 1988

On observability of discrete-event systems.
Inf. Sci., 1988

On Supervisory control of real-time discrete-event systems.
Inf. Sci., 1988

1987
Modelling, Specifying, and Verifying Real-Time Embedded Computer Systems.
Proceedings of the 8th IEEE Real-Time Systems Symposium (RTSS '87), 1987

1984
Structurally Stable Nonlinear Regulation with Step Inputs.
Math. Syst. Theory, 1984

1979
Geometric state-space theory in linear multivariable control: A status report.
Autom., 1979

1976
Towards an Abstract Internal Model Principle.
IEEE Trans. Syst. Man Cybern., 1976

A design procedure for multivariable regulators.
Autom., 1976

The internal model principle of control theory.
Autom., 1976

1972
On Zeroing the Output of a Linear System
Inf. Control., March, 1972

1969
Optimal stochastic control.
Autom., 1969

1960
On the probability density of the output of a low-pass system when the input is a Markov step process.
IRE Trans. Inf. Theory, 1960


  Loading...