The following pages link to (Q4329974):
Displaying 4 items.
- Synthesizing invariant barrier certificates via difference-of-convex programming (Q832194) (← links)
- Hybridization methods for the analysis of nonlinear systems (Q868432) (← links)
- Inclusion dynamics hybrid automata (Q999262) (← links)
- Special algorithm for stability analysis of multistable biological regulatory systems (Q2343243) (← links)