1346 search results - page 136 / 270 » On the Use of UML for Modeling Physical Systems |
200
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract-- Many tracking problems are split into two subproblems, first a smooth reference trajectory is generated that meet the control design objectives, and then a closed loop c...
153
click to vote
GECCO
2007
Springer
16 years 21 days ago
2007
Springer
The problem of how to acquire a model of a physical robot, which is fit for evolution of controllers that can subsequently be used to control that robot, is considered in the con...
177
click to vote
SPRINGSIM
2007
15 years 7 months ago
2007
We present an architecture for implementing a wireless physical layer in a packet-based network simulator. We integrate this architecture in the popular ns-2 network simulator and...
158
click to vote
SC
1995
ACM
15 years 10 months ago
1995
ACM
As part of a NASA HPCC Grand Challenge project, we are designing and implementing a parallel atmospheric chemical tracer model that will be suitable for use in global simulations....
168
click to vote
SIMUTOOLS
2008
15 years 8 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...