2838 search results - page 167 / 568 » Verifying Controlled Components |
72
Voted
CDC
2010
IEEE
14 years 7 months ago
2010
IEEE
It is shown that just as we did for a purely resistive network [10], that circuit analysis is very simple if the elements are described not by potentials across and currents throug...
90
Voted
HYBRID
2007
Springer
15 years 6 months ago
2007
Springer
In this paper we propose a new technique for verification by simulation of continuous and hybrid dynamical systems with uncertain initial conditions. We provide an algorithmic met...
106
Voted
HASE
2005
IEEE
15 years 6 months ago
2005
IEEE
We propose an approach to analyse the safety of avionic systems that takes into account the impact of computation and communication resource sharing. The approach is made of three...
93
Voted
ICMCS
2005
IEEE
15 years 6 months ago
2005
IEEE
We present a streaming media test bed for IP networks. Besides a streaming server and a streaming media client, it consists of an IP network emulator, a high-performance packet ca...
116
Voted
ICRA
2005
IEEE
15 years 6 months ago
2005
IEEE
– A vision-based obstacle detection system for small unmanned aerial vehicles (UAVs) is presented. Obstacles are detected by segmenting the image into sky and non-sky regions and...