Walter Murray Wonham
Orcid: 0000-0002-9918-4481Affiliations:
- University of Toronto, Canada
According to our database1,
Walter Murray Wonham
authored at least 114 papers
between 1960 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
-
on isni.org
On csauthors.net:
Bibliography
2021
Real-Time Scheduling Based on Nonblocking Supervisory Control of State-Tree Structures.
IEEE Trans. Autom. Control., 2021
2020
IEEE Trans. Syst. Man Cybern. Syst., 2020
Int. J. Control, 2020
Proceedings of the 2020 American Control Conference, 2020
2019
Failsafe Mechanism Design for Autonomous Aerial Refueling using State Tree Structures.
Unmanned Syst., 2019
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
Priority-free conditionally-preemptive scheduling of modular sporadic real-time systems.
Autom., 2018
Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates.
Autom., 2018
Annu. Rev. Control., 2018
IEEE Access, 2018
Proceedings of the 57th IEEE Conference on Decision and Control, 2018
Proceedings of the 57th IEEE Conference on Decision and Control, 2018
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
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
CoRR, 2017
Autom., 2017
Proceedings of the 14th International Conference on Electrical Engineering, 2017
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
IEEE Trans. Autom. Control., 2016
Delay-robustness in distributed control of timed discrete-event systems based on supervisor localisation.
Int. J. Control, 2016
Discret. Event Dyn. Syst., 2016
Relative Coobservability in Decentralized Supervisory Control of Discrete-Event Systems.
CoRR, 2016
Proceedings of the 13th International Workshop on Discrete Event Systems, 2016
2015
Proceedings of the Encyclopedia of Systems and Control, 2015
IEEE Trans. Autom. Control., 2015
Discret. Event Dyn. Syst., 2015
Proceedings of the American Control Conference, 2015
2014
IEEE Trans. Autom. Control., 2014
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
Int. J. Control, 2013
Delay-Robustness for Localization-Based Distributed Control of Timed Discrete-Event Systems.
CoRR, 2013
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013
Proceedings of the American Control Conference, 2013
2012
CoRR, 2012
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
Discret. Event Dyn. Syst., 2010
2009
Proceedings of the 48th IEEE Conference on Decision and Control, 2009
2008
IEEE Trans. Autom. Control., 2008
Proceedings of the American Control Conference, 2008
2007
Syst. Control. Lett., 2007
Formal Methods Syst. Des., 2007
Proceedings of the 46th IEEE Conference on Decision and Control, 2007
Proceedings of the American Control Conference, 2007
2006
IEEE Trans. Autom. Control., 2006
Discret. Event Dyn. Syst., 2006
Timed discrete-event system supervisory control for under-load tap-changing transformers.
Proceedings of the ICINCO 2006, 2006
2005
IEEE Trans. Autom. Control., 2005
Global and local consistencies in distributed fault diagnosis for discrete-event systems.
IEEE Trans. Autom. Control., 2005
IEEE Trans. Autom. Control., 2005
IEEE Trans. Autom. Control., 2005
IEEE Trans. Autom. Control., 2005
IEEE Trans. Autom. Control., 2005
IEEE Trans. Autom. Control., 2005
Syst. Control. Lett., 2005
Discret. Event Dyn. Syst., 2005
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
Discret. Event Dyn. Syst., 2004
Proceedings of the 43rd IEEE Conference on Decision and Control, 2004
2003
IEEE Trans. Autom. Control., 2003
IEEE Trans. Autom. Control., 2003
Proceedings of the IEEE International Conference on Systems, 2003
Proceedings of the American Control Conference, 2003
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
Proceedings of the 41st IEEE Conference on Decision and Control, 2002
Proceedings of the 41st IEEE Conference on Decision and Control, 2002
Proceedings of the 2002 IEEE International Symposium on Intelligent Control, 2002
2001
Proceedings of the 40th IEEE Conference on Decision and Control, 2001
2000
IEEE Trans. Syst. Man Cybern. Part B, 2000
1998
Discret. Event Dyn. Syst., 1998
1996
Discret. Event Dyn. Syst., 1996
Model Reduction of Modules for State-Even Temporal Logics.
Proceedings of the Formal Description Techniques IX: Theory, 1996
1995
IEEE Trans. Autom. Control., 1995
IEEE Trans. Autom. Control., 1995
IEEE Trans. Autom. Control., 1995
1994
IEEE Trans. Autom. Control., 1994
IEEE Trans. Autom. Control., 1994
1993
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
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
1988
Math. Control. Signals Syst., 1988
1987
Modelling, Specifying, and Verifying Real-Time Embedded Computer Systems.
Proceedings of the 8th IEEE Real-Time Systems Symposium (RTSS '87), 1987
1984
1979
Autom., 1979
1976
1972
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