5200 search results - page 125 / 1040 » Symbolic models for control systems |
CDC
2010
IEEE
13 years 4 months ago
2010
IEEE
It is shown that the queuing delay involved in the congestion control algorithm is state-dependent and does not depend on the current time. Then, using an accurate formulation for ...
CDC
2010
IEEE
2010
IEEE
Robust controller design by convex optimization based on finite frequency samples of spectral models
13 years 4 months ago
Abstract-- Some frequency-domain controller design problems are solved using a finite number of frequency samples. Consequently, the performance and stability conditions are not gu...
DBSEC
2006
13 years 10 months ago
2006
We demonstrate how access control models and policies can be represented by using term rewriting systems, and how rewriting may be used for evaluating access requests and for provi...
RTSS
2005
IEEE
14 years 2 months ago
2005
IEEE
Many real-time systems must control their CPU utilizations in order to meet end-to-end deadlines and prevent overload. Utilization control is particularly challenging in distribut...
ECAI
2008
Springer
13 years 10 months ago
2008
Springer
The Internet is constantly growing, proposing more and more services and sources of information. Modeling personal preferences enables recommender systems to identify relevant subs...