— One of the main challenges in telerobotics is the selection of control architectures and control parameters, which are able to robustly stabilize the overall teleoperation syst...
We propose a novel method to measure the dependability of journaling file systems. In our approach, we build models of how journaling file systems must behave under different jo...
Vijayan Prabhakaran, Andrea C. Arpaci-Dusseau, Rem...
Switched linear systems have a long history of interest in the control community, and have attracted considerable attention recently because they are not only practically relevant...
Fault Tree Analysis (FTA) is a traditional deductive safety analysis technique that is applied during the system design stage. However, traditional FTA does not consider transitio...
The term social cognition is used in the psychology and organizational literatures to denote many different manifestations of the mental representations and processes that underli...