695 search results - page 42 / 139 » Control in o-minimal Hybrid Systems |
CDC
2009
IEEE
14 years 18 days ago
2009
IEEE
—The electro-fused magnesia furnace is one of the main equipments used to produce electro-fused magnesia which is high performance refractory. Due to the multivariable, strong no...
CDC
2010
IEEE
13 years 4 months ago
2010
IEEE
In this paper, we consider the problem of motion planning for mobile robots with nonlinear hybrid dynamics, and high-level temporal goals. We use a multi-layered synergistic framew...
AUTOMATICA
2008
13 years 9 months ago
2008
The standard approach in computer-controlled systems is to sample and control periodically. In certain applications, such as networked control systems or energy-constrained system...
HYBRID
1995
Springer
14 years 26 days ago
1995
Springer
Uppaal is a new tool suit for automatic veri cation of networks of timed automata. In this paper we describe the diagnostic model-checking feature of Uppaal and illustrates its use...
HYBRID
1997
Springer
14 years 1 months ago
1997
Springer
This paper presents the results of simulation and control experiments using a recently proposed method for real-time switching among a pool of controllers. The switching strategy ...