Know means no: Incorporating knowledge into discrete-event control systems
From MaRDI portal
Publication:2730222
DOI10.1109/9.880616zbMath0988.93055OpenAlexW2156444206MaRDI QIDQ2730222
Publication date: 5 August 2001
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://ir.cwi.nl/pub/1163
Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Discrete event control/observation systems (93C65)
Related Items (16)
What Is Distributed Control with Direct Communication Between Controllers? ⋮ Distributed State Estimation with Communication of Observations ⋮ Online minimization of sensor activation for supervisory control ⋮ Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication ⋮ Do what you know: coupling knowledge with action in discrete-event systems ⋮ Supervisory control and reactive synthesis: a comparative introduction ⋮ Distributed state estimation with communication of observations ⋮ Priority scheduling of distributed systems based on model checking ⋮ Achieving distributed control through model checking ⋮ Building distributed controllers for systems with priorities ⋮ Knowledge Based Scheduling of Distributed Systems ⋮ PSPACE-completeness of modular supervisory control problems ⋮ A Summary of Some Discrete-Event System Control Problems ⋮ An Overview of Synchronous Communication for Control of Decentralized Discrete-Event Systems ⋮ Epistemic interpretations of decentralized discrete-event system problems ⋮ Coordination control of discrete-event systems revisited
This page was built for publication: Know means no: Incorporating knowledge into discrete-event control systems
