Pages that link to "Item:Q900650"
From MaRDI portal
The following pages link to Compositional performance certification of interconnected systems using ADMM (Q900650):
Displaying 3 items.
- Compositional performance certification of interconnected systems using ADMM (Q900650) (← links)
- Networks of Dissipative Systems (Q2799496) (← links)
- Compositional synthesis of control barrier certificates for networks of stochastic systems against \(\omega\)-regular specifications (Q6122791) (← links)