Sciweavers

584 search results - page 51 / 117
» The Light Control Case Study: Problem Description
Sort
View
ICRA
2010
IEEE
119views Robotics» more  ICRA 2010»
13 years 5 months ago
Optimal motion primitives for multi-UAV convoy protection
In this paper we study the problem of controlling a number of Unmanned Aerial Vehicles (UAVs) to provide convoy protection to a group of ground vehicles. The UAVs are modeled as Du...
Amirreza Rahmani, Xu Chu Ding, Magnus Egerstedt
FM
1999
Springer
161views Formal Methods» more  FM 1999»
13 years 12 months ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund
ICDS
2009
IEEE
14 years 2 months ago
An Iterative Method to Design Traffic Flow Models
Existing traffic flow modeling theory lacks of guidelines to construct traffic flow models from scratch. In addition, traffic flow models are mainly analyzed with computer simulat...
Juan Manuel González-Calleros, Jorge Mart&i...
IWSSD
2000
IEEE
14 years 19 hour ago
Hybrid Model Visualization in Requirements and Design: A Preliminary Investigation
This paper reports on a preliminary investigation into applying work on graphic animation of behavioral models to an air traffic control case study – the National Air Traffic Se...
Jeff Magee, Jeff Kramer, Bashar Nuseibeh, David Bu...
ICSE
1999
IEEE-ACM
13 years 12 months ago
Splitting the Organization and Integrating the Code: Conway's Law Revisited
It is widely acknowledged that coordination of large scale software development is an extremely difficult and persistent problem. Since the structure of the code mirrors the struc...
James D. Herbsleb, Rebecca E. Grinter