Richard Ean
no pronouns

Queen's University
0000-0003-3713-5964
https://richardyan.site
Publications5
h-index0
Citations0
Highly Influential Citations0
Author pages are created from data sourced from our academic publisher partnerships and public sources.

Recommended Authors

  • K. Rudie
  • 103 Publications • 2,026 Citations
  • S. Lafortune
  • 413 Publications • 17,331 Citations
  • S. Tripakis
  • 241 Publications • 7,717 Citations
  • W. Wonham
  • 322 Publications • 29,915 Citations
  • Publications
  • Influence
A correspondence between control and observation problems in decentralized discrete-event systems
TLDR
A correspondence between control problems (with partial observation) and observation problems in decentralized discrete-event sys- tems is demonstrated, namely, the two classes of problems are Turing equivalent, as one class Turing reduces to the other.
Do What You Know: Coupling Knowledge with Action in Discrete-Event Systems
TLDR
An epistemic model for decentralized discrete-event systems with non-binary control with a direct coupling between knowledge and action makes it easier, when the problem conditions fail, to determine how the problem requirements should be revised.
Communication-Free Multi-Agent Coordination in an Unknown Environment
A Visualization of Inference-Based Supervisory Control in Discrete-Event Systems
  • Richard Ean, K. Rudie
  • Mathematics
    60th IEEE Conference on Decision and Control (CDC…
  • 14 December 2021
A visualization to aid in the construction of inference-based decentralized supervisors is presented. In the inference-based architecture, supervisors have different levels of ambiguity, which…
A Framework for the High-Level Specification and Verification of Synchronous Digital Logic Systems
TLDR
The automaton model, encoded as the similarity of closed-loop systems in terms of the set of computations performed, is shown to be decidable in the specification of finite-state synchronous digital logic systems with complex input/output interfaces.