[PDF] Top 20 Algebraic Dynamic Fault Tree Analysis for Avionic Systems
Has 10000 "Algebraic Dynamic Fault Tree Analysis for Avionic Systems" found on our website. Below are the top 20 most common "Algebraic Dynamic Fault Tree Analysis for Avionic Systems".
Algebraic Dynamic Fault Tree Analysis for Avionic Systems
... the avionic systems of aircrafts, failures in different subsystems of the aircrafts, such as faults in hardware or software, are still one of the major causes of fatal flight accidents ...regard, Fault ... Voir le document complet
57
Method for evaluating an extended fault tree to analyse the dependability of complex systems: application to a satellite-based railway system
... descriptions for models using the definition of differ- ent data types and data ...and dynamic gates (PAND, FDEP – functional dependant gate, SEQ – sequence enforcing gate, WSP – Warm spare gate) are ... Voir le document complet
15
Efficient Online Analysis of Accidental Fault Localization for Dynamic Systems using Hidden Markov Model
... online analysis of accidental fault localization for dynamic systems by us- ing Hidden Markov Model ...the fault and no-fault states of system’s com- ponents and system’s ... Voir le document complet
9
Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis
... lem and then show that computing a dynamic observer for a given plant, can be reduced to a game problem. Related work. NP-hardness of finding minimum-cardina- lity sets of observable events so that ... Voir le document complet
11
Dynamic state reconciliation and model-based fault detection for chemical processes
... : Fault Detection, Extended Kalman Filter, Dynamic Hybrid Simulation, Object Differential Petri Nets 1 Introduction With the evolution of the computer power, dynamic simulation has become an ... Voir le document complet
25
Fault Diagnosis with Static and Dynamic Observers
... of fault diagnosis. Fault diagnosis consists in synthesizing a diagnoser that observes a given plant and identifies faults in the plant as soon as possible after their ...consider dynamic observers, ... Voir le document complet
46
Use of algebraic equations for atrium smoke management analysis
... PublicationsArchive-ArchivesPublications@nrc-cnrc.gc.ca. If you wish to email the authors directly, please see the first page of the publication for their contact information. ... Voir le document complet
6
Dynamic analysis and preliminary design of twin-cylinder engines for clean propulsion systems
... multibody dynamic simulation takes into account the effect of the gas pressure inside the ...responsible for the useful torque of the ...responsible for the important stresses inside the components ... Voir le document complet
13
Interactive Dynamic Simulator for Multibody Systems
... implementation for computing using Featherstone's algorithm, by considering no joint torques, no joint velocities, no gravity, and applying a unit force at each contact ... Voir le document complet
25
Fault Ascription in Concurrent Systems
... cause for an observed property ϕ if with different values of X, ϕ would not hold, and there exists a contingency in which the observed values of X entail ...reasons for the difference, and characterizing ... Voir le document complet
20
Generic dynamic simulation for mechanical systems
... equations for different multibody systems must be derived individually and separately prior to the simulation and ...to systems with fixed topologies or ...approach for arbitrary multibody ... Voir le document complet
8
Every totally real algebraic integer is a tree eigenvalue
... real algebraic integers, ...real algebraic integer occurs as an eigenvalue of some finite graph is a deep result, conjectured forty years ago by Hoffman, and proved seventeen years later by ... Voir le document complet
10
Algebraic Analysis of Branching Processes
... equivalence [14], the partial order equivalence [15], or the ST-bisimulation equivalence [16]. These different equivalences are based either on the isomorphism between the unfolding of nets or on observable actions or ... Voir le document complet
9
Fault Diagnosis of Discrete Event Systems Using Components Fault-Free models
... Y for the sub-model G Y of the Y axis Plant Elements is depicted in ...conditions for the occurrence of each event and the second one is the displacement matrix for the estimation of the state output ... Voir le document complet
8
Is dynamic compilation possible for embedded systems ?
... 4. RELATED WORKS Java JIT mix interpretation and dynamic compilation for hostpots. Such techniques usually require large memory to embed JIT framework, and performance overhead. Some re- search works have ... Voir le document complet
5
Model based fault diagnosis for hybrid systems : application on chemical processes
... hybrid dynamic systems The simulation of unit operations and physico-chemical evo- lution of products often necessitates the implementation of phenomenological ...hybrid dynamic simulators seems to ... Voir le document complet
15
Lightweight Specification and Analysis of Dynamic Systems with Rich Configurations
... such systems, and, in fact, the language here proposed combines their best ...properties for every acceptable ...checked for the tem- poral ...port for model-checking, is fSMV [ 27 , 7 ], an ... Voir le document complet
12
Evaluating Tree Pattern Similarity for Content-based Routing Systems
... language for data interchange, scalable distribution of data to large populations of consumers remains an important ...publish/subscribe systems offer a convenient abstraction for data producer and ... Voir le document complet
31
Dynamic memory-aware task-tree scheduling
... directed tree- shaped task graphs, where edges represent data dependency between ...of tree-shaped task graphs using multiple processors that share a bounded ...the tree within a given memory ... Voir le document complet
42
Algebraic Analysis of Branching Processes
... Keywords–Petri Nets; Unfolding; Branching process; Algebra. I. I NTRODUCTION Petri nets are a widely used tool used to model critical real-time systems. The formal verification of properties is then based on the ... Voir le document complet
9
Sujets connexes