Pages that link to "Item:Q5307453"
From MaRDI portal
The following pages link to Hybrid Systems: Computation and Control (Q5307453):
Displaying 7 items.
- Computing reachable states for nonlinear biological models (Q533351) (← links)
- Hybridization methods for the analysis of nonlinear systems (Q868432) (← links)
- Change-of-bases abstractions for non-linear hybrid systems (Q901261) (← links)
- Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version) (Q2105418) (← links)
- Finite abstraction of mixed monotone systems with discrete and continuous inputs (Q2374568) (← links)
- Hybrid abstractions of affine systems (Q2496812) (← links)
- Verification of Hybrid Systems (Q3176388) (← links)