4693 search results - page 121 / 939 » Verifying Hybrid Systems |
87
Voted
HYBRID
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. In this paper we discuss the problem of calculating the reachable states of a dynamical system de ned by ordinary di erential equations or inclusions. We present a protot...
88
Voted
FLAIRS
2006
15 years 2 months ago
2006
RUPART1 is a hybrid robot control system for navigating a real-world, academic building. Hybrid robot control systems provide robust low-level navigation together with strategic p...
82
Voted
ISCAS
2006
IEEE
15 years 6 months ago
2006
IEEE
- In this paper, we propose a novel rate allocation method for compound image coding using Quality-biased Rate-Distortion Optimization (QRDO) technique to enhance visual quality. T...
116
Voted
IJCNN
2008
IEEE
15 years 7 months ago
2008
IEEE
—The system architecture presented in this paper is designed for helping an aged person to live longer independently in their own home by detecting unusual and potentially hazard...
90
Voted
VLSI
2007
Springer
15 years 6 months ago
2007
Springer
— In the future, high performance computing systems may consist of multiple multicore processors and reconfigurable logic coprocessors. Industry trends indicate that such coproc...