Abstract— We introduce a dynamic battery model that describes the variations of the capacity of a battery under time varying discharge current. This model is input-output equival...
Because irregular applications have unpredictable memory access patterns, their performance is dominated by memory behavior. The Impulse con gurable memory controller will enable s...
John B. Carter, Wilson C. Hsieh, Mark R. Swanson, ...
E cient automatic model-checking algorithms for real-time systems have been obtained in recent years based on the state-region graph technique of Alur, Courcoubetis and Dill. Howe...
This paper addresses a collective motion problem for a multi-agent system composed of nonholonomic vehicles. The aim of the vehicles is to achieve circular motion around a virtual...
Nicola Ceccarelli, Mauro Di Marco, Andrea Garulli,...
We study linear anti-windup augmentation for linear control systems with saturated linear plants in the special case when the anti-windup compensator can only modify the input and...