Loading [a11y]/accessibility-menu.js
On compositional symbolic controller synthesis inspired by small-gain theorems | IEEE Conference Publication | IEEE Xplore

On compositional symbolic controller synthesis inspired by small-gain theorems


Abstract:

In this paper, we present a compositional method for the synthesis of controllers enforcing persistency specifications. This method is inspired by two classes of composit...Show More

Abstract:

In this paper, we present a compositional method for the synthesis of controllers enforcing persistency specifications. This method is inspired by two classes of compositional techniques: small-gain theorems from the control literature; and assume-guarantee reasoning from the formal methods literature. We show that the method presented in this paper is strictly more general than a representative existing small-gain theorem.
Date of Conference: 15-18 December 2015
Date Added to IEEE Xplore: 11 February 2016
ISBN Information:
Conference Location: Osaka, Japan

Contact IEEE to Subscribe

References

References is not available for this document.