Sciweavers

680 search results - page 49 / 136
» Mechanical system modelling of robot dynamics using a mass p...
Sort
View
IWSSD
2000
IEEE
14 years 1 months ago
Specification, Safety and Reliability Analysis Using Stochastic Petri Net Models
In this study we focus on the specification and assessment of Stochastic Petri net (SPN) models to evaluate the design of an embedded system for reliability and availability. The ...
Frederick T. Sheldon, Stefan Greiner, Matthias Ben...
AHS
2007
IEEE
202views Hardware» more  AHS 2007»
13 years 9 months ago
PERPLEXUS: Pervasive Computing Framework for Modeling Complex Virtually-Unbounded Systems
This paper introduces Perplexus, a European project that aims to develop a scalable hardware platform made of custom reconfigurable devices endowed with bio-inspired capabilities...
Eduardo Sanchez, Andrés Pérez-Uribe,...
ICRA
1994
IEEE
105views Robotics» more  ICRA 1994»
14 years 1 months ago
A Robotic Lighting System for Solar Illumination Simulation
This report details our development of a computer controlled spotlight with four actuated degrees-of-freedom for pan, tilt, linear movement, and beam focusing. We review the mecha...
Richard Volpe, Douglas McAffee
HICSS
1998
IEEE
128views Biometrics» more  HICSS 1998»
14 years 1 months ago
A Situation Calculus Model of Hypertext
We utilize the situation calculus to develop a logical model of hypertext systems. The work builds upon the earlier work of Bieber and Kimbrough in the logical modeling of hyperte...
Richard B. Scherl, Michael Bieber, Fabio Vitali
ISER
1997
Springer
91views Robotics» more  ISER 1997»
14 years 1 months ago
Extracting Robotic Part-mating Programs from Operator Interaction with a Simulated Environment
We describe an integrated system for programming part-mating and contact tasks using simulation. A principal goal of this work is to make robotic programming easy and intuitive fo...
John E. Lloyd, Dinesh K. Pai