Sciweavers

1782 search results - page 86 / 357
» Dynamics based control with PSRs
Sort
View
HYBRID
2003
Springer
14 years 29 days ago
Model Checking LTL over Controllable Linear Systems Is Decidable
Abstract. The use of algorithmic verification and synthesis tools for hybrid systems is currently limited to systems exhibiting simple continuous dynamics such as timed automata o...
Paulo Tabuada, George J. Pappas
JDCTA
2010
155views more  JDCTA 2010»
13 years 2 months ago
Multi-factor predication of diesel engine by using artificial neural networks
The paper presents an algorithm which combining a neural network observer, it give more flexible and accurate control on the engine operation. In recent year, several researchers ...
Wenyong Xiao
ASWEC
2007
IEEE
13 years 11 months ago
Explicitly Controlling the Fair Service for Busy Web Servers
There is a growing demand for web applications to provide fair service to the highly concurrent requests. In this paper, we present an approach to addressing this requirement. Bas...
Zhanwen Li, David Levy, Shiping Chen, John Zic
IROS
2008
IEEE
127views Robotics» more  IROS 2008»
14 years 2 months ago
Mobile robot path tracking of aggressive maneuvers on sloped terrain
—Path tracking control on non-flat terrain is an important capability of mobile robots operating in outdoor environments. A path tracking controller based on the model predictive...
Steven C. Peters, Karl Iagnemma
ICAS
2005
IEEE
134views Robotics» more  ICAS 2005»
14 years 1 months ago
Timing Performance Control in Web Server Systems Utilizing Server Internal State Information
How to effectively allocate system resource to meet the Service Level Agreement (SLA) of Web servers is a challenging problem. In this paper, we propose an improved scheme for aut...
Xue Liu, Rong Zheng, Jin Heo, Qixin Wang, Lui Sha