John G. Thistle

According to our database1, John G. Thistle
  • authored at least 18 papers between 1991 and 2017.
  • has a "Dijkstra number"2 of five.

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


  Loading...