12032 search results - page 730 / 2407 » Simulation of Manufacturing Systems |
218
click to vote
SIGOPS
2010
15 years 6 months ago
2010
Multi-tier architectures are widely used by internet applications. Guaranteeing the performance, and more generally the quality of service (QoS), of such applications remains a cr...
213
click to vote
CDC
2009
IEEE
15 years 5 months ago
2009
IEEE
We consider the problem of controlling a continuous-time linear stochastic system from a specification given as a Linear Temporal Logic (LTL) formula over a set of linear predicate...
202
click to vote
CDC
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract-- An online approach to parameter estimation problems based on binary observations is presented in this paper. This recursive identification method relies on a least-mean ...
201
click to vote
CDC
2010
IEEE
15 years 2 months ago
2010
IEEE
This paper presents a hybrid control strategy for navigation of shape-accelerated underactuated balancing systems with dynamic constraints. It extends the concept of sequential com...
206
click to vote
JLP
2010
15 years 2 months ago
2010
We present a general framework for the analysis of quantitative and qualitative properties of reactive systems, based on a notion of weighted transition systems. We introduce and ...