Sciweavers

3605 search results - page 268 / 721
» System and simulation modeling using SysML
Sort
View
SAB
2004
Springer
198views Optimization» more  SAB 2004»
15 years 9 months ago
A Review of Probabilistic Macroscopic Models for Swarm Robotic Systems
Abstract. In this paper, we review methods used for macroscopic modeling and analyzing collective behavior of swarm robotic systems. Although the behavior of an individual robot in...
Kristina Lerman, Alcherio Martinoli, Aram Galstyan
CONNECTION
2008
178views more  CONNECTION 2008»
15 years 4 months ago
Spoken language interaction with model uncertainty: an adaptive human-robot interaction system
Spoken language is one of the most intuitive forms of interaction between humans and agents. Unfortunately, agents that interact with people using natural language often experienc...
Finale Doshi, Nicholas Roy
CADE
2008
Springer
16 years 4 months ago
Exploring Model-Based Development for the Verification of Real-Time Java Code
Many safety- and security-critical systems are real-time systems and, as a result, tools and techniques for verifying real-time systems are extremely important. Simulation and test...
Niusha Hakimipour, Paul A. Strooper, Roger Duke
CDC
2010
IEEE
154views Control Systems» more  CDC 2010»
14 years 11 months ago
A lower bound for controlled Lagrangian particle tracking error
Abstract-- Autonomous underwater vehicles are flexible mobile platforms for ocean sampling and surveillance missions. However, navigation of these vehicles in unstructured, highly ...
Klementyna Szwaykowska, Fumin Zhang
WSC
2004
15 years 5 months ago
Data Farming: Discovering Surprise
Data Farming is a methodology and capability that makes use of high performance computing to run models many times. This capability gives modelers and their clients the enhanced a...
Gary E. Horne, Theodore E. Meyer