Sciweavers

1008 search results - page 103 / 202
» Multiobjective process controllability analysis
Sort
View
DFG
2004
Springer
14 years 1 months ago
Verification of PLC Programs Given as Sequential Function Charts
Programmable Logic Controllers (PLC) are widespread in the manufacturing and processing industries to realize sequential procedures and to avoid safety-critical states. For the spe...
Nanette Bauer, Sebastian Engell, Ralf Huuck, Sven ...
TASE
2007
IEEE
14 years 4 months ago
Realizing Live Sequence Charts in SystemVerilog
The design of an embedded control system starts with an investigation of properties and behaviors of the process evolving within its environment, and an analysis of the requiremen...
Hai H. Wang, Shengchao Qin, Jun Sun 0001, Jin Song...
RA
2003
107views Robotics» more  RA 2003»
13 years 11 months ago
Non-commensurate Manipulator Jacobian
: The Jacobian matrix of a robot manipulator is central to the analysis, kinematics, dynamics, and control of robot manipulators. In many instances, the Jacobian and its inverse or...
Eric M. Schwartz, Rachid Manseur, Keith L. Doty
ISCAS
2008
IEEE
103views Hardware» more  ISCAS 2008»
14 years 4 months ago
Watermarking curves using 2D mesh spectral transform
— This paper presents a robust watermarking method for curves that uses informed-detection. To embed watermarks, the presented algorithm parameterizes a curve using the B-spline ...
Ji Young Kim, Dong-Hyuck Im, Hae-Yeoun Lee, Heung-...
PLDI
2006
ACM
14 years 4 months ago
Continuations and transducer composition
On-line transducers are an important class of computational agent; we construct and compose together many software systems using them, such as stream processors, layered network p...
Olin Shivers, Matthew Might