English
Related papers

Related papers: Analysis and Reliability of Separable Systems

200 papers

Robustness of linear systems with constant coefficients is considered. There exist methods and tools for analyzing the stability of systems with random or deterministic uncertainties. At the same time, there are no approaches for the…

Optimization and Control · Mathematics 2020-12-08 Andrey Tremba

Hamiltonian neural networks (HNNs) are state-of-the-art models that regress the vector field of a dynamical system under the learning bias of Hamilton's equations. A recent observation is that embedding a bias regarding the additive…

Machine Learning · Computer Science 2024-08-16 Zi-Yu Khoo , Dawen Wu , Jonathan Sze Choong Low , Stéphane Bressan

Autonomous systems are becoming an integral part of many application domains, like in the mobility sector. However, ensuring their safe and correct behaviour in dynamic and complex environments remains a significant challenge, where systems…

Artificial Intelligence · Computer Science 2025-07-16 Selma Saidi , Omar Laimona , Christoph Schmickler , Dirk Ziegenbein

The dependency on the correct functioning of embedded systems is rapidly growing, mainly due to their wide range of applications, such as micro-grids, automotive device control, health care, surveillance, mobile devices, and consumer…

Logic in Computer Science · Computer Science 2017-03-01 Lucas Cordeiro

Accountability is an often called for property of technical systems. It is a requirement for algorithmic decision systems, autonomous cyber-physical systems, and for software systems in general. As a concept, accountability goes back to the…

Software Engineering · Computer Science 2021-04-30 Severin Kacianka , Alexander Pretschner

Multivariate measurements taken at different spatial locations occur frequently in practice. Proper analysis of such data needs to consider not only dependencies on-sight but also dependencies in and in-between variables as a function of…

Methodology · Statistics 2024-04-12 Christoph Muehlmann , Peter Filzmoser , Klaus Nordhausen

Separable Bayesian Networks, or the Influence Model, are dynamic Bayesian Networks in which the conditional probability distribution can be separated into a function of only the marginal distribution of a node's neighbors, instead of the…

Artificial Intelligence · Computer Science 2012-07-02 Chalee Asavathiratham

We consider the controllability of large-scale linear networked dynamical systems when complete knowledge of network structure is unavailable and knowledge is limited to coarse summaries. We provide conditions under which average…

Systems and Control · Electrical Eng. & Systems 2022-06-22 Nafiseh Ghoroghchian , Rajasekhar Anguluri , Gautam Dasarathy , Stark C. Draper

Autonomous systems with machine learning-based perception can exhibit unpredictable behaviors that are difficult to quantify, let alone verify. Such behaviors are convenient to capture in probabilistic models, but probabilistic model…

Logic in Computer Science · Computer Science 2022-03-17 Matthew Cleaveland , Ivan Ruchkin , Oleg Sokolsky , Insup Lee

Stochastic hybrid systems have received significant attentions as a relevant modelling framework describing many systems, from engineering to the life sciences: they enable the study of numerous applications, including transportation…

Logic in Computer Science · Computer Science 2022-03-11 Abolfazl Lavaei , Sadegh Soudjani , Alessandro Abate , Majid Zamani

We discuss the construction of component importance measures for binary coherent reliability systems from known stochastic dependence measures by measuring the dependence between system and component failures. We treat both the…

Applications · Statistics 2017-10-16 Mario Hellmich

The modeling of complex systems such as ecological or socio-economic systems can be very challenging. Although various modeling approaches exist, they are generally not compatible and mutually consistent, and empirical data often do not…

Physics and Society · Physics 2010-07-19 Dirk Helbing

Studying the reliability of complex systems using machine learning techniques involves facing a series of technical and practical challenges, ranging from the intrinsic nature of the system and data to the difficulties in modeling and…

Machine Learning · Computer Science 2024-10-08 Maria Luz Gamiz , Fernando Navas-Gomez , Rafael Nozal-Cañadas , Rocio Raya-Miranda

We derive sufficient conditions for the solvability of the state estimation problem for a class of nonlinear control time-varying systems which includes those, whose dynamics have triangular structure. The state estimation is exhibited by…

Optimization and Control · Mathematics 2018-06-07 John Tsinias , Constantinos Kitsos

We consider the problem of best subset selection (BSS) under high-dimensional sparse linear regression model. Recently, Guo et al. (2020) showed that the model selection performance of BSS depends on a certain identifiability margin, a…

Statistics Theory · Mathematics 2025-04-15 Saptarshi Roy , Ambuj Tewari , Ziwei Zhu

A load sharing system has several components and the failure of one component can affect the lifetime of the surviving components. Since component failure does not equate to system failure for different system designs, the analysis of the…

Applications · Statistics 2023-07-20 Tim Pesch , Erhard Cramer , Edward Cripps , Adriano Polpo

This paper is motivated by the theory of sequential dynamical systems, developed as a basis for a mathematical theory of computer simulation. It contains a classification of finite dynamical systems on binary strings, which are obtained by…

Dynamical Systems · Mathematics 2007-05-23 Luis Garcia , Abdul Salam Jarrah , Reinhard Laubenbacher

We abstract the core logical functions from applications that require ultra-low-latency wireless communications to provide a novel definition for reliability. Real-time applications -- such as intelligent transportation, remote surgery, and…

Information Theory · Computer Science 2020-08-19 Rebal Jurdi , Jeffrey G. Andrews , Robert W. Heath

Search-Based Software Engineering (SBSE) is a promising paradigm that exploits the computational search to optimize different processes when engineering complex software systems. Self-adaptive system (SAS) is one category of such complex…

Software Engineering · Computer Science 2020-08-18 Tao Chen , Miqing Li , Ke Li , Kalyanmoy Deb

We do the error analysis in reliability measures due to the assumption of independence amongst the component lifetimes. In reliability theory, we come across different n-component structures like series, parallel, and k-out-of-n systems. A…

Statistics Theory · Mathematics 2024-03-11 Subarna Bhattacharjee , Aninda K. Nanda , Subhasree Patra