Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

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

Summary: The Center for Control, Dynamical Systems, and Computation
Spring Seminars
Presents
Knowledge is a Terrible Thing to Waste:
Using Formal Reasoning about Knowledge
and Inference in Discrete-Event Control
by
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
Abstract:
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