Composition of Behavioural Assume–Guarantee Contracts

DOI10.1109/TAC.2022.3233290MaRDI QIDQ6184425zbMATH OpenFDO

Authors Arjan van der Schaft, Bart Besselink

Publication date 25 January 2024

Published in IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/TAC.2022.3233290

zbMATH Keywords

model predictive control (MPC)stability of nonlinear systemsstochastic optimal controlstochastic systems

Mathematics Subject Classification ID

Systems theory; control (93-XX)

Cited in

(1)

• A contract negotiation scheme for safety verification of interconnected systems

This page was built for publication: Composition of Behavioural Assume–Guarantee Contracts

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6184425)