Pages that link to "Item:Q2665717"
From MaRDI portal
The following pages link to Assume-guarantee contracts for continuous-time systems (Q2665717):
Displaying 5 items.
- Compositional analysis for linear systems (Q609530) (← links)
- Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects (Q633299) (← links)
- Compositional synthesis for linear systems via convex optimization of assume-guarantee contracts (Q6605961) (← links)
- A contract negotiation scheme for safety verification of interconnected systems (Q6652205) (← links)
- Sufficient conditions for robust safety in differential inclusions using barrier functions (Q6659220) (← links)