# John G. Thistle

According to our database

^{1}, John G. Thistle## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2017

Deadlock Analysis of Parameterized-Chain Networks.

IEEE Trans. Automat. Contr., 2017

2016

Study of Parameterized-Chain networks.

CoRR, 2016

Graph transformation as a modelling framework for supervisory control.

Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

2015

Dependency graph: An algorithm for analysis of generalized parameterized networks.

Proceedings of the American Control Conference, 2015

2014

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

2013

Weak invariant simulation: Properties and algorithms.

Proceedings of the American Control Conference, 2013

2012

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

2009

Effective Control Synthesis for Partially Observed Discrete-Event Systems.

SIAM J. Control and Optimization, 2009

2007

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

2005

Undecidability in decentralized supervision.

Systems & Control Letters, 2005

2004

Synthesis of Supervisory Controls for Discrete Event Systems.

Proceedings of the 4th International Conference on Application of Concurrency to System Design (ACSD 2004), 2004

2000

Supervisory Control of Distributed Systems: Conflict Resolution.

Discrete Event Dynamic Systems, 2000

1997

Feature Interaction Modelling, Detection and Resolution: A Supervisory Control Approach.

Proceedings of the Feature Interactions in Telecommunications Networks IV, 1997

1995

On control of systems modelled as deterministic Rabin automata.

Discrete Event Dynamic Systems, 1995

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