Results 11 to 20 of about 172,710 (318)
Robustness Analysis for Value-Freezing Signal Temporal Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 In our previous work we have introduced the logic STL*, an extension of Signal Temporal Logic (STL) that allows value freezing. In this paper, we define robustness measures for STL* by adapting the robustness measures previously introduced for Metric ...
L. Brim +3 more
doaj +4 more sources
Fault Diagnosis for Electro-Mechanical Actuators Based on STL-HSTA-GRU and SM
IEEE Transactions on Instrumentation and Measurement, 2021 The electro-mechanical actuators (EMAs) play an important role in the new-generation aircraft, which makes the fault diagnosis of EMA become a hot topic in the industry.
Xiaoyu Zhang, Li Tang, Jiusheng Chen
semanticscholar +1 more source
Prediction of air pollutant concentrations based on TCN-BiLSTM-DMAttention with STL decomposition
Scientific Reports, 2023 A model with high accuracy and strong generalization performance is conducive to preventing serious pollution incidents and improving the decision-making ability of urban planning.
Wenlin Li, Xuchu Jiang
semanticscholar +1 more source
Electricity price forecast based on the STL-TCN-NBEATS model
Heliyon, 2023 Taking long-term high-frequency electricity price data as the research content, this paper proposes seasonal and trend decomposition using loess-temporal convolutional network-neural basis expansion analysis for an interpretable time series forecasting ...
Biao Zhang +3 more
semanticscholar +1 more source
THE ANALYSIS OF SOUND TRANSMISSION LOSS ON LAMINATED GLASS
Spektra: Jurnal Fisika dan Aplikasinya, 2022 Laminated glass is one type of glass that is commonly used for sound insulation (walls or doors). Tests related to the ability of insulating glass in Indonesia are still sporadic. One of the places to do this test is the SNSU BSN Lab.
Fajar Budi Utomo +6 more
doaj +1 more source
An STL-based Formulation of Resilience in Cyber-Physical Systems [PDF]
International Conference on Formal Modeling and Analysis of Timed Systems, 2022 Resiliency is the ability to quickly recover from a violation and avoid future violations for as long as possible. Such a property is of fundamental importance for Cyber-Physical Systems (CPS), and yet, to date, there is no widely agreed-upon formal ...
Hongkai Chen +8 more
semanticscholar +1 more source
Sensors, 2021 Driving in an adverse rain environment is a crucial challenge for vision-based advanced driver assistance systems (ADAS) in the automotive industry.
Junekyo Jhung, Shiho Kim
doaj +1 more source
Time-Robust Control for STL Specifications [PDF]
IEEE Conference on Decision and Control, 2021 We present a robust control framework for time-critical systems in which satisfying real-time constraints robustly is of utmost importance for the safety of the system.
Alena Rodionova +3 more
semanticscholar +1 more source
Insects, 2023 Henosepilachna vigintioctomaculata is an intrinsic element in the agroecosystem of potato fields. The issues of relationships in the system “potato ladybird beetle—potato plant” have not yet been studied.
Nathalia Valerievna Matsishina +6 more
doaj +1 more source
Stereolithography (STL) measurement rubric for the evaluation of craniomaxillofacial STLs
3D Printing in Medicine, 2022 Abstract Background Facial deformities often demand reconstructive surgery and the placement of three-dimensional (3D) printed craniomaxillofacial prostheses. Prostheses manufacturing requires patients’ computed tomography (CT) images.
Henra Muller, Annabel Fossey
openaire +3 more sources