3605 search results - page 199 / 721 » System and simulation modeling using SysML |
146
click to vote
DSRT
2005
IEEE
15 years 9 months ago
2005
IEEE
Timed automata provide useful state machine based representations for the validation and verification of realtime control systems. This paper introduces an algorithmic methodolog...
147
Voted
SCESM
2006
ACM
15 years 9 months ago
2006
ACM
Requirements models for large systems typically cannot be developed in a single step, but evolve in a sequence of iterations. We have developed such an iterative modeling process ...
109
Voted
WSC
2004
15 years 4 months ago
2004
In this paper, we consider the fast simulation of traffic groomed optical networks, in which multiple sub-rate traffic streams may be carried on the same wavelength. For real-size...
142
click to vote
DSRT
2003
IEEE
15 years 8 months ago
2003
IEEE
Distributed simulation enables participants situated in different geographical locations to share a common virtual world, which is called a Distributed Virtual Environment (DVE). ...
143
Voted
ROBOCUP
2004
Springer
15 years 8 months ago
2004
Springer
We show how to apply learning methods to two robotics problems, namely the optimization of the on-board controller of an omnidirectional robot, and the derivation of a model of the...