4693 search results - page 527 / 939 » Verifying Hybrid Systems |
205
click to vote
ICNS
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents SLA monitoring and management framework for telecommunication services. The basic requirements of this class of systems are specified and verified in context o...
206
click to vote
IEEEARES
2008
IEEE
16 years 1 months ago
2008
IEEE
We consider scheduling real-time tasks in the presence of message loss and Byzantine node failures in unreliable networks. We present scheduling algorithms called RTQG and RTQG-B....
184
click to vote
ICNSC
2007
IEEE
16 years 1 months ago
2007
IEEE
— This paper addresses the issue of robotic manipulation of multi-DOF inverted pendulums. A control scheme is designed using Lyaponov stability theory for both the robot position...
166
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
— Designing algorithms for multi-robot systems can be a complex and difficult process: the cost of such systems can be very high, collecting experimental data can be timeconsumi...
172
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
— In this paper we present an observability analysis for a mobile robot performing SLAM with a single monocular camera. The aim is to get a better understanding of the well known...