Sciweavers

13717 search results - page 618 / 2744
» Control Systems
Sort
View
AUTOMATICA
2004
138views more  AUTOMATICA 2004»
15 years 7 months ago
Decentralized overlapping control of a formation of unmanned aerial vehicles
Decentralized overlapping feedback laws are designed for a formation of unmanned aerial vehicles. The dynamic model of the formation with an information structure constraint in wh...
Dusan M. Stipanovic, Gökhan Inalhan, Rodney T...
DMS
2010
123views Multimedia» more  DMS 2010»
15 years 5 months ago
SICSDA: an Adaptive Configurable Distributed Software Architecture Applied to Satellite Control Missions
This work was proposed as a Doctoral Thesis of Applied Computing Course at Brazilian National Institute for Space Research (INPE) and is a ongoing work. The main purpose of SICSDA ...
Adriana Cursino Thome, Maurício Gonç...
IJSEKE
2011
165views more  IJSEKE 2011»
14 years 10 months ago
Model Checking for Verification of Mandatory Access Control Models and Properties
rather wide gap in abstraction between policies and mechanisms. In this paper, we propose a general approach for property verification for MAC models. The approach defines a stan...
Vincent C. Hu, D. Richard Kuhn, Tao Xie, JeeHyun H...
CDC
2009
IEEE
108views Control Systems» more  CDC 2009»
15 years 12 months ago
Stability Overlay for linear and nonlinear time-varying plants
— This paper proposes a strategy referred to as Stability Overlay (SO) for linear and nonlinear time-varying plants, that provides input/output stability guarantees for a wide se...
Paulo Andre Nobre Rosa, Jeff S. Shamma, Carlos Sil...
MICRO
2005
IEEE
144views Hardware» more  MICRO 2005»
16 years 23 days ago
A Dynamic Compilation Framework for Controlling Microprocessor Energy and Performance
Dynamic voltage and frequency scaling (DVFS) is an effective technique for controlling microprocessor energy and performance. Existing DVFS techniques are primarily based on hardw...
Qiang Wu, Margaret Martonosi, Douglas W. Clark, Vi...