• Publications
  • Influence
A correspondence between control and observation problems in decentralized discrete-event systems
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
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.
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
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.