Sciweavers

1814 search results - page 224 / 363
» Visual Modeling for Complex Agent-Based Simulation Systems
Sort
View
QEST
2009
IEEE
15 years 11 months ago
Language-Level Symmetry Reduction for Probabilistic Model Checking
—Symmetry reduction is a technique for combating state-space explosion in model checking. The generic representatives approach to symmetry reduction uses a language-level transla...
Alastair F. Donaldson, Alice Miller, David Parker

Publication
375views
15 years 11 months ago
 Dynamic View Expansion for Minimally Invasive Surgery using Simultaneous Localization And Mapping
Navigation during Minimally Invasive Surgery (MIS) has recognized difficulties due to limited field-of-view, off-axis visualization and loss of direct 3D vision. This can cause ...
Peter Mountney and Guang-Zhong Yang
RSP
2002
IEEE
121views Control Systems» more  RSP 2002»
15 years 10 months ago
Rapid Prototyping of Transition Management Code for Reconfigurable Control Systems
This paper presents a rapid prototyping technique that focuses on transition management in hybrid systems. In particular, it integrates hybrid modeling and simulation (for specify...
M. Guler, S. Clements, N. Kejriwal, L. Wills, B. H...
HYBRID
2010
Springer
15 years 12 months ago
Compositional analysis for linear control systems
The complexity of physical and engineering systems, both in terms of the governing physical phenomena and the number of subprocesses involved, is mirrored in ever more complex mat...
Florian Kerber, Arjan van der Schaft
150
Voted
IROS
2007
IEEE
122views Robotics» more  IROS 2007»
15 years 11 months ago
Lagrangian dynamics of open multibody systems with generalized holonomic and nonholonomic joints
— Standard methods to model multibody systems are aimed at systems with configuration spaces isomorphic to Rn . This limitation leads to singularities and other artifacts in cas...
Vincent Duindam, Stefano Stramigioli