304 search results - page 12 / 61 » Hybridization methods for the analysis of nonlinear systems |
112
Voted
CAV
2007
Springer
15 years 4 months ago
2007
Springer
We propose HyDICE, Hybrid DIscrete Continuous Exploration, a multi-layered approach for hybrid-system testing that integrates continuous sampling-based robot motion planning with d...
CDC
2008
IEEE
15 years 6 months ago
2008
IEEE
— One of the important and efficient tools in system analysis is the analysis of responses to harmonic excitations. For linear systems the information on such responses is conta...
126
click to vote
FM
1999
Springer
15 years 4 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...
115
Voted
ISMAR
2006
IEEE
15 years 6 months ago
2006
IEEE
Augmented Reality (AR) aims to fuse a virtual world and a real one in an image stream. When considering only a vision sensor, it relies on registration techniques that have to be ...
194
Voted
VLDB
2001
ACM
16 years 14 days ago
2001
ACM
Abstract. The optimized distance-based access methods currently available for multidimensional indexing in multimedia databases have been developed based on two major assumptions: ...