Sciweavers

183 search results - page 24 / 37
» A Hybrid Testing Methodology for Railway Control Systems
Sort
View
ICRA
2000
IEEE
62views Robotics» more  ICRA 2000»
15 years 10 months ago
Design and Implementation of a Robot Assisted Crucible Charging System
A robotic system is developed to automate the packing of polycrystalline silicon nuggets into a fragile fused silica crucible in CZ semiconductor wafer production. The highly irre...
Vivek A. Sujan, Steven Dubowsky, Yoshiaki Ohkami
EMSOFT
2008
Springer
15 years 7 months ago
Randomized directed testing (REDIRECT) for Simulink/Stateflow models
The Simulink/Stateflow (SL/SF) environment from Mathworks is becoming the de facto standard in industry for model based development of embedded control systems. Many commercial to...
Manoranjan Satpathy, Anand Yeolekar, S. Ramesh
HICSS
2000
IEEE
153views Biometrics» more  HICSS 2000»
15 years 10 months ago
On Verifying Distributed Multithreaded Java Programs
Distributed multithreaded software systems are becoming more and more important in modern networked environment. For these systems, concurrency control and thread synchronization ...
Jessica Chen
IROS
2009
IEEE
186views Robotics» more  IROS 2009»
16 years 12 days ago
Robotic submerged microhandling controlled by pH swithching
— Robotic microhandling is a promising way to assemble microcomponents in order to manufacture new generation of Hybrid Micro ElectroMechanical Systems (HMEMS). However, at the s...
Jérôme Dejeu, Patrick Rougeot, Micha&...
GECCO
2008
Springer
110views Optimization» more  GECCO 2008»
15 years 6 months ago
Evolving stable behavior in a spino-neuromuscular system model
This paper demonstrates the effectiveness of genetic algorithms in training stable behavior in a model of the spinoneuromuscular system (SNMS). In particular, we test the stabili...
Stanley Phillips Gotshall, Terry Soule