45 search results - page 2 / 9 » Absolute stability of third-order systems: A numerical algor... |
SIMPRA
2010
13 years 4 months ago
2010
Integrated performance simulation of buildings and heating, ventilation and airconditioning (HVAC) systems can help reducing energy consumption and increasing occupant comfort. Ho...
ICRA
2007
IEEE
2007
IEEE
Hybrid Model Predictive Control for Stabilization of Wheeled Mobile Robots Subject to Wheel Slippage
14 years 20 days ago
— This paper studies the problem of stabilizing wheeled mobile robots (WMRs) subject to wheel slippage to a predefined set. When slippage of the wheels can occur, WMRs can be mo...
SSS
2009
Springer
14 years 27 days ago
2009
Springer
Abstract. For large distributed systems built from inexpensive components, one expects to see incessant failures. This paper proposes two models for such faults and analyzes two we...
LSSC
2007
Springer
14 years 15 days ago
2007
Springer
We present a general framework for analysis and design of optimization based numerical feedback stabilization schemes utilizing ideas from relaxed dynamic programming. The applicat...
TCS
2008
13 years 6 months ago
2008
Temporal logics and model-checking have proved successful to respectively express biological properties of complex biochemical systems, and automatically verify their satisfaction...