Know means no: Incorporating knowledge into discrete-event control systems

DOI10.1109/9.880616zbMath0988.93055OpenAlexW2156444206MaRDI QIDQ2730222

S. Laurie Ricker, Karen Rudie

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

zbMATH Keywords

modal logicdiscrete-event systemsautomata

Mathematics Subject Classification ID

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