2838 search results - page 167 / 568 » Verifying Controlled Components |
CDC
2010
IEEE
13 years 5 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...
HYBRID
2007
Springer
14 years 4 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...
HASE
2005
IEEE
14 years 4 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...
ICMCS
2005
IEEE
14 years 4 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...
ICRA
2005
IEEE
14 years 4 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...