Invariant Sets for Assume-Guarantee Contracts

Autor: Girard, Antoine, Iovine, Alessio, Benberkane, Sofiane

Publikováno v: IEEE Conference on Decision and Control
61st IEEE Conference on Decision and Control 2022
61st IEEE Conference on Decision and Control 2022, Dec 2022, Cancun, Mexico

International audience; Contract theory is a powerful tool to reason on systems that are interacting with an external environment, possibly made of other systems. Formally, a contract is usually given by assumptions and guarantees, which specify the

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::aa178b39f5d389ddb185dbeb0ced4f71
https://hal.science/hal-03767014/document