— Differential Evolution (DE) is well known as a simple and efficient algorithm for global optimization over continuous spaces. This article provides a simple mathematical model ...
— We develop a switched cooperative control scheme, to coordinate groups of ground and aerial vehicles for the purpose of locating a moving target in a given area. We do so by st...
Abstract- The complexity of the static scheduling problem on heterogeneous resources has motivated the development of low complexity heuristics such as list scheduling. However, th...
Abstract. Symbolic model checking provides partially effective verification procedures that can handle systems with an infinite state space. So-called “acceleration techniques...
Abstract. In this paper, dimensionality reduction via matrix factorization with nonnegativity constraints is studied. Because of these constraints, it stands apart from other linea...