John G. Thistle
According to our database1, John G. Thistle
Legend:Book In proceedings Article PhD thesis Other
Deadlock Analysis of Parameterized-Chain Networks.
IEEE Trans. Automat. Contr., 2017
Study of Parameterized-Chain networks.
Graph transformation as a modelling framework for supervisory control.
Proceedings of the 13th International Workshop on Discrete Event Systems, 2016
Dependency graph: An algorithm for analysis of generalized parameterized networks.
Proceedings of the American Control Conference, 2015
Weak Invariant Simulation and Its Application to Analysis of Parameterized Networks.
IEEE Trans. Automat. Contr., 2014
Deadlock Analysis of Generalized Parameterized Discrete Event Systems.
Proceedings of the 12th International Workshop on Discrete Event Systems, 2014
Weak invariant simulation: Properties and algorithms.
Proceedings of the American Control Conference, 2013
Blocking in Fully Connected Networks of Arbitrary Size.
IEEE Trans. Automat. Contr., 2012
Invariant weak simulation and analysis of parameterized networks.
Proceedings of the American Control Conference, 2012
Effective Control Synthesis for Partially Observed Discrete-Event Systems.
SIAM J. Control and Optimization, 2009
On Effective Computation of Supremal Local Supports.
IEEE Trans. Automat. Contr., 2007
Structural Conditions for Model-checking of Parameterized Networks.
Proceedings of the Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 2007
Undecidability in decentralized supervision.
Systems & Control Letters, 2005
Synthesis of Supervisory Controls for Discrete Event Systems.
Proceedings of the 4th International Conference on Application of Concurrency to System Design (ACSD 2004), 2004
Supervisory Control of Distributed Systems: Conflict Resolution.
Discrete Event Dynamic Systems, 2000
Feature Interaction Modelling, Detection and Resolution: A Supervisory Control Approach.
Proceedings of the Feature Interactions in Telecommunications Networks IV, 1997
On control of systems modelled as deterministic Rabin automata.
Discrete Event Dynamic Systems, 1995
Control of omega-Automata, Church's Problem, and the Emptiness Problem for Tree omega-Automata.
Proceedings of the Computer Science Logic, 5th Workshop, 1991