When monitoring a cyber-physical system (CPS) from a remote server, keeping the monitored data secret is crucial, particularly when they contain sensitive information, e. g., biological or location data. Recently, Ban...
详细信息
ISBN:
(纸本)9783031742330;9783031742347
When monitoring a cyber-physical system (CPS) from a remote server, keeping the monitored data secret is crucial, particularly when they contain sensitive information, e. g., biological or location data. Recently, Banno et al. (CAV'22) proposed a protocol for online LTL monitoring that keeps data concealed from the server using Fully Homomorphic Encryption (FHE). We build on this protocol to allow arithmetic operations over encrypted values, e. g., to compute a safety measurement combining distance, velocity, and so forth. Overall, our protocol enables oblivious online monitoring of discrete-time real-valued signals against signal temporal logic (STL) formulas. Our protocol combines two FHE schemes, CKKS and TFHE, leveraging their respective strengths. We employ CKKS to evaluate arithmetic predicates in STL formulas while utilizing TFHE to process them using a DFA derived from the STL formula. We conducted case studies on monitoring blood glucose levels and vehicles' behavior against the Responsibility-Sensitive Safety (RSS) rules. Our results suggest the practical relevance of our protocol.
A significant health crisis, including the current COVID-19 outbreak, presents us for an opportunity to think about it and focus on how we may improve the way we handle health care in the future to make us humans bett...
详细信息
Over numerous nations on earth, a brand-new virus known as the corona virus has been spreading like wildfire. Hospitals are exposed to many people, and it might be difficult to follow COVID-19 and take into considerat...
详细信息
Job-shop scheduling problem is the core link and key technology to realize smart factory and develop smart manufacturing technology. Among them, the flexible job-shop scheduling problem (FJSP) which is more consistent...
详细信息
3D human hand pose estimation from visual data has received an increasing amount of attention, and the availability of low-cost depth cameras gives a great impetus to the development of this field. Nearly all recent h...
详细信息
Video Conferencing Applications (VCAs) that support remote work and education have increased in use over the last two years, contributing to Internet bandwidth usage. VCA clients transmit video and audio to each other...
详细信息
ISBN:
(纸本)9783031284854;9783031284861
Video Conferencing Applications (VCAs) that support remote work and education have increased in use over the last two years, contributing to Internet bandwidth usage. VCA clients transmit video and audio to each other in peer-to-peer mode or through a bridge known as a Selective Forwarding Unit (SFU). Popular VCAs implement congestion control in the application layer over UDP and accomplish rate adjustment through video rate control, ultimately affecting end user Quality of Experience (QoE). Researchers have reported on the throughput and video metric performance of specific VCAs using structured experiments. Yet prior work rarely examines the interaction between congestion control mechanisms and rate adjustment techniques that produces the observed throughput and QoE metrics. Understanding this interaction at a functional level paves the way to explain observed performance, to pinpoint commonalities and key functional differences across VCAs, and to contemplate opportunities for innovation. To that end, we first design and conduct detailed measurements of three VCAs (WebRTC/Jitsi, Zoom, BlueJeans) to develop understanding of their congestion and video rate control mechanisms. We then use the measurement results to derive our functional models for the VCA client and SFU. Our models reveal the complexity of these systems and demonstrate how, despite some uniformity in function deployment, there is significant variability among the VCAs in the implementation of these functions.
this study compares the effectiveness of various Generative Adversarial Network architectures, including WGAN and WGAN-GP, in data clustering using the Iris dataset. Performance was evaluated with metrics such as Silh...
详细信息
this paper introduces the concept of an intelligent greenhouse and intelligent seedbed as innovative solutions to enhance precision agriculture in small-scale cultivation settings. the core motivation behind this proj...
详细信息
In order to be flexible and handle complex scenarios, intelligent automation systems might benefit from automated planning techniques which rely on specifications and models describing their behavior. However, due to ...
In order to be flexible and handle complex scenarios, intelligent automation systems might benefit from automated planning techniques which rely on specifications and models describing their behavior. However, due to the presence of message passing, latency, jitter, timeouts, failures, and error handling, the verification of such behavior models using formal methods is often unfeasible. therefore, testing has emerged as an approach to evaluating the behavior of intelligent automation systems. this paper presents a way to analyze structural coverability of behavior models for intelligent automation systems, which is inspired by the modified condition/decision coverage (MC/DC) criterion. this is paired with a testing procedure that enables each test case to influence boththe controller and the simulated environment by injecting some specific state. As a result, the proposed coverability criterion can effectively identify segments of the behavior model that have not been adequately tested and suggest additional test cases to improve coverability. An example use case is presented to demonstrate the effectiveness of this approach.
Robots are used in a wide variety of applications to augment the capability of humans. A relatively new category of assistive robots, supernumerary robots (SRs), create an additional, kinematically independent limb or...
详细信息
ISBN:
(纸本)9783031054099;9783031054082
Robots are used in a wide variety of applications to augment the capability of humans. A relatively new category of assistive robots, supernumerary robots (SRs), create an additional, kinematically independent limb or appendage that may serve various functions. SR research has centered on device development and proof-of-concept but has generally not focused on the human interface and human-robot performance. In this pilot study, four subjects completed 80 cursorto-target trials of a three-handed coordination task with a collaborative robot. the subjects used their two natural hands to control a cursor on a screen in 2-DOFs (degrees of freedom) and used a leg muscle signal to controlthe robotic hand. the robotic hand controlled the cursor in the third DOF. We calculated two metrics to assess coordination, the coordination score and the DOF activation. Subjects improved in the coordination score and DOF activation throughout the study duration. the subjects increased the percentage of trial time with 3-DOFs active and correspondingly decreased 1-DOF activation. the results indicated that subjects learned how to improve their coordination, while successfully completing trials and decreasing their trial completion time. the subjects tended to coordinate most of the time withtheir hands (41%) followed by all three limbs (19%). Future studies should focus on increasing the proportion of 3-DOF coordination for improved human-robot performance.
暂无评论