127
click to vote
CDC
2015
IEEE
9 years 11 months ago
2015
IEEE
— Controllability metrics based on the controllability Gramian have been widely used in linear control theory, and have recently seen renewed interests in the study of complex ne...
134
click to vote
CDC
2015
IEEE
9 years 11 months ago
2015
IEEE
— Sum-of-squares (SOS) methods have been shown to be very useful in computing polynomial Lyapunov functions for systems of reasonably small size. However for large scale systems ...
143
click to vote
CDC
2015
IEEE
9 years 11 months ago
2015
IEEE
— We present a controller synthesis algorithm for reach-avoid problems for piecewise linear discrete-time systems. Our algorithm relies on SMT solvers and in this paper we focus ...
135
click to vote
CDC
2015
IEEE
9 years 11 months ago
2015
IEEE
Abstract— This paper proposes a velocity coordination protocol for the control of multiple unicycle agents, which aims to address two distinct scenarios in a unified manner. The...
146
click to vote
CDC
2015
IEEE
9 years 11 months ago
2015
IEEE
— We study two metrics in stochastic consensus dynamics with leaders or stubborn agents: network coherence (defined in terms of the system H2 and H∞ norms), and convergence ra...