International audienceMany techniques for verifying invariance properties are limited to systems of moderate size. In this paper, we propose an approach based on assume-guarantee contracts and compositional reasoning for verifying invariance properties of a broad class of discrete-time and continuous-time systems consisting of interconnected components. The notion of assume-guarantee contracts makes it possible to divide responsibilities among the system components: a contract specifies an invariance property that a component must fulfill under some assumptions on the behavior of its environment (i.e. of the other components). We define weak and strong semantics of assume-guarantee contracts for both discrete-time and continuous-time system...
International audienceContract theory is a powerful tool to reason on systems that are interacting w...
International audienceContract theory is a powerful tool to reason on systems that are interacting w...
International audienceContract theory is a powerful tool to reason on systems that are interacting w...
International audienceMany techniques for verifying invariance properties are limited to systems of ...
International audienceMany techniques for verifying invariance properties are limited to systems of ...
International audienceMany techniques for verifying invariance properties are limited to systems of ...
Many techniques for verifying properties for discrete or continuous-time systems are limited to syst...
International audienceMany techniques for verifying properties of continuous-time systems are limite...
International audienceMany techniques for verifying properties of continuous-time systems are limite...
International audienceMany techniques for verifying properties of continuous-time systems are limite...
International audienceMany techniques for verifying properties of continuous-time systems are limite...
International audienceMany techniques for verifying properties of continuous-time systems are limite...
International audienceMany techniques for verifying properties of continuous-time systems are limite...
International audienceMany techniques for verifying invariance properties are limited to systems of ...
International audienceContract theory is a powerful tool to reason on systems that are interacting w...
International audienceContract theory is a powerful tool to reason on systems that are interacting w...
International audienceContract theory is a powerful tool to reason on systems that are interacting w...
International audienceContract theory is a powerful tool to reason on systems that are interacting w...
International audienceMany techniques for verifying invariance properties are limited to systems of ...
International audienceMany techniques for verifying invariance properties are limited to systems of ...
International audienceMany techniques for verifying invariance properties are limited to systems of ...
Many techniques for verifying properties for discrete or continuous-time systems are limited to syst...
International audienceMany techniques for verifying properties of continuous-time systems are limite...
International audienceMany techniques for verifying properties of continuous-time systems are limite...
International audienceMany techniques for verifying properties of continuous-time systems are limite...
International audienceMany techniques for verifying properties of continuous-time systems are limite...
International audienceMany techniques for verifying properties of continuous-time systems are limite...
International audienceMany techniques for verifying properties of continuous-time systems are limite...
International audienceMany techniques for verifying invariance properties are limited to systems of ...
International audienceContract theory is a powerful tool to reason on systems that are interacting w...
International audienceContract theory is a powerful tool to reason on systems that are interacting w...
International audienceContract theory is a powerful tool to reason on systems that are interacting w...
International audienceContract theory is a powerful tool to reason on systems that are interacting w...