Pages that link to "Item:Q2986767"
From MaRDI portal
The following pages link to Pre-orders for reasoning about stability (Q2986767):
Displaying 5 items.
- Change-of-bases abstractions for non-linear hybrid systems (Q901261) (← links)
- Simulations and bisimulations for analysis of stability with respect to inputs of hybrid systems (Q1790657) (← links)
- Hybrid Tools for Hybrid Systems – Proving Stability and Safety at Once (Q2945598) (← links)
- Abstractions of Varying Decentralization Degree for Reachability of Coupled Multiagent Systems (Q5238255) (← links)
- Simulation Relations and Controllability Properties of Linear and Nonlinear Control Systems (Q5254883) (← links)