Richard Eanno pronouns
Author pages are created from data sourced from our academic publisher partnerships and public sources.
Share This Author
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.
Communication-Free Multi-Agent Coordination in an Unknown Environment
A Visualization of Inference-Based Supervisory Control in Discrete-Event Systems
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.