More Like this

1. Fail-Safe: Securing Cyber-Physical Systems against Hidden Sensor Attacks

   https://doi.org/10.1109/RTSS55097.2022.00029  

   Liu, Mengyu; Zhang, Lin; Lu, Pengyuan; Sridhar, Kaustubh; Kong, Fanxin; Sokolsky, Oleg; Lee, Insup (December 2022, 2022 IEEE Real-Time Systems Symposium (RTSS))
2. Leveraging SETS resilience capabilities for safe-to-fail infrastructure under climate change

   https://doi.org/10.1016/j.cosust.2022.101153  

   Kim, Yeowon; Carvalhaes, Thomaz; Helmrich, Alysha; Markolf, Samuel; Hoff, Ryan; Chester, Mikhail; Li, Rui; Ahmad, Nasir (February 2022, Current Opinion in Environmental Sustainability)
3. Design of a fail-safe magnetorheological-based system for three-dimensional earthquake isolation of structures

   https://doi.org/10.1016/j.mechatronics.2019.102296  

   Cesmeci, Sevki; Gordaninejad, Faramarz; Ryan, Keri L; Eltahawy, Walaa (December 2019, Mechatronics)
4. Design of a fail-safe magnetorheological-based system for three-dimensional earthquake isolation of structures

   https://doi.org/doi.org/10.1016/j.mechatronics.2019.102296  

   Cesmeci, S; Gordaninejad, F; Ryan, KL; Eltahawy, W (October 2019, Mechatronics)

   This study presents a comprehensive design methodology for a magnetorheological-based damper device for a three-dimensional building isolation. The device acts as a suspension system itself by combining the liquid stiffness and controllable magnetorheological damping features in one unit. The bi-linear liquid stiffness feature enhances resistance to global rocking/overturning of the structural system by increasing the stiffness in the rebound mode compared to the compression mode. In the field, the system is combined with the conventional elastomeric bearings widely employed to mitigate the lateral seismic motions. During a seismic event, the system is subjected to dynamic vertical shaking and large lateral forces. The theoretical and simulation modeling to overcome this major challenge and achieve other system requirements are presented. In addition, a comprehensive optimization program is developed to achieve all design requirements. The modeling procedure is verified with experimental results. Also, the effectiveness of Displacement/Velocity-based control for a single degree-of-freedom system subjected to sinusoidal loading is evaluated. 

   more » « less
5. Why extension-based proofs fail

   https://doi.org/10.1145/3313276.3316407  

   Alistarh, Dan; Aspnes, James; Ellen, Faith; Gelashvili, Rati; Zhu, Leqi (June 2019, 51st Annual ACM SIGACT Symposium on Theory of Computing)

   It is impossible to deterministically solve wait-free consensus in an asynchronous system. The classic proof uses a valency argument, which constructs an infinite execution by repeatedly extending a finite execution. We introduce extension-based proofs, a class of impossibility proofs that are modelled as an interaction between a prover and a protocol and that include valency arguments. Using proofs based on combinatorial topology, it has been shown that it is impossible to deterministically solve k-set agreement among n > k ≥ 2 processes in a wait-free manner. However, it was unknown whether proofs based on simpler techniques were possible. We show that this impossibility result cannot be obtained by an extension-based proof and, hence, extension-based proofs are limited in power. 

   more » « less