139 search results - page 19 / 28 » Airborne Collision Avoidance System |
104
click to vote
HYBRID
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. Sincehybridembeddedsystemsarepervasiveandoftensafetycritical, guarantees about their correct performance are desirable. The hybrid systemsmodelcheckerHyTech providessuch ...
CVGIP
2006
15 years 2 months ago
2006
We present a method for synthesizing animations of autonomous space, water, and land-based vehicles in games or other interactive simulations. Controlling the motion of such vehic...
105
click to vote
ACMACE
2005
ACM
15 years 7 months ago
2005
ACM
FreeWill+ is a framework that aims at integrating various animation techniques for controlling human-like characters. With heterogeneity and multi-layering as its main design prin...
141
click to vote
FORMATS
2010
Springer
14 years 12 months ago
2010
Springer
Abstract. We investigate layered composition for real-time systems modelled as (networks of) timed automata (TA). We first formulate the principles of layering and transition indep...
122
click to vote
ICRA
2009
IEEE
15 years 8 months ago
2009
IEEE
— In this paper, we propose a path planning method for nonholonomic multi-vehicle system in presence of moving obstacles. The objective is to find multiple fixed length paths f...