The Control and Veri£cation of Similar Agents Operating in a Broadcast Network Environment

Kurt Rohloff, Stéphane Lafortune

Research output: Contribution to journalConference articlepeer-review

17 Scopus citations

Abstract

We explore issues related to the control and verif£ication of similar agents that interact through events broadcast over a network. The similar agents are modeled as discrete-event systems that have identical structure. System events are partitioned into global and private events that respectively affect all agents or exactly one agent. We show how the state explosion problem inherent to many concurrent systems is not as problematic in this setting. We give a procedure to test if these systems are globally deadlock-free or nonblocking. We explore control and verification problems related to both local and global specifications on these systems. For each module there is exactly one controller and all controllers enforce the same control policy. Necessary and sufficient conditions for achieving local and global specifications in this setting are identified.

Original languageEnglish (US)
Pages (from-to)2673-2679
Number of pages7
JournalProceedings of the IEEE Conference on Decision and Control
Volume3
StatePublished - Dec 1 2003
Externally publishedYes
Event42nd IEEE Conference on Decision and Control - Maui, HI, United States
Duration: Dec 9 2003Dec 12 2003

All Science Journal Classification (ASJC) codes

  • Control and Systems Engineering
  • Modeling and Simulation
  • Control and Optimization

Fingerprint

Dive into the research topics of 'The Control and Veri£cation of Similar Agents Operating in a Broadcast Network Environment'. Together they form a unique fingerprint.

Cite this