Πλοήγηση ανά Θέμα "Theorem proving"
Αποτελέσματα 1-7 από 7
-
Disturbance decoupling of singular systems via P-D feedback
(1999)The problem of disturbance decoupling of singular systems via proportional plus derivative (P-D) feedback is solved. The necessary and sufficient condition for the problem to be solvable is established as a rank condition ... -
End-to-end bandwidth guarantees through fair local spectrum share in wireless ad-hoc networks
(2003)Sharing the locally common spectrum among the links of the same vicinity is a fundamental problem in wire-less ad-hoc networks. Lately some scheduling approaches have been proposed that guarantee fair share of the bandwidth ... -
End-to-end bandwidth guarantees through fair local spectrum share in wireless ad-hoc networks
(2005)Sharing the common spectrum among the links in a vicinity is a fundamental problem in wireless ad-hoc networks. Lately, some scheduling approaches have been proposed that guarantee fair share of bandwidth among the links. ... -
Linear switched-capacitor circuit theorems
(2006)This paper presents an analysis approach of switched-capacitor circuits, using circuit theorems. It defines the concepts of phasor and impedance, it extends many network theorems to switched-capacitor circuits, and it gives ... -
Packetostatics: Deployment of massively dense sensor networks as an electrostatics problem
(2005)We investigate the spatial distribution of wireless nodes that can transport a given volume of traffic in a sensor network, while requiring the minimum number of wireless nodes. The traffic is created at a spatially ... -
Position control for constrained Robots
(1999)The problem of position control, for robot manipulators constrained to carry a load, is studied. Using a nonlinear P-D feedback law the design requirements of command matching and command following are proved to be always ... -
Solution of nonmonotone friction unilateral contact problems within a neural network environment
(2002)A neural network approach for dealing with the solution of frictional contact problems is proposed. Such an approach permits the rational treatment of the aforementioned limit states. In particular, discretizing the structure ...