Sciweavers

15840 search results - page 813 / 3168
» The Control of Synchronous Systems
Sort
View
CDC
2009
IEEE
131views Control Systems» more  CDC 2009»
16 years 10 days ago
Optimal and adaptive battery discharge strategies for Cyber-Physical Systems
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...
Fumin Zhang, Zhenwu Shi
LCR
1998
Springer
111views System Software» more  LCR 1998»
15 years 11 months ago
Memory System Support for Irregular Applications
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, ...
RTSS
1995
IEEE
15 years 11 months ago
Compositional and Symbolic Model-Checking of Real-Time Systems
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...
Kim Guldstrand Larsen, Paul Pettersson, Wang Yi
AUTOMATICA
2008
90views more  AUTOMATICA 2008»
15 years 7 months ago
Collective circular motion of multi-vehicle systems
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,...
AUTOMATICA
2004
64views more  AUTOMATICA 2004»
15 years 7 months ago
Linear LMI-based external anti-windup augmentation for stable linear systems
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...
Gene Grimm, Andrew R. Teel, Luca Zaccarian