Assume-Guarantee Approach to Distributed Control of Interconnected Systems

  • Mohammad M. Albeaik

Student thesis: Master's Thesis


Safety concerns have been keeping autonomous vehicles off the roads for decades, although the main drivers for introducing some autonomy are to increase safety, reduce congestion, and greenhouse gas emissions. Safety is a vast topic that includes the safety of the system alone, known as string stability, and the safety of the system on public roads. This thesis provides experimental validation of the string stability of the Assume-Guarantee approach. This approach suggests that each agent models the interactions with neighbors as bounded disturbances while simultaneously self-imposing symmetric magnitude bounds. Two main controllers were tested in an indoor lab set-up: decentralized platooning and decentralized cooperative adaptive cruise controllers. First, we tested three versions of the platooning controller whose objective is to maintain a constant spacing. They differ in the assumptions and guarantees. We observed a robust performance with relaxed bounds and some violations as the bounds become tighter and tighter. Second, we modified and transformed the platoon model into cooperative adaptive cruise control (CACC). Unlike the platoon controller, the cooperative adaptive cruise controller keeps the time gap constant. Two experiments were conducted at different velocities to evaluate the limitation of the controller. The results show a stable and smooth performance.
Date of AwardApr 2020
Original languageEnglish (US)
Awarding Institution
  • Physical Sciences and Engineering
SupervisorJeff Shamma (Supervisor)


  • invariant system
  • vehicle platoons
  • cooperative adaptive cruise control

Cite this