John G. Thistle

According to our database, John G. Thistle authored at least 23 papers between 1991 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Kalman Filter Based Secure State Estimation and Individual Attacked Sensor Detection in Cyber-Physical Systems.

Mohammad Hossein Basiri, John G. Thistle, John W. Simpson-Porco, Sebastian Fischmeister

Proceedings of the 2019 American Control Conference, 2019

2017

Deadlock Analysis of Parameterized-Chain Networks.

Mohammad Hadi Zibaeenejad, John G. Thistle

IEEE Trans. Autom. Control., 2017

2016

Study of Parameterized-Chain networks.

Mohammad Hadi Zibaeenejad, John G. Thistle

CoRR, 2016

Graph transformation as a modelling framework for supervisory control.

Jeremie Benhamron, John G. Thistle

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

2015

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

Mohammad Hadi Zibaeenejad, John G. Thistle

Proceedings of the American Control Conference, 2015

2014

Weak Invariant Simulation and Its Application to Analysis of Parameterized Networks.

Mohammad Hadi Zibaeenejad, John G. Thistle

IEEE Trans. Autom. Control., 2014

Deadlock Analysis of Generalized Parameterized Discrete Event Systems.

Mohammad Hadi Zibaeenejad, John G. Thistle

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

2013

Weak invariant simulation: Properties and algorithms.

Mohammad Hadi Zibaeenejad, John G. Thistle

Proceedings of the American Control Conference, 2013

2012

Blocking in Fully Connected Networks of Arbitrary Size.

Siamak Nazari, John G. Thistle

IEEE Trans. Autom. Control., 2012

Invariant weak simulation and analysis of parameterized networks.

Mohammad Hadi Zibaeenejad, John G. Thistle

Proceedings of the American Control Conference, 2012

2009

Effective Control Synthesis for Partially Observed Discrete-Event Systems.

John G. Thistle, H. M. Lamouchi

SIAM J. Control. Optim., 2009

2007

On Effective Computation of Supremal Local Supports.

John G. Thistle, Rong Su

IEEE Trans. Autom. Control., 2007

Structural Conditions for Model-checking of Parameterized Networks.

Siamak Nazari, John G. Thistle

Proceedings of the Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 2007

Blocking in Parameterized Networks of Discrete-Event-Systems.

Siamak Nazari, John G. Thistle

Proceedings of the American Control Conference, 2007

2005

Undecidability in decentralized supervision.

John G. Thistle

Syst. Control. Lett., 2005

Uncomputability of Supremal Local Supports in Distributed Diagnosis.

John G. Thistle, Rong Su

Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

Analysis of Arbitrarily Large Networks of Discrete-Event Systems.

John G. Thistle, Siamak Nazari

Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

2004

Synthesis of Supervisory Controls for Discrete Event Systems.

John G. Thistle

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

2000

Supervisory Control of Distributed Systems: Conflict Resolution.

K. C. Wong, John G. Thistle, Roland P. Malhamé, Hai Hoc Hoang

Discret. Event Dyn. Syst., 2000

Effective control synthesis for DES under partial observations.

Hichem Lamouchi, John G. Thistle

Proceedings of the 39th IEEE Conference on Decision and Control, 2000

1997

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

John G. Thistle, Roland P. Malhamé, Hai Hoc Hoang, Stéphane Lafortune

Proceedings of the Feature Interactions in Telecommunications Networks IV, 1997

1995

On control of systems modelled as deterministic Rabin automata.

John G. Thistle

Discret. Event Dyn. Syst., 1995

1991

Control of omega-Automata, Church's Problem, and the Emptiness Problem for Tree omega-Automata.

John G. Thistle, Walter Murray Wonham

Proceedings of the Computer Science Logic, 5th Workshop, 1991