Reasoning about Graphs with Application to Temporal and Spatial Reasoning

Researchers from Israel:

Claudia Goldman-Shenhar, Martin C. Golumbic, Marina Lipshteyn, Shimon Shrem, Michal Stern

This project deals with applications to decentralized control, where processes lack a global view of the system state, and none can centrally control the global behavior. For example, time and spatial constraints may prevent agents acting locally from continuously sharing information although cooperation may improve their group performance. Another example consists of a network of cameras that need to decide how to position themselves next to best monitor a situation when none of them can, alone, see the global scene. Effectively controlling networks or ubiquitous systems and planning for successfully performing operations are among other challenging areas for which the study of decentralized control is essential.