Pages that link to "Item:Q5898985"
From MaRDI portal
The following pages link to Hybrid Systems: Computation and Control (Q5898985):
Displaying 7 items.
- Reachability analysis of linear systems with stepwise constant inputs (Q271719) (← links)
- Understanding deadlock and livelock behaviors in hybrid control systems (Q924105) (← links)
- Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version) (Q2105418) (← links)
- Conservative time discretization: a comparative study (Q2165508) (← links)
- Computational techniques for reachability analysis of Max-Plus-Linear systems (Q2409446) (← links)
- Approximate bisimulation relations for constrained linear systems (Q2467487) (← links)
- Reachability of weakly nonlinear systems using Carleman linearization (Q2695489) (← links)
