2838 search results - page 31 / 568 » Verifying Controlled Components |
ETFA
2006
IEEE
14 years 16 days ago
2006
IEEE
This paper deals with the IEC 61499 standard. A function block (FB) is an event triggered component and an application is a distributed FBs network on several devices. We consider...
CASSIS
2005
Springer
14 years 2 months ago
2005
Springer
Today many interactions are carried out online through Web sites and e-services and often private and/or sensitive information is required by service providers. A growing concern r...
ETFA
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper describes formal modeling and verification of automation systems from the system engineering point of view. Reuse of model components is the key issue in order to bring...
JMLR
2010
13 years 3 months ago
2010
A complex modern manufacturing process is normally under consistent surveillance via the monitoring of signals/variables collected from sensors. However, not all of these signals ...
IROS
2008
IEEE
14 years 3 months ago
2008
IEEE
— A force control device with high power and high resolution is developed. It consists of a spring and a small force actuator which are connected in parallel between the base pla...