output
20092026
most citedMulti-Agent Distributed Optimization via Inexact Consensus ADMM

464 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing 2011Show all

2 papers · 1 filter

cs.SE2011★ 2 cited

Exact Safety Verification of Hybrid Systems Using Sums-Of-Squares Representation

Wang Lin, Min Wu, Zhengfeng Yang +1

In this paper we discuss how to generate inductive invariants for safety verification of hybrid systems. A hybrid symbolic-numeric method is presented to compute inequality inducti…

cs.SC2011

Generating Loop Invariants by Computing Vanishing Ideals of Sample Points

Bin Wu, Liyong Shen, Min Wu +2

Loop invariants play a very important role in proving correctness of programs. In this paper, we address the problem of generating invariants of polynomial loop programs. We presen…