scholarly journals Investigation of observability property of controlled binary dynamical systems: a logical approach

2021 ◽  
Author(s):  
G.A. Oparin ◽  
V.G. Bogdanova ◽  
A.A. Pashinin
Keyword(s):  
Dynamical Systems ◽  
Binary System ◽  
System Dynamics ◽  
Boolean Model ◽  
Boolean Formula ◽  
Formal Definition ◽  
Applied Logic ◽  
Quantified Boolean Formula ◽  
Logical Specification ◽  
Definition Of

The property of observability of controlled binary dynamical systems is investigated. A formal definition of the property is given in the language of applied logic of predicates with bounded quantifiers of existence and universality. A Boolean model of the property is built in the form of a quantified Boolean formula accordingly to the Boolean constraints method developed by the authors. This formula satisfies both the logical specification of the property and the equations of the binary system dynamics. Aspects of the proposed approach implementation for the study of the observability property are considered. The technology of checking the feasibility of the property using an applied microservice package is demonstrated in several examples.

scholarly journals Handling Initial Conditions in Vector Fitting for Real Time Modeling of Power System Dynamics

Energies ◽  
2021 ◽  
Vol 14 (9) ◽  
pp. 2471
Author(s):  
Tommaso Bradde ◽  
Samuel Chevalier ◽  
Marco De Stefano ◽  
Stefano Grivet-Talocia ◽  
Luca Daniel
Keyword(s):  
Dynamical Systems ◽  
Power System ◽  
System Dynamics ◽  
Real Time ◽  
Initial Conditions ◽  
Test System ◽  
Initial State ◽  
Power System Dynamics ◽  
Vector Fitting ◽  
Time Modeling

This paper develops a predictive modeling algorithm, denoted as Real-Time Vector Fitting (RTVF), which is capable of approximating the real-time linearized dynamics of multi-input multi-output (MIMO) dynamical systems via rational transfer function matrices. Based on a generalization of the well-known Time-Domain Vector Fitting (TDVF) algorithm, RTVF is suitable for online modeling of dynamical systems which experience both initial-state decay contributions in the measured output signals and concurrently active input signals. These adaptations were specifically contrived to meet the needs currently present in the electrical power systems community, where real-time modeling of low frequency power system dynamics is becoming an increasingly coveted tool by power system operators. After introducing and validating the RTVF scheme on synthetic test cases, this paper presents a series of numerical tests on high-order closed-loop generator systems in the IEEE 39-bus test system.

scholarly journals Students’ Understanding on Formal Definition of Limit

2021 ◽  
Vol 1752 (1) ◽  
pp. 012082
Author(s):  
Nurdin ◽  
S F Assagaf ◽  
F Arwadi
Keyword(s):  
Formal Definition ◽  
Definition Of

Diagnosis Rule Discovery Based on Causality in the Context of Fault Diagnosis in Rotating Machinery

2014 ◽  
Vol 532 ◽  
pp. 113-117
Author(s):  
Zhou Jin ◽  
Ru Jing Wang ◽  
Jie Zhang
Keyword(s):  
Fault Diagnosis ◽  
General Framework ◽  
Complex Structure ◽  
Rotating Machinery ◽  
Massive Data ◽  
Formal Definition ◽  
Rule Discovery ◽  
Rule Based ◽  
Simple Implementation ◽  
Definition Of

The rotating machineries in a factory usually have the characteristics of complex structure and highly automated logic, which generated a large amounts of monitoring data. It is an infeasible task for uses to deal with the massive data and locate fault timely. In this paper, we explore the causality between symptom and fault in the context of fault diagnosis in rotating machinery. We introduce data mining into fault diagnosis and provide a formal definition of causal diagnosis rule based on statistic test. A general framework for diagnosis rule discovery based on causality is provided and a simple implementation is explored with the purpose of providing some enlightenment to the application of causality discovery in fault diagnosis of rotating machinery.

scholarly journals Time to Harmonize Dengue Nomenclature and Classification

Viruses ◽  
2018 ◽  
Vol 10 (10) ◽  
pp. 569 ◽  
Author(s):  
Lize Cuypers ◽  
Pieter Libin ◽  
Peter Simmonds ◽  
Ann Nowé ◽  
Jorge Muñoz-Jordán ◽  
...  
Keyword(s):  
Genetic Diversity ◽  
Dengue Virus ◽  
Classification System ◽  
Formal Definition ◽  
Classification Procedure ◽  
Genotype 2 ◽  
Global Spread ◽  
Significant Burden ◽  
Definition Of ◽  
Epidemiological Characteristics

Dengue virus (DENV) is estimated to cause 390 million infections per year worldwide. A quarter of these infections manifest clinically and are associated with a morbidity and mortality that put a significant burden on the affected regions. Reports of increased frequency, intensity, and extended geographical range of outbreaks highlight the virus’s ongoing global spread. Persistent transmission in endemic areas and the emergence in territories formerly devoid of transmission have shaped DENV’s current genetic diversity and divergence. This genetic layout is hierarchically organized in serotypes, genotypes, and sub-genotypic clades. While serotypes are well defined, the genotype nomenclature and classification system lack consistency, which complicates a broader analysis of their clinical and epidemiological characteristics. We identify five key challenges: (1) Currently, there is no formal definition of a DENV genotype; (2) Two different nomenclature systems are used in parallel, which causes significant confusion; (3) A standardized classification procedure is lacking so far; (4) No formal definition of sub-genotypic clades is in place; (5) There is no consensus on how to report antigenic diversity. Therefore, we believe that the time is right to re-evaluate DENV genetic diversity in an essential effort to provide harmonization across DENV studies.

Concepts of Augmented Image Space and Transformed Feature Space for Efficient Visual Servoing of an “Eye-in-Hand Robot”

Robotica ◽  
1991 ◽  
Vol 9 (2) ◽  
pp. 203-212 ◽  
Author(s):  
Won Jang ◽  
Kyungjin Kim ◽  
Myungjin Chung ◽  
Zeungnam Bien
Keyword(s):  
Visual Feedback ◽  
Visual Servoing ◽  
Industrial Robot ◽  
Robot Vision ◽  
Feature Space ◽  
Image Features ◽  
Image Space ◽  
Formal Definition ◽  
Computational Burden ◽  
Definition Of

SUMMARYFor efficient visual servoing of an “eye-in-hand” robot, the concepts of Augmented Image Space and Transformed Feature Space are presented in the paper. A formal definition of image features as functionals is given along with a technique to use defined image features for visual servoing. Compared with other known methods, the proposed concepts reduce the computational burden for visual feedback, and enhance the flexibility in describing the vision-based task. Simulations and real experiments demonstrate that the proposed concepts are useful and versatile tools for the industrial robot vision tasks, and thus the visual servoing problem can be dealt with more systematically.

CHAOTIC DYNAMICS FOR MAPS IN ONE AND TWO DIMENSIONS: A GEOMETRICAL METHOD AND APPLICATIONS TO ECONOMICS

2009 ◽  
Vol 19 (10) ◽  
pp. 3283-3309 ◽  
Author(s):  
ALFREDO MEDIO ◽  
MARINA PIREDDU ◽  
FABIO ZANOLIN
Keyword(s):  
Dynamical Systems ◽  
Discrete Time ◽  
Chaotic Dynamics ◽  
Economic Models ◽  
Two Dimensions ◽  
Geometrical Method ◽  
Mathematical Ideas ◽  
Definition Of ◽  
Applications To Economics ◽  
Discrete Time Dynamical Systems

This article describes a method — called here "the method of Stretching Along the Paths" (SAP) — to prove the existence of chaotic sets in discrete-time dynamical systems. The method of SAP, although mathematically rigorous, is based on some elementary geometrical considerations and is relatively easy to apply to models arising in applications. The paper provides a description of the basic mathematical ideas behind the method, as well as three applications to economic models. Incidentally, the paper also discusses some questions concerning the definition of chaos and some problems arising from economic models in which the dynamics are defined only implicitly.

Notes on providing a formal definition of equivalence

2010 ◽  
Vol 10 (1-2) ◽  
pp. 143-148
Author(s):  
Gabrielle Martino
Keyword(s):  
Formal Definition ◽  
Definition Of

INTERTWINED BASINS OF ATTRACTION

2012 ◽  
Vol 22 (06) ◽  
pp. 1250130
Author(s):  
CHANGMING DING
Keyword(s):  
Dynamical Systems ◽  
Metric Space ◽  
Basins Of Attraction ◽  
General Definition ◽  
Sufficient Condition ◽  
Topological Equivalence ◽  
Definition Of

This paper deals with intertwined basins of attraction for dynamical systems in a metric space. After giving a general definition of intertwining property, which is preserved by a topological equivalence between dynamical systems, we present a sufficient condition to guarantee the existence of intertwined basins for dynamical systems in ℝn.

Sign in / Sign up

Export Citation Format

Share Document