Sciweavers

1495 search results - page 43 / 299
» Modeling and controllability for a class of hybrid mechanica...
Sort
View
IMAMCI
2008
69views more  IMAMCI 2008»
13 years 8 months ago
Gain reduction in switched sliding-mode control
: A switched sliding mode control strategy for a class of nonlinear uncertain systems is presented in this paper. It is characterized by an event
Antonella Ferrara, Riccardo Scattolini
INFOCOM
2006
IEEE
14 years 2 months ago
On Hybrid Collision Control for IEEE 802.11 Ad-Hoc Networks
— We present in this work a new mechanism based on an innovative hybrid approach for traffic and collision control in wireless ad hoc networks. We combine the well known equatio...
Hicham Khalife
ICDE
2010
IEEE
178views Database» more  ICDE 2010»
13 years 9 months ago
Autonomic workload execution control using throttling
— Database Management Systems (DBMSs) are often required to simultaneously process multiple diverse workloads while enforcing business policies that govern workload performance. ...
Wendy Powley, Patrick Martin, Mingyi Zhang, Paul B...
FROCOS
2005
Springer
14 years 2 months ago
A Complete Temporal and Spatial Logic for Distributed Systems
Abstract. In this paper, we introduce a spatial and temporal logic for reasoning about distributed computation. The logic is a combination of an extension of hybrid logic, that all...
Dirk Pattinson, Bernhard Reus
CDC
2009
IEEE
114views Control Systems» more  CDC 2009»
14 years 1 months ago
A computable type theory for control systems
— In this paper, we develop a theory of computable types suitable for the study of control systems. The theory uses type-two effectivity as the underlying computational model, bu...
Pieter Collins