Sciweavers

431 search results - page 60 / 87
» A Modeling Methodology for Conflict Control in Multi-Agent S...
Sort
View
AUTOMATICA
2002
124views more  AUTOMATICA 2002»
13 years 7 months ago
Stabilizing underwater vehicle motion using internal rotors
As a case study of a particular control methodology and as a practical contribution in the area of underwater vehicle control, we consider the problem of stabilizing an underwater...
Craig A. Woolsey, Naomi Ehrich Leonard
HF
2002
95views more  HF 2002»
13 years 7 months ago
Formal Verification of Human-Automation Interaction
This paper discusses a formal and rigorous approach to the analysis of operator interaction with machines. It addresses the acute problem of detecting design errors in human-machi...
Asaf Degani, Michael Heymann
SI3D
2005
ACM
14 years 1 months ago
Sketching mesh deformations
Techniques for interactive deformation of unstructured polygon meshes are of fundamental importance to a host of applications. Most traditional approaches to this problem have emp...
Youngihn Kho, Michael Garland
WSC
2008
13 years 10 months ago
PLCStudio: Simulation based PLC code verification
Proposed in this paper is the architecture of a PLC programming environment that enables a visual verification of PLC programs. The proposed architecture integrates a PLC program ...
Sang C. Park, Chang Mok Park, Gi-Nam Wang, Jonggeu...
ENVSOFT
2007
166views more  ENVSOFT 2007»
13 years 7 months ago
The implications of complexity for integrated resources management
: Integrated environmental resources management is a purposeful activity with the goal to maintain and improve the state of an environmental resource affected by human activities. ...
C. Pahl-Wostl