Pages that link to "Item:Q2982729"
From MaRDI portal
The following pages link to A Dissipativity Approach to Safety Verification for Interconnected Systems (Q2982729):
Displaying 10 items.
- Compositional performance certification of interconnected systems using ADMM (Q900650) (← links)
- Vector incremental \(L_2\)-gain and incremental stability for switched nonlinear systems (Q1738625) (← links)
- Safety verification of interconnected hybrid systems using barrier certificates (Q1793125) (← links)
- Exponential quasi-dissipativity and boundedness property for switched nonlinear systems (Q2061264) (← links)
- Safety stabilization of switched systems with unstable subsystems (Q2082769) (← links)
- Small-gain theorem for safety verification of interconnected systems (Q2116647) (← links)
- Global dissipativity analysis for delayed quaternion-valued neural networks (Q2181046) (← links)
- Assume-guarantee contracts for continuous-time systems (Q2665717) (← links)
- Almost dissipativity and ultimate boundedness property for switched nonlinear systems (Q5043486) (← links)
- Robust exponential quasi‐passivity and global stabilization for uncertain switched nonlinear systems (Q6061310) (← links)
