Stochastic Assume-Guarantee Contracts for Cyber-Physical System Design Under Probabilistic Requirements

Jiwei Li, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli +2

We develop an assume-guarantee contract framework for the design of cyber-physical systems, modeled as closed-loop control systems, under probabilistic requirements. We use a varia…