3605 search results - page 227 / 721 » System and simulation modeling using SysML |
124
Voted
DSN
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper presents the experiences of using a symbolic model checker to check the safety properties of a servoloop control system. Symbolic model checking has been shown to be be...
156
Voted
AMDO
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. We present a new method to simulate deformable volumetric objects interactively using finite elements. With quadratic basis functions and a non-linear strain tensor, we a...
140
click to vote
ANSS
2004
IEEE
15 years 7 months ago
2004
IEEE
The Random Early Detection (RED) scheme for congestion control in TCP is well known over a decade. Due to a number of control parameters in RED, it cannot make acceptable packet-d...
119
Voted
ALIFE
2004
15 years 3 months ago
2004
Turn-taking behavior is simulated in a coupled-agents system. Each agent is modeled as a mobile robot with two wheels. A recurrent neural network is used to produce the motor outpu...
115
click to vote
WSC
2007
15 years 6 months ago
2007
Unambiguous definition of the information exchanged between distributed systems is a necessary requirement for simulation system interoperability. The ontological spectrum categor...