Epistemic interpretations of decentralized discrete-event system problems

DOI10.1007/s10626-022-00363-7zbMath1500.93066OpenAlexW4283256992MaRDI QIDQ2081081

Richard Ean, Karen Rudie

Publication date: 12 October 2022

Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10626-022-00363-7

zbMATH Keywords

supervisory controldiscrete-event systemsepistemic logic

Mathematics Subject Classification ID

Decentralized systems (93A14) Discrete event control/observation systems (93C65) Observability (93B07)

Related Items (1)

Do what you know: coupling knowledge with action in discrete-event systems

Uses Software

• UMDES

Cites Work

• Unnamed Item
• On observability of discrete-event systems
• A general architecture for decentralized supervisory control of discrete-event systems
• Supervisory control of discrete-event systems
• The infimal prefix-closed and observable superlanguage of a given language
• Know means no: Incorporating knowledge into discrete-event control systems
• Knowledge and common knowledge in a distributed environment
• Supervisory Control of a Class of Discrete Event Processes
• Supervisory control of discrete-event processes with partial observations
• Think globally, act locally: decentralized supervisory control
• Introduction to Discrete Event Systems
• Decentralized Supervisory Control With Conditional Decisions: Supervisor Existence
• Characterization of co-observable languages and formulas for their super/sublanguages
• Knowledge Is a Terrible Thing to Waste: Using Inference in Discrete-Event Control Problems
• Inference-Based Ambiguity Management in Decentralized Decision-Making: Decentralized Control of Discrete Event Systems
• A modified normality condition for decentralized supervisory control of discrete event systems

This page was built for publication: Epistemic interpretations of decentralized discrete-event system problems