Results 11 to 20 of about 3,277,763 (307)
Dynamic equivalence relation on the fuzzy measure algebras [PDF]
Sahand Communications in Mathematical Analysis, 2017 The main goal of the present paper is to extend classical results from the measure theory and dynamical systems to the fuzzy subset setting. In this paper, the notion of dynamic equivalence relation is introduced and then it is proved that this relation
Roya Ghasemkhani, Uosef Mohammadi
doaj +2 more sources
Dynamic Wavelet and Equivalent Models [PDF]
European Journal of Control, 2000 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Otilia M. Boaghe, S. A. Billings
openaire +3 more sources
Equivalence of hybrid dynamical models [PDF]
Automatica, 2001 تحدد هذه الورقة التكافؤات بين خمس فئات من الأنظمة الهجينة: أنظمة ديناميكية منطقية مختلطة (MLD)، وأنظمة التكامل الخطي (LC)، وأنظمة التكامل الخطي الموسعة (ELC)، وأنظمة التقسيم الجزئي (PWA)، وأنظمة الحد الأقصى للقياس (MMPS). يتم إنشاء بعض المعادلات في إطار افتراضات إضافية (معتدلة إلى حد ما).
W.P.M.H. Heemels +2 more
openaire +5 more sources
Behavioural equivalences for dynamic Web data [PDF]
The Journal of Logic and Algebraic Programming, 2006 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Sergio Maffeis, Philippa Gardner
openaire +1 more source
Deciding equivalence-based properties using constraint solving [PDF]
, 2013 Formal methods have proved their usefulness for analyzing the security of protocols. Most existing results focus on trace properties like secrecy or authentication.
Véronique Cortier +5 more
core +1 more source
A Differential Geometric Setting for Dynamic Equivalence and Dynamic Linearization [PDF]
, 1994 This paper presents an (infinite dimensional) geometric framework for control system, based on infinite jet bundles, where a system is represented by a single vector field and dynamic equivalence (to be precise~: equivalence by endogenous dynamic ...
Jean-Baptiste Pomet +1 more
core +2 more sources
CCS Dynamic Bisimulation is Progressing
, 1991 Weak Observational Congruence (woc) defined on CCS agents is not a bisimulation since it does not require two states reached by bisimilar computations of woc agents to be still woc, e.g.\ $\alpha.\tau.\beta.nil$ and $\alpha.\beta.nil$ are woc but $\tau ...
Ugo Montanari +3 more
core +2 more sources
Equivalence of Dynamical Systems by Bisimulation [PDF]
IEEE Transactions on Automatic Control, 2004 A general notion of bisimulation is defined for linear input-state-output systems, using analogies with the theory of concurrent processes. A characterization of bisimulation and an algorithm for computing the maximal bisimulation relation is derived using geometric control theory.
openaire +4 more sources
Equivalence Checking of Dynamic Quantum Circuits
Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design, 2022 Despite the rapid development of quantum computing these years, state-of-the-art quantum devices still contain only a very limited number of qubits. One possible way to execute more realistic algorithms in near-term quantum devices is to employ dynamic quantum circuits, in which measurements can happen during the circuit and their outcomes are used to ...
Xin Hong +3 more
openaire +3 more sources
Dynamic Equivalent Modeling for Small and Medium Hydropower Generator Group Based on Measurements
Energies, 2016 At present, the common practice in the power system of China is to represent the small and medium hydropower generator group as a negative load. This paper presents a method to build a dynamic equivalent model of the hydropower generator group using a ...
Bowei Hu +4 more
doaj +1 more source