Skip to ContentSkip to Navigation
Over ons Praktische zaken Waar vindt u ons B.M. (Brayan) Shali, Dr

Publicaties

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

Lees meer