Sciweavers

485 search results - page 35 / 97
» System Safety Requirements as Control Structures
Sort
View
ETFA
2005
IEEE
14 years 2 months ago
Fork-lift truck simulator for training in industrial environment
: Since their first usage simulators have been employed in training staff in civil aeronautics and in military fields to improve driving skills without compromising safety of peopl...
Massimo Bergamasco, S. Perotti, Carlo Alberto Aviz...
HAPTICS
2006
IEEE
14 years 2 months ago
Pseudo-admittance Bilateral Telemanipulation with Guidance Virtual Fixtures
We present a novel bilateral telemanipulation control system called Pseudo-admittance, which is designed to mimic admittance control on systems where the master is an impedance-ty...
Jake J. Abbott, Allison M. Okamura
HPCC
2005
Springer
14 years 2 months ago
A SMS Based Ubiquitous Home Care System
In this study, we defined requirements of ubiquitous environment, which users can monitor and control situations of home anytime, anywhere. In addition we developed and built a mod...
Tae-Seok Lee, Yuan Yang, Myong-Soon Park
SIGSOFT
2010
ACM
13 years 6 months ago
Synthesis of live behaviour models
We present a novel technique for synthesising behaviour models that works for an expressive subset of liveness properties and conforms to the foundational requirements engineering...
Nicolás D'Ippolito, Víctor A. Braber...
EMSOFT
2010
Springer
13 years 6 months ago
A unifying view of loosely time-triggered architectures
Abstract--Cyber-Physical Systems require distributed architectures to support safety critical real-time control. Kopetz' Time-Triggered Architectures (TTA) have been proposed ...
Albert Benveniste, Anne Bouillard, Paul Caspi