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

Publications

Composition of behavioural assume-guarantee contracts

Contract theory for linear control systems

Scalable Controllability Analysis of Structured Networks

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

Behavioural 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

Read more