中文
相关论文

相关论文: Redundancy schemes for engineering coherent system…

200 篇论文

Redundancy identification is an important step of the design flow that typically follows logic synthesis and optimization. In addition to reducing circuit area, power consumption, and delay, redundancy removal also improves testability. All…

数据结构与算法 · 计算机科学 2015-03-24 Maxim Teslenko , Elena Dubrova

A large toolbox of numerical schemes for dispersive equations has been established, based on different discretization techniques such as discretizing the variation-of-constants formula (e.g., exponential integrators) or splitting the full…

数值分析 · 数学 2024-05-20 Frédéric Rousset , Katharina Schratz

In this paper, we consider the problem of quantifying systemic redundancy in reliable systems having multiple controllers with overlapping functionality. In particular, we consider a multi-channel system with multi-controller configurations…

动力系统 · 数学 2015-02-17 Getachew K. Befekadu , Panos J. Antsaklis

Distributed allocation finds applications in many scenarios including CPU scheduling, distributed energy resource management, and networked coverage control. In this paper, we propose a fast convergent optimization algorithm with a tunable…

信号处理 · 电气工程与系统科学 2024-01-30 Mohammadreza Doostmohammadian , Alireza Aghasi

Scheduling applications on wide-area distributed systems is useful for obtaining quick and reliable results in an efficient manner. Optimized scheduling algorithms are fundamentally important in order to achieve optimized resources…

分布式、并行与集群计算 · 计算机科学 2011-06-28 Diana Moise , Eliza Moise , Florin Pop , Valentin Cristea

Relative ageing describes how a system ages with respect to another one. The ageing faster orders are the ones which compare the relative ageings of two systems. Here, we study ageing faster orders in the hazard and the reversed hazard…

应用统计 · 统计学 2019-06-21 Nil Kamal Hazra , Neeraj Misra

Decision making problems are typically concerned with maximizing efficiency. In contrast, we address problems where there are multiple stakeholders and a centralized decision maker who is obliged to decide in a fair manner. Different…

最优化与控制 · 数学 2022-12-21 Andrea Lodi , Philippe Olivier , Gilles Pesant , Sriram Sankaranarayanan

Keeping the balance between supply and demand is a fundamental task in power system operational planning practices. This task becomes particularly challenging due to the deepening penetration of renewable energy resources, which induces a…

系统与控制 · 电气工程与系统科学 2019-10-24 Xinbo Geng , Le Xie

Researchers have long proposed using economic approaches to resource allocation in computer systems. However, few of these proposals became operational, let alone commercial. Questions persist about the economic approach regarding its…

操作系统 · 计算机科学 2007-05-23 Kevin Lai

Component substitution has numerous practical applications and constitutes an active research topic. This paper proposes to enrich an existing component-based framework--a model with dynamic reconfigurations making the system evolve--with a…

软件工程 · 计算机科学 2014-08-10 Arnaud Lanoix , Olga Kouchnarenko

This paper presents a powerful automated framework for making complex systems resilient under failures, by optimized adaptive distribution and replication of interdependent software components across heterogeneous hardware components with…

分布式、并行与集群计算 · 计算机科学 2025-06-13 Scott D. Stoller , Balaji Jayasankar , Yanhong A. Liu

This paper proposes an accelerated consensus-based distributed iterative algorithm for resource allocation and scheduling. The proposed gradient-tracking algorithm introduces an auxiliary variable to add momentum towards the optimal state.…

系统与控制 · 电气工程与系统科学 2025-03-11 Mohammadreza Doostmohammadian , Zulfiya R. Gabidullina , Hamid R. Rabiee

This paper proposes an algorithm to estimate the parameters, including time delay, of continuous time systems based on instrumental variable identification methods. To overcome the multiple local minima of the cost function associated with…

统计理论 · 数学 2018-07-24 Huong Ha , James S. Welsh , Mazen Alamir

The paper faces the problem of scheduling from a new perspective, trying to bridge the gap between classical heuristic approaches and system identification and control strategies. To this aim, a complete mathematical formulation of a…

适应与自组织系统 · 物理学 2009-12-02 Giacomo Innocenti , Luca Pretini

The design of a complex system warrants a compositional methodology, i.e., composing simple components to obtain a larger system that exhibits their collective behavior in a meaningful way. We propose an automaton-based paradigm for…

计算机科学中的逻辑 · 计算机科学 2023-02-03 Tobias Kappé , Farhad Arbab , Carolyn Talcott

Efficient structural reanalysis for high-rank modification plays an important role in engineering computations which require repeated evaluations of structural responses, such as structural optimization and probabilistic analysis. To…

计算工程、金融与科学 · 计算机科学 2025-05-20 Wenxiong Li , Suiyin Chen , Huan Huang

We study the consideration of fairness in redundant assignment for multi-agent task allocation. It has recently been shown that redundant assignment of agents to tasks provides robustness to uncertainty in task performance. However, the…

机器人学 · 计算机科学 2021-03-09 Matthew Malencia , Vijay Kumar , George Pappas , Amanda Prorok

In a coherent reliability system composed of multiple components configured according to a specific structure function, the distribution of system time to failure, or system lifetime, is often of primary interest. Accurate estimation of…

统计方法学 · 统计学 2025-09-19 Beidi Qiang , Edsel Pena

Stochastic point processes with refractoriness appear frequently in the quantitative analysis of physical and biological systems, such as the generation of action potentials by nerve cells, the release and reuptake of vesicles at a synapse,…

Severe impossibility results restrict the design of strategyproof random assignment mechanisms, and trade-offs are necessary when aiming for more demanding efficiency requirements, such as ordinal or rank efficiency. We introduce hybrid…

计算机科学与博弈论 · 计算机科学 2017-07-11 Timo Mennle , Sven Seuken