39 search results - page 7 / 8 » On the Existence of Solutions to Controlled Hybrid Automata |
TACAS
1998
Springer
13 years 12 months ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
RTSS
2009
IEEE
14 years 2 months ago
2009
IEEE
—Data delivery is a major function of sensor network applications. Many applications, such as military surveillance, require the detection of interested events to be reported to ...
TCSV
2002
13 years 7 months ago
2002
In this paper, we address the problem of real-time video streaming over wireless LANs for both unicast and multicast transmission. The wireless channel is modeled as a packet-erasu...
VISUALIZATION
2002
IEEE
14 years 19 days ago
2002
IEEE
While many methods exist for visualising scalar and vector data, visualisation of tensor data is still troublesome. We present a method for visualising second order tensors in thr...
ICRA
2007
IEEE
14 years 2 months ago
2007
IEEE
— In this work we examine the control of center of mass and swing leg trajectories in LittleDog, a point-foot quadruped robot. It is not clear how to formulate a function to comp...