Pages that link to "Item:Q988783"
From MaRDI portal
The following pages link to Computing reachable sets for uncertain nonlinear monotone systems (Q988783):
Displayed 9 items.
- Determination of inner and outer bounds of reachable sets through subpavings (Q475437) (← links)
- Event-based controller synthesis by bounding methods (Q522898) (← links)
- Shaping pulses to control bistable systems: analysis, computation and counterexamples (Q901208) (← links)
- Experiments-based parameter identification on the GPU for cooperative systems (Q2297122) (← links)
- Finite abstraction of mixed monotone systems with discrete and continuous inputs (Q2374568) (← links)
- Tight reachability bounds for constrained nonlinear systems using mean value differential inequalities (Q2665719) (← links)
- Interval observer design based on nonlinear hybridization and practical stability analysis (Q3008832) (← links)
- Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods (Q3095239) (← links)
- An algorithm for the formal reduction of differential equations as over-approximations (Q6160777) (← links)