Zuohua Ding

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Reachable set estimation and safety verification of nonlinear systems via iterative sums of squares programming Journal of Systems Science and Complexity	2022-08-19	Paper
Novel self-adjusted particle swarm optimization algorithm for feature selection Computing	2021-08-20	Paper
A distributed method to avoid higher-order deadlocks in multi-robot systems Automatica	2020-01-20	Paper
A distributed approach to robust control of multi-robot systems Automatica	2019-02-05	Paper
Safety verification of interconnected hybrid systems using barrier certificates Mathematical Problems in Engineering	2018-10-12	Paper
Performance analysis of rule-based fuzzy system based on fuzzy differential equations Advances in Intelligent Systems and Computing	2017-02-21	Paper
Computing software reliability based on program invariants	2016-08-10	Paper
Hypergraph partitioning for the parallel computing of fuzzy differential equations Fuzzy Sets and Systems	2015-06-23	Paper
A rigorous model of service component architecture Electronic Notes in Theoretical Computer Science	2014-01-24	Paper
Checking system boundedness using ordinary differential equations Information Sciences	2012-10-10	Paper
Static Analysis of Concurrent Programs Using Ordinary Differential Equations Theoretical Aspects of Computing - ICTAC 2009	2009-08-20	Paper
scientific article; zbMATH DE number 1549743 (Why is no real title available?)	2001-01-09	Paper
scientific article; zbMATH DE number 1549723 (Why is no real title available?)	2001-01-09	Paper
scientific article; zbMATH DE number 1549745 (Why is no real title available?)	2001-01-09	Paper
scientific article; zbMATH DE number 1424839 (Why is no real title available?)	2000-03-26	Paper
scientific article; zbMATH DE number 500390 (Why is no real title available?)	1994-02-24	Paper
scientific article; zbMATH DE number 24469 (Why is no real title available?)	1992-06-26	Paper

Research outcomes over time

This page was built for person: Zuohua Ding