Sciweavers

5200 search results - page 706 / 1040
» Symbolic models for control systems
Sort
View
ENTCS
2008
119views more  ENTCS 2008»
15 years 7 months ago
An Example of Cloning Graph Transformation Rules for Programming
Graphical notations are already popular for the design of software, as witnessed by the success of the Uniform Modeling Languages (UML). In this paper, we advocate the use of grap...
Mark Minas, Berthold Hoffmann
CCE
2006
15 years 7 months ago
Sensitivity analysis of differential-algebraic equations and partial differential equations
Sensitivity analysis generates essential information for model development, design optimization, parameter estimation, optimal control, model reduction and experimental design. In...
Linda R. Petzold, Shengtai Li, Yang Cao, Radu Serb...
ICRA
2010
IEEE
150views Robotics» more  ICRA 2010»
15 years 6 months ago
Thermal calibration of a 3 DOF ultra high-precision robot operating in industrial environment
——while dealing with sub-micrometer precision robots, thermal expansion is the most significant source of inaccuracy. Thermal variations in the environment, in the robot parts a...
Emanuele Lubrano, Reymond Clavel
215
Voted
ISORC
2000
IEEE
15 years 12 months ago
Hybrid Sequence Charts
We introduce Hybrid Sequence Charts (HySCs) as a visual description technique for communication in hybrid system models. To that end, we adapt a subset of the well-known MSC synta...
Radu Grosu, Ingolf Krüger, Thomas Stauner
CVPR
1998
IEEE
16 years 9 months ago
Stereo and Color Analysis for Dynamic Obstacle Avoidance
We develop a vision system for highly mobile autonomous agents that is capable of dynamic obstacle avoidance. We demonstrate the robust performance of the system in artificial ani...
Tamer F. Rabie, Demetri Terzopoulos