Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

The Center for Control, Dynamical Systems, and Computation Spring Seminars

Summary: The Center for Control, Dynamical Systems, and Computation
Spring Seminars
Knowledge is a Terrible Thing to Waste:
Using Formal Reasoning about Knowledge
and Inference in Discrete-Event Control
Professor Karen Rudie
Department of Electrical and Computer Engineering
Queen's University
Kingston, Ontario
Friday, May 19th, 2006 3:00 - 4:00 PM Engineering II Pavilion
Discrete-event systems are processes whose behaviour can be characterized by sequences of events and can
be represented by finite-state automata or directed graphs. Control problems arise because the systems can
generate undesirable sequences. Work in this area typically addresses when it is possible to derive agents
that can prohibit bad sequences. These problems are more difficult computationally if they must be solved
using decentralized control, where each agent has only a partial view of overall system behaviour. Recently,
a mathematical theory of knowledge, as developed by Halpern & Moses, has been used to model distributed
systems. This theory provides a formal way to reason about what processes "know". The model is based on a


Source: Akhmedov, Azer - Department of Mathematics, University of California at Santa Barbara


Collections: Mathematics