Contract composition for dynamical control systems: Definition and verification using linear programming

Miel Sharf*, Bart Besselink, Karl Henrik Johansson

*Corresponding author for this work

Research output: Contribution to journalArticleAcademicpeer-review

11 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Contract composition for dynamical control systems: Definition and verification using linear programming'. Together they form a unique fingerprint.

Engineering

Computer Science

Keyphrases