Live Performances have been conducted online in recent years due to the influence of the COVID-19 pandemic. This generated a novel problem of losing eye contact with the performers, which deteriorates the viewing expe...
详细信息
In this paper, the distributed tracking consensus control for a nonlinear multiagent system with the event trigger mechanism and quantization is investigated and the privacy preservation for each agent is researched. ...
详细信息
To enhance the flexibility of port horizontal transportation systems and improve the smoothness, accuracy, and efficiency of Automated Guided Vehicles (AGVs) motion in high-frequency disturbance environments, a longit...
详细信息
Cyber-physical systems (CPSs) are on the rise for safety-critical applications. While formal verification approaches may work on simple systems, these approaches need more scalability. When systems are sufficiently co...
详细信息
ISBN:
(纸本)9798350384529;9798350384512
Cyber-physical systems (CPSs) are on the rise for safety-critical applications. While formal verification approaches may work on simple systems, these approaches need more scalability. When systems are sufficiently complex, testing is often the only practical way to gain confidence the system works as expected. How can we generate high-quality tests for CPS? This work proposes an approach to improve test case generation for CPSs. We achieve this by proposing a new model-based seed generation algorithm in the fuzz testing pipeline. We first use the Koopman operator technique to construct a predictor model to capture the effect of time-varying inputs on the CPS behavior. Then, we use the model in a Model Predictive Control (MPC) optimization loop, generating control inputs that drive the system through state space. We evaluate the strategy's effectiveness through extensive experiments on the well-known neural network air-to-air collision avoidance benchmark, ACAS Xu. Evaluation results prove that the proposed Koopman MPC approach achieves better test coverage than other fuzz testing and falsification tools.
In tele-surgery, surgeons remotely operate a surgical robot via the leader-follower system. However, communication delays often lead to challenges that can affect the ease of operation. In this study, we evaluated the...
详细信息
Modern Field Programmable Gate Arrays (FPGAs) offer a solution to several issues related to real-time on-board systems, such as guaranteed execution time. They are currently considered as target platforms for space ap...
详细信息
ISBN:
(纸本)9798350384529;9798350384512
Modern Field Programmable Gate Arrays (FPGAs) offer a solution to several issues related to real-time on-board systems, such as guaranteed execution time. They are currently considered as target platforms for space applications. However, the complexity of producing circuits on these components poses a challenge to their widespread adoption. To address this issue, high-level synthesis tools provide another layer of abstraction above the logic circuit design process, for example compiling C code into Hardware Description Languages such as VHDL or Verilog. However, high-level synthesis results are poorly predictable and do not guarantee the efficient use of recent FPGA capabilities provided by new primitives like digital signal processor or random-access memory. In this paper we propose a compilation chain dedicated to reactive systems, ie. controllers, providing a more predictable synthesis process for critical embedded control applications. The implemented solution demonstrates timing performance equivalent to the traditional synthesis process with a more predictable result.
Time-varying noises are one of the reasons that make it difficult for quantum systems to complete control tasks. How to quantify the influence of time-varying noises on control results and how to design a control law ...
详细信息
In the search for more effective education, there is a widespread effort to develop better approaches to personalize student education. Unassisted, educators often do not have time or resources to personally support e...
详细信息
This study proposes a sliding mode control (smc) method designed for a DC Microgrid (MG) system that integrates a fuel cell with battery backup and a photovoltaic (PV) array with maximum power point tracking (MPPT) ca...
详细信息
Stereoscopic warehouses improve logistics efficiency and reduce costs through automation, making it necessary to optimize their storage management systems. This paper focuses on the problem of stacker picking delay in...
详细信息
暂无评论