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 MoreMetadata
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.
Published in: 2015 54th IEEE Conference on Decision and Control (CDC)
Date of Conference: 15-18 December 2015
Date Added to IEEE Xplore: 11 February 2016
ISBN Information: