475 search results - page 1 / 95 » An Approach to the Description and Analysis of Hybrid System... |
HYBRID
1992
Springer
14 years 3 months ago
1992
Springer
HYBRID
2009
Springer
14 years 5 months ago
2009
Springer
FM
1999
Springer
14 years 3 months ago
1999
Springer
Abstract. The design of controllers for hybridsystems i.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...
HYBRID
2007
Springer
14 years 5 months ago
2007
Springer
This work investigates some of the computational issues involved in the solution of probabilistic reachability problems for discretetime, controlled stochastic hybrid systems. It i...
ENGL
2007
13 years 10 months ago
2007
—This paper presents a novel hybrid method for content based visual information retrieval (CBIR) that combines shape analysis of objects in image with their automatic indexing by...