Pages that link to "Item:Q1793125"
From MaRDI portal
The following pages link to Safety verification of interconnected hybrid systems using barrier certificates (Q1793125):
Displaying 8 items.
- Safety verification for distributed parameter systems using barrier functionals (Q1678571) (← links)
- Small-gain theorem for safety verification of interconnected systems (Q2116647) (← links)
- An efficient framework for barrier certificate generation of uncertain nonlinear hybrid systems (Q2178193) (← links)
- Compositional safety analysis using barrier certificates (Q2986748) (← links)
- Converse Theorems for Safety and Barrier Certificates (Q4682313) (← links)
- Hybrid Systems: Computation and Control (Q5307944) (← links)
- Hybrid Systems: Computation and Control (Q5703931) (← links)
- Hybrid Systems: Computation and Control (Q5703951) (← links)