The following pages link to Zuohua Ding (Q454906):
Displayed 17 items.
- Checking system boundedness using ordinary differential equations (Q454908) (← links)
- A distributed approach to robust control of multi-robot systems (Q1716560) (← links)
- Safety verification of interconnected hybrid systems using barrier certificates (Q1793125) (← links)
- Novel self-adjusted particle swarm optimization algorithm for feature selection (Q2047517) (← links)
- Reachable set estimation and safety verification of nonlinear systems via iterative sums of squares programming (Q2165452) (← links)
- A distributed method to avoid higher-order deadlocks in multi-robot systems (Q2288710) (← links)
- Hypergraph partitioning for the parallel computing of fuzzy differential equations (Q2351454) (← links)
- A Rigorous Model of Service Component Architecture (Q2873686) (← links)
- Performance Analysis of Rule-Based Fuzzy System Based on Fuzzy Differential Equations (Q2963736) (← links)
- (Q2993238) (← links)
- Static Analysis of Concurrent Programs Using Ordinary Differential Equations (Q3393397) (← links)
- (Q3982563) (← links)
- (Q4278935) (← links)
- (Q4523271) (← links)
- (Q4523294) (← links)
- (Q4523297) (← links)
- (Q4945861) (← links)