2 papers
eess.SY2026
Structural Methods for handling mode changes in multimode DAE systems
Albert Benveniste, Benoit Caillaud, Yahao Chen +2
Hybrid systems are an important concept in Cyber-Physical Systems modeling, for which multiphysics modeling from first principles and the reuse of models from libraries are key. To…
cs.LO2023
Some Algebraic Aspects of Assume-Guarantee Reasoning
Inigo Incer, Albert Benveniste, Alberto Sangiovanni-Vincentelli
We present the algebra of assume-guarantee (AG) contracts. We define contracts, provide new as well as known operations, and show how these operations are related. Contracts are fu…