English
Related papers

Related papers: Observability and diagnosability of finite state s…

200 papers

Exponential dichotomies play a central role in stability theory for dynamical systems. They allow to split the state space into two subspaces, where all trajectories in one subspace decay whereas all trajectories in the other subspace grow,…

Systems and Control · Electrical Eng. & Systems 2020-05-12 Markus Tranninger , Richard Seeber , Martin Steinberger , Martin Horn

Fault diagnosis is crucial for complex autonomous mobile systems, especially for modern-day autonomous driving (AD). Different actors, numerous use cases, and complex heterogeneous components motivate a fault diagnosis of the system and…

This work attempts to discuss the observability of linear time-invariant systems with event-triggered measurements. A new notion of observability, namely, $\epsilon$-observability is defined with parameter $\epsilon$, which relates to the…

Systems and Control · Electrical Eng. & Systems 2022-03-31 Kaikai Zheng , Dawei Shi , Tongwen Chen

We study a long-recognised but under-appreciated symmetry called "dynamical similarity" and illustrate its relevance to many important conceptual problems in fundamental physics. Dynamical similarities are general transformations of a…

History and Philosophy of Physics · Physics 2021-12-30 Sean Gryb , David Sloan

A dynamical system is observable if there is a one-to-one mapping from the system's measured outputs and inputs to all of the system's states. Analytical and empirical tools exist for quantifying the (full state) observability of linear and…

Systems and Control · Electrical Eng. & Systems 2023-09-15 Benjamin Cellini , Burak Boyacıoğlu , Floris van Breugel

The problem of state reconstruction and estimation is considered for a class of switched dynamical systems whose subsystems are modeled using linear differential-algebraic equations (DAEs). Since this system class imposes time-varying…

Systems and Control · Computer Science 2017-07-21 Aneel Tanwani , Stephan Trenn

This paper introduces a unified model of consistency and isolation that minimizes the gap between how these guarantees are defined and how they are perceived. Our approach is premised on a simple observation: applications view storage…

Distributed, Parallel, and Cluster Computing · Computer Science 2016-09-22 Natacha Crooks , Youer Pu , Lorenzo Alvisi , Allen Clement

In this paper we investigate to which extent a very simple and natural "reachability as deducibility" approach, originated in the research in formal methods in security, is applicable to the automated verification of large classes of…

Logic in Computer Science · Computer Science 2010-11-30 Alexei Lisitsa

Machine failures decrease up-time and can lead to extra repair costs or even to human casualties and environmental pollution. Recent condition monitoring techniques use artificial intelligence in an effort to avoid time-consuming manual…

Machine Learning · Computer Science 2020-01-14 Kilian Hendrickx , Wannes Meert , Yves Mollet , Johan Gyselinck , Bram Cornelis , Konstantinos Gryllias , Jesse Davis

This paper introduces reviewability as a framework for improving the accountability of automated and algorithmic decision-making (ADM) involving machine learning. We draw on an understanding of ADM as a socio-technical process involving…

Computers and Society · Computer Science 2021-02-11 Jennifer Cobbe , Michelle Seng Ah Lee , Jatinder Singh

The manufacturing sector is envisioned to be heavily influenced by artificial intelligence-based technologies with the extraordinary increases in computational power and data volumes. A central challenge in manufacturing sector lies in the…

Machine Learning · Computer Science 2022-08-31 Ye Yuan , Guijun Ma , Cheng Cheng , Beitong Zhou , Huan Zhao , Hai-Tao Zhang , Han Ding

Despite being a foundational concept of modern systems theory, there have been few studies on observability of non-linear stochastic systems under partial observations. In this paper, we introduce a definition of observability for…

Probability · Mathematics 2022-12-08 Curtis McDonald , Serdar Yuksel

The robust distributed state estimation for a class of continuous-time linear time-invariant systems is achieved by a novel kernel-based distributed observer, which, for the first time, ensures fixed-time convergence properties. The…

Systems and Control · Electrical Eng. & Systems 2022-09-21 Pudong Ge , Peng Li , Boli Chen , Fei Teng

This paper investigates regularity, controllability and observability for a networked dynamic system (NDS) with its subsystems being described in a descriptor form and system matrices of each subsystem being represented by a generalized…

Systems and Control · Computer Science 2020-08-05 Tong Zhou

We construct a single observable measurement of which mean value on four copies of an {\it unknown} two-qubit state is sufficient for unambiguous decision whether the state is separable or entangled. In other words, there exists a universal…

Quantum Physics · Physics 2015-06-26 Remigiusz Augusiak , Maciej Demianowicz , Pawel Horodecki

The mutations of a complex systemic disease like cancer can be modeled as stuck-at faults in the Boolean system paradigm. For a class of multiple faults, the fault identification is exceptionally significant under the incomplete access of…

Systems and Control · Computer Science 2018-09-11 Anuj Deshpande , Ritwik Kumar Layek

Much has been said about observability in system theory and control; however, it has been recently that observability in complex networks has seriously attracted the attention of researchers. This paper examines the state-of-the-art and…

Systems and Control · Computer Science 2017-07-13 Mehdi Fatemi , Peyman Setoodeh , Simon Haykin

Due to the complexity of the human body, most diseases present a high inter-personal variability in the way they manifest, i.e. in their phenotype, which has important clinical repercussions - as for instance the difficulty in defining…

Physics and Society · Physics 2018-06-06 Massimiliano Zanin , Juan Manuel Tuñas , Ernestina Menasalvas

The unknown inputs in a dynamical system may represent unknown external drivers, input uncertainty, state uncertainty, or instrument faults and thus unknown-input reconstruction has several wide-spread applications. In this paper we…

Optimization and Control · Mathematics 2015-09-22 Roshan A Chavan , Harish J. Palanthandalam-Madapusi

A hidden Markov model is called observable if distinct initial laws give rise to distinct laws of the observation process. Observability implies stability of the nonlinear filter when the signal process is tight, but this need not be the…

Probability · Mathematics 2009-08-10 Ramon van Handel