The proceedings contain 10 papers. The special focus in this conference is on Formal modeling and Analysis of Timed systems. The topics include: Model Predictive Runtime Verification for Cyber-Physical systems with Re...
ISBN:
(纸本)9783031426254
The proceedings contain 10 papers. The special focus in this conference is on Formal modeling and Analysis of Timed systems. The topics include: Model Predictive Runtime Verification for Cyber-Physical systems with Real-Time Deadlines;causal Reversibility for Timed Process Calculi with Lazy/Eager Durationless Actions and Time Additivity;automata with Timers;layered Controller Synthesis for Dynamic Multi-agent systems;On the Susceptibility of QDI Circuits to Transient Faults;maximum Satisfiability of Mission-Time Linear Temporal Logic;a Local-Time Semantics for Negotiations;timed Non-interference Under Partial Observability and Bounded Memory.
The effectiveness of wide-area damping controllers (WADCs) is significantly influenced by the integrity of the measurement data collected from phasor measurement units (PMUs). These damping controllers utilize PMU dat...
详细信息
The rapid advancement of digitalization in the Asia-Pacific region, accelerated by the recent global pandemic, has compelled organizations to adopt new technology solutions to bridge the skills gap and keep up with In...
详细信息
This paper presents an approach to model and study the behavior of a firefighting drone. Unity ML-Agents Toolkit and two advanced Deep Reinforcement Learning algorithms are used. They are respectively Soft Actor-Criti...
详细信息
The paper introduces a scheme for acoustic localization in the form of a one-dimensional "acoustic line", presenting the advantages and disadvantages of such a model. A constructive approach is proposed for ...
详细信息
The purpose of this study is to improve the performance and efficiency of online learning recommendation systems. The performance and efficiency of recommendation systems depend on multiple factors, including distribu...
详细信息
In steel processing industry, dust, noise and other factors seriously threaten the health of operators. Aiming at solving these problems, an autonomous hydraulic mobile manipulator system is designed and developed in ...
详细信息
In steel processing industry, dust, noise and other factors seriously threaten the health of operators. Aiming at solving these problems, an autonomous hydraulic mobile manipulator system is designed and developed in this paper. The system consists of four modules, namely kinematic modeling module, decision making and planning module, control module and virtual reconstruction module. According to the functions realized in the system, mobile manipulator can move from any initial position to the target position and complete the corresponding tasks. Moreover, the vadility and effectiveness of the autonomous hydraulic mobile manipulator system for steel manufacture are verified by experiments.
The proceedings contain 21 papers. The topics discussed include: from ray tracing to channel impulse responses: a review on the description of polarimetric time-invariant SISO channels;an efficient algorithm for sched...
ISBN:
(纸本)9798350388459
The proceedings contain 21 papers. The topics discussed include: from ray tracing to channel impulse responses: a review on the description of polarimetric time-invariant SISO channels;an efficient algorithm for scheduling aircraft landing problem;modeling and characterization of a compact in line filter with transmission zeros;from concept to implementation: lessons learned in designing and deploying a visible light positioning system;designing an augmented reality teaching module for power consumption in FPGAs;navigating the future: digital twin in maritime industry;measurement of a baby dummy in a car for child presence detection;advancing automotive connectivity: new technologies and security considerations;digital twins to monitor IoT devices for green transformation of university campus;and feasibility study of time synchronization solution for the bistatic synthetic aperture radar using mobile platforms.
measurement of the velocity field in thermal-hydraulic experiments is of great importance for phenomena interpretation and code validation. Direct measurement by means of Particle Image Velocimetry (PIV) is challengin...
详细信息
ISBN:
(纸本)9783031643613;9783031643620
measurement of the velocity field in thermal-hydraulic experiments is of great importance for phenomena interpretation and code validation. Direct measurement by means of Particle Image Velocimetry (PIV) is challenging in some multiphase's tests where the measurement system would be strongly affected by the phase interaction. A typical example can refer to the test with steam injection into a water pool where the rapid collapse of bubbles and significant temperature gradient makes it impossible to obtain main flow information in a relatively large steam flux. The goal of this work is to investigate the capability of the use of machine learning for the flow reconstruction of the jet induced by steam condensation from sparse temperature measurement with ThermoCouples (TCs). Two frameworks of (i) 'FDD' using pure data-driven modeling and (ii) 'FPINN' combining data-driven and Physics-Informed Neural Networks (PINN) are proposed and investigated. The frameworks are applied to a single-phase turbulent planar jet with data generated by CFD simulations.
This article presents a study of modeling of predator-prey interactions based on a three-component model of toxic and nontoxic phytoplankton and zooplankton. The paper discusses the working principle of this model and...
详细信息
暂无评论