Many techniques for verifying properties of continuous-time systems are limited to systems of
moderate size. In this paper, we propose an approach based on assume-guarantee …

We develop an assume-guarantee framework for control of large scale linear (time-varying)
systems from finite-time reach and avoid or infinite-time invariance specifications. The …

The growing complexity of modern engineering systems necessitates a method for design
and analysis that is inherently modular. Methods based on using contracts for system design …

We present assume-guarantee contracts for continuous-time linear dynamical systems with
inputs and outputs. These contracts are used to express specifications on the dynamic …

We present a modular approach to\emph {reinforcement learning}(RL) in environments
consisting of simpler components evolving in parallel. A monolithic view of such modular …

This thesis focus on the development of compositional and efficient controller synthesis
approaches for cyber-physical systems (CPS). Indeed, while model-based techniques for …

We introduce contracts for linear dynamical systems with inputs and outputs. Contracts are
used to express formal specifications on the dynamic behaviour of such systems through two …

Motivated by the growing requirements on the operation of complex engineering systems,
we present contracts as specifications for continuous-time linear dynamical systems with …

This paper proposes a (control) barrier function synthesis and safety verification scheme for
interconnected nonlinear systems based on assume-guarantee contracts (AGC) and sum-of …

Designing large-scale control systems to satisfy complex specifications is hard in practice,
as most formal methods are limited to systems of modest size. Contract theory has been …