1495 search results - page 57 / 299 » Modeling and controllability for a class of hybrid mechanica... |
ICANN
2011
Springer
13 years 8 days ago
2011
Springer
This article presents a novel approach for a real-time person tracking system based on particle filters that use different visual streams. Due to the difficulty of detecting a pe...
CDC
2009
IEEE
14 years 1 months ago
2009
IEEE
: This paper considers differential linear repetitive processes which are a distinct class of 2D systems whose dynamics evolve over a subset of the upper right quadrant of the 2D p...
REX
1991
14 years 10 days ago
1991
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...
CONCUR
1997
Springer
14 years 1 months ago
1997
Springer
Abstract. In a trace-based world, the modular speci cation, veri cation, and control of live systems require each module to be receptive that is, each module must be able to meet i...
ISNN
2007
Springer
14 years 3 months ago
2007
Springer
Modeling for the ball mill grinding process is still an imperative but difficult problem for the optimal control of mineral processing industry. Due to the integrated complexities ...