We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Dynamical Systems

Title: Behavioural assume-guarantee contracts for linear dynamical systems

Abstract: Motivated by the growing requirements on the operation of complex engineering systems, we present contracts as specifications for continuous-time linear dynamical systems with inputs and outputs. A contract is defined as a pair of assumptions and guarantees, both characterized in a behavioural framework. The assumptions encapsulate the available information about the dynamic behaviour of the environment in which the system is supposed to operate, while the guarantees express the desired dynamic behaviour of the system when interconnected with relevant environments. In addition to defining contracts, we characterize contract implementation, and we find necessary conditions for the existence of an implementation. We also characterize contract refinement, which is used to characterize contract conjunction in two special cases. These concepts are then illustrated by an example of a vehicle following system.
Subjects: Dynamical Systems (math.DS)
Cite as: arXiv:2109.07974 [math.DS]
  (or arXiv:2109.07974v1 [math.DS] for this version)

Submission history

From: Brayan M. Shali [view email]
[v1] Thu, 16 Sep 2021 13:33:32 GMT (113kb,D)

Link back to: arXiv, form interface, contact.