Skip to ContentSkip to Navigation
About us Practical matters How to find us B.M. (Brayan) Shali

Publications

Composition of behavioural assume-guarantee contracts

Contract theory for linear control systems

Behavioural assume-guarantee contracts for linear dynamical systems

Scalable Controllability Analysis of Structured Networks

Series composition of simulation-based assume-guarantee contracts for linear dynamical systems

Behavioural contracts for linear dynamical systems: Input assumptions and output guarantees

Properties of Pattern Matrices With Applications to Structured Systems