English
Related papers

Related papers: Dynamic Dependability Analysis of Shuffle-exchange…

200 papers

Fault trees are a key model in reliability analysis. Classical static fault trees (SFT) can best be analysed using binary decision diagrams (BDD). State-based techniques are favorable for the more expressive dynamic fault trees (DFT). This…

Software Engineering · Computer Science 2022-03-29 Daniel Basgöze , Matthias Volk , Joost-Pieter Katoen , Shahid Khan , Marielle Stoelinga

Dynamic fault trees (DFTs) have emerged as an important tool for capturing the dynamic behavior of system failure. These DFTs are then analyzed qualitatively and quantitatively using stochastic or algebraic methods to judge the failure…

Logic in Computer Science · Computer Science 2017-12-11 Yassmeen Elderhalli , Osman Hasan , Waqar Ahmad , Sofiene Tahar

Dynamic Fault Trees (DFTs) is a widely used failure modeling technique that allows capturing the dynamic failure characteristics of systems in a very effective manner. Simulation and model checking have been traditionally used for the…

Logic in Computer Science · Computer Science 2018-08-01 Yassmeen Elderhalli , Waqar Ahmad , Osman Hasan , Sofiene Tahar

The design of better exchange-correlation functionals for Density Functional Theory (DFT) is a central challenge of modern electronic structure theory. However, current developments are limited by the mathematical form of the functional,…

Chemical Physics · Physics 2024-08-19 Kyle Bystrom , Boris Kozinsky

In reliability engineering, we need to understand system dependencies, cause-effect relations, identify critical components, and analyze how they trigger failures. Three prominent graph models commonly used for these purposes are fault…

Other Computer Science · Computer Science 2023-10-10 L. A. Jimenez-Roa , T. Heskes , M. Stoelinga

This paper considers the dynamics of edges in a network. The Dynamic Bond Percolation (DBP) process models, through stochastic local rules, the dependence of an edge $(a,b)$ in a network on the states of its neighboring edges. Unlike…

Physics and Society · Physics 2016-01-13 June Zhang , José M. F. Moura

Effective network state classification is a primary task for ensuring network security and optimizing performance. Existing deep learning models have shown considerable progress in this area. Some methods excel at analyzing the complex…

Machine Learning · Computer Science 2025-09-16 Yuan Gao , Xuelong Wang , Zhenguo Dong , Yong Zhang

Dynamical phase transitions (DPTs) characterize critical changes in system behavior occurring at finite times, providing a lens to study nonequilibrium phenomena beyond conventional equilibrium physics. While extensively studied in quantum…

Physics and Society · Physics 2024-12-10 Jiazhen Liu , Nathaniel M. Aden , Debasish Sarker , Chaoming Song

This paper develops a new analytical model to estimate real-time variations in grid frequency and voltages resulting from dynamic network reconfiguration (DNR). In the proposed model, switching operations are considered as discrete…

Systems and Control · Electrical Eng. & Systems 2020-12-15 Jae-Young Park , Young-Jin Kim

The increasing frequency of extreme weather events has posed significant risks to the operation of power grids. During long-duration extreme weather events, microgrid formation (MF) is an essential solution to enhance the resilience of the…

Systems and Control · Electrical Eng. & Systems 2024-06-03 Ziang Liu , Sheng Cai , Qiuwei Wu , Xinwei Shen , Xuan Zhang , Nikos Hatziargyriou

The deployment of deep neural networks in real-world applications is mostly restricted by their high inference costs. Extensive efforts have been made to improve the accuracy with expert-designed or algorithm-searched architectures.…

Machine Learning · Computer Science 2020-11-10 Shaofeng Cai , Yao Shu , Wei Wang , Beng Chin Ooi

The rapid advancement of technology underscores the critical importance of robustness in complex network systems. This paper presents a framework for investigating the structural robustness of interconnected network models. This paper…

Physics and Society · Physics 2023-11-01 Dong Gaogao , Sun Nannan , Wang Fan

Dynamic Bayesian networks (DBNs) are a widely used framework for modeling systems whose probabilistic structure evolves over time. Standard inference methods focus on local conditional distributions and can miss larger-scale patterns in how…

Algebraic Topology · Mathematics 2026-05-13 Will Bales , Carmen Rovi

Multi-dimensional discrete Fourier transforms (DFT) are typically decomposed into multiple 1D transforms. Hence, parallel implementations of any multi-dimensional DFT focus on parallelizing within or across the 1D DFT. Existing DFT packages…

Mathematical Software · Computer Science 2019-12-24 Doru Thom Popovici , Martin D. Schatz , Franz Franchetti , Tze Meng Low

Density Functional Theory (DFT) is widely used for first-principles simulations in chemistry and materials science, but its computational cost remains a key limitation for large systems. Motivated by recent advances in ML-based…

Materials Science · Physics 2026-02-19 Rakshit Kumar Singh , Aryan Amit Barsainyan , Bharath Ramsundar

This paper proposes a novel model-based approach to combine the quantitative dependability (safety, reliability, availability, maintainability and IT security) analysis and trade-off analysis. The proposed approach is called DPN…

Software Engineering · Computer Science 2020-05-13 Zhensheng Guo , Marc Zeller

Deep reinforcement learning (DRL) has emerged as a powerful paradigm for solving complex decision-making problems. However, DRL-based systems still face significant dependability challenges particularly in real-time environments due to the…

Software Engineering · Computer Science 2026-03-25 Guoxin Su , Thomas Robinson , Hoa Khanh Dam , Li Liu , David S. Rosenblum

The goal of this paper is to analyze and predict the central deflection, natural frequency, and critical buckling load of the multi-directional functionally graded (FG) plate with variable thickness resting on an elastic Winkler foundation.…

Machine Learning · Computer Science 2023-01-18 Nam G. Luu , Thanh T. Banh

Many real-world scale-free networks, such as neural networks and online communication networks, consist of a fixed number of nodes but exhibit dynamic edge fluctuations. However, traditional models frequently overlook scenarios where the…

Social and Information Networks · Computer Science 2026-04-02 Yichao Yao , Minyu Feng , Matjaž Perc , Jürgen Kurths

This paper studies the robust optimal operation of distribution networks (DNs) under renewable generation and load demand uncertainties, seeking an improved trade-off between robustness and economic performance. Building upon information…

Systems and Control · Electrical Eng. & Systems 2026-04-28 Zhisheng Xiong , Dimitris Boskos , Bo Zeng , Peter Palensky , Pedro P. Vergara
‹ Prev 1 2 3 10 Next ›