Sciweavers

226 search results - page 24 / 46
» Model-Based Control
Sort
View
ICESS
2005
Springer
14 years 3 months ago
Formalization of fFSM Model and Its Verification
PeaCE(Ptolemy extension as a Codesign Environment) was developed for the hardware and software codesign framework which allows us to express both data flow and control flow. The fF...
Sachoun Park, Gihwon Kwon, Soonhoi Ha
HASE
1999
IEEE
14 years 2 months ago
Automatic Dependability Analysis for Supporting Design Decisions in UML
Even though a thorough system specification improves the quality of the design , it is not sufficient to guarantee that a system will satisfy its reliability targets. Within this ...
Andrea Bondavalli, Ivan Mura, István Majzik
UM
2005
Springer
14 years 3 months ago
Temporal Blurring: A Privacy Model for OMS Users
Stereotypes and clustering are some techniques for creating user models from user behavior. Yet, they possess important risks as users actions could be misinterpreted or users coul...
Rosa Alarcón, Luis A. Guerrero, José...
ICRA
2007
IEEE
149views Robotics» more  ICRA 2007»
14 years 4 months ago
Frictional Compliance Model Development and Experiments for Snake Robot Climbing
Abstract— Intelligently utilizing the frictional contact between a robot and its environment can prevent slip, maintain balance, and provide stability during a robot’s motion. ...
Amir Shapiro, Aaron Greenfield, Howie Choset
ICRA
2010
IEEE
188views Robotics» more  ICRA 2010»
13 years 7 months ago
Classification and prediction for accurate sensor-based assembly to moving objects
Abstract-- Typical industrial assembly tasks require an accuracy that cannot be realized by only feedback control if a minimum speed is given by a conveyor. Feed-forward has proven...
Friedrich Lange, Johannes Scharrer, Gerd Hirzinger