Search Results: 1 - 10 of 100 matches for " "
All listed articles are free for downloading (OA Articles)
Page 1 /100
Display every page Item
A General Framework for Well-Structured Graph Transformation Systems  [PDF]
Barbara K?nig,Jan Stückrath
Computer Science , 2014,
Abstract: Graph transformation systems (GTSs) can be seen as wellstructured transition systems (WSTSs), thus obtaining decidability results for certain classes of GTSs. In earlier work it was shown that wellstructuredness can be obtained using the minor ordering as a well-quasiorder. In this paper we extend this idea to obtain a general framework in which several types of GTSs can be seen as (restricted) WSTSs. We instantiate this framework with the subgraph ordering and the induced subgraph ordering and apply it to analyse a simple access rights management system.
A General Framework for Model Based Fault Detection of Hybrid Systems
G. K. Fourlas,K. J. Kyriakopoulos,N. J Krikelis
Asian Journal of Information Technology , 2012,
Abstract: Fault detection is a challenging task in the automatic control of hybrid systems. In this work a general framework for fault detection of hybrid systems is suggested. We present a methodology for detection of faults using diagnoser. This approach is applicable to a wide rage of systems since hybrid systems involve both continuous and discrete dynamics. The states of the hybrid system model reflect the normal and the failed status of the system components. The faults in our setting are modeled as either discrete or continuous (detrimental) state changes.
A general theoretical framework for decoherence in open and closed systems  [PDF]
Mario Castagnino,Sebastian Fortin,Roberto Laura,Olimpia Lombardi
Physics , 2009, DOI: 10.1088/0264-9381/25/15/154002
Abstract: A general theoretical framework for decoherence is proposed, which encompasses formalisms originally devised to deal just with open or with closed systems. The conditions for decoherence are clearly stated and the relaxation and decoherence times are compared. Finally, the spin-bath model is developed in detail from the new perspective.
A General Framework for the Optimization of Energy Harvesting Communication Systems with Battery Imperfections  [PDF]
Bertrand Devillers,Deniz Gunduz
Mathematics , 2011,
Abstract: Energy harvesting has emerged as a powerful technology for complementing current battery-powered communication systems in order to extend their lifetime. In this paper a general framework is introduced for the optimization of communication systems in which the transmitter is able to harvest energy from its environment. Assuming that the energy arrival process is known non-causally at the transmitter, the structure of the optimal transmission scheme, which maximizes the amount of transmitted data by a given deadline, is identified. Our framework includes models with continuous energy arrival as well as battery constraints. A battery that suffers from energy leakage is studied further, and the optimal transmission scheme is characterized for a constant leakage rate.
A general framework for nonholonomic mechanics: Nonholonomic Systems on Lie affgebroids  [PDF]
D. Iglesias,J. C. Marrero,D. Martin de Diego,D. Sosa
Mathematics , 2007, DOI: 10.1063/1.2776845
Abstract: This paper presents a geometric description of Lagrangian and Hamiltonian systems on Lie affgebroids subject to affine nonholonomic constraints. We define the notion of nonholonomically constrained system, and characterize regularity conditions that guarantee that the dynamics of the system can be obtained as a suitable projection of the unconstrained dynamics. It is shown that one can define an almost aff-Poisson bracket on the constraint AV-bundle, which plays a prominent role in the description of nonholonomic dynamics. Moreover, these developments give a general description of nonholonomic systems and the unified treatment permits to study nonholonomic systems after or before reduction in the same framework. Also, it is not necessary to distinguish between linear or affine constraints and the methods are valid for explicitly time-dependent systems.
General Framework for the Behaviour of Continuously Observed Open Quantum Systems  [PDF]
Ole E. Barndorff-Nielsen,Elena R. Loubenets
Mathematics , 2002, DOI: 10.1088/0305-4470/35/3/308
Abstract: We develop the general quantum stochastic approach to the description of quantum measurements continuous in time. The framework, that we introduce, encompasses the various particular models for continuous-time measurements condsidered previously in the physical and the mathematical literature.
A Flexible Uncertainty Quantification Framework for General Multi-Physics Systems  [PDF]
Akshay Mittal,Xiao Chen,Charles Tong,Gianluca Iaccarino
Physics , 2014,
Abstract: We present a "module-based hybrid" Uncertainty Quantification (UQ) framework for general nonlinear multi-physics simulation. The proposed methodology, introduced in [\hyperlink{ref1}{1}], supports the independent development of each \emph{stochastic} linear or nonlinear physics module equipped with the most suitable probabilistic UQ method: non-intrusive, semi-intrusive or intrusive; and provides a generic framework to couple these stochastic simulation components. Moreover, the methodology is illustrated using a common "global" uncertainty representation scheme based on generalized polynomial chaos (gPC) expansions of inputs and outputs. By using thermally-driven cavity flow as the multi-physics model problem, we demonstrate the utility of our framework and report the computational gains achieved.
Formal features of a General Theoretical Framework for Decoherence in open and closed systems  [PDF]
Mario Castagnino,Sebastian Fortin
Physics , 2013, DOI: 10.1007/s10773-012-1456-4
Abstract: Two complementary decoherence formalisms, Environment Induced Decoherence (EID) for open systems and Self Induced Decoherence (SID) for close systems are compared under a common General Theoretical Formalism for Decoherence (GTFD). The differences and similarities of EID and SID are studied, e. g. that the main difference is that EID only considers the relevant information of the proper system S and neglects the rest, while SID considers all possible information available from a certain class of measurement instruments and neglects the non available information.
A General Framework for Scalability and Performance Analysis of DHT Routing Systems  [PDF]
Joseph S. Kong,Jesse S. A. Bridgewater,Vwani P. Roychowdhury
Computer Science , 2006,
Abstract: In recent years, many DHT-based P2P systems have been proposed, analyzed, and certain deployments have reached a global scale with nearly one million nodes. One is thus faced with the question of which particular DHT system to choose, and whether some are inherently more robust and scalable. Toward developing such a comparative framework, we present the reachable component method (RCM) for analyzing the performance of different DHT routing systems subject to random failures. We apply RCM to five DHT systems and obtain analytical expressions that characterize their routability as a continuous function of system size and node failure probability. An important consequence is that in the large-network limit, the routability of certain DHT systems go to zero for any non-zero probability of node failure. These DHT routing algorithms are therefore unscalable, while some others, including Kademlia, which powers the popular eDonkey P2P system, are found to be scalable.
A General Framework for Modeling and Online Optimization of Stochastic Hybrid Systems  [PDF]
Ali Kebarighotbi,Christos G. Cassandras
Mathematics , 2012,
Abstract: We extend the definition of a Stochastic Hybrid Automaton (SHA) to overcome limitations that make it difficult to use for on-line control. Since guard sets do not specify the exact event causing a transition, we introduce a clock structure (borrowed from timed automata), timer states, and guard functions that disambiguate how transitions occur. In the modified SHA, we formally show that every transition is associated with an explicit element of an underlying event set. This also makes it possible to uniformly treat all events observed on a sample path of a stochastic hybrid system and generalize the performance sensitivity estimators derived through Infinitesimal Perturbation Analysis (IPA). We eliminate the need for a case-by-case treatment of different event types and provide a unified set of matrix IPA equations. We illustrate our approach by revisiting an optimization problem for single node finite-capacity stochastic flow systems to obtain performance sensitivity estimates in this new setting.
Page 1 /100
Display every page Item

Copyright © 2008-2017 Open Access Library. All rights reserved.