Sciweavers

928 search results - page 13 / 186
» Safety management of complex technology
Sort
View
ICDIM
2007
IEEE
14 years 1 months ago
Control validation of D.E.S systems: Application to remote laboratories
Objectives of Automation courses are knowledge and know-how transfer to students. It is important for learner to control locally or remotely real systems composed of many sensors ...
Pascale Marange, François Gellot, Bernard R...
ICAT
2003
IEEE
14 years 27 days ago
3-D Rehabilitation Robot System for Upper Limbs and its Force Display Techniques
Movements of upper limbs are complicated, various and indispensable for daily activities. For patients with impairment of their upper limb, rehabilitation along with medical treat...
Ken'ichi Koyanagi, Yusuke Imada, Junji Furusho, Us...
ISAS
2005
Springer
14 years 1 months ago
Proof-Based System Engineering Using a Virtual System Model
Abstract. This paper provides an overview of Proof-Based System Engineering (PBSE), which aims at improving the current practice of developing computer-based systems. PBSE is of pa...
Martin Biely, Gérard Le Lann, Ulrich Schmid
KES
2008
Springer
13 years 7 months ago
A Procedure Ontology for Advanced Diagnosis of Process Systems
An ontology for representing operation, safety and control procedures is proposed in this paper that supports diagnosis based on following these procedures and combining observed m...
Katalin M. Hangos, Erzsébet Németh, ...
ESWS
2010
Springer
13 years 8 months ago
A Software Tool for Visualizing, Managing and Eliciting SWRL Rules
SWRL rule are increasingly being used to represent knowledge on the Semantic Web. As these SWRL rule bases grows larger, managing the resulting complexity can become a challenge. D...
Saeed Hassanpour, Martin J. O'Connor, Amar K. Das