Filters








24,477 Hits in 4.1 sec

Embedding Real Time in Stochastic Process Algebras [chapter]

Jasen Markovski, Erik P. de Vink
2006 Lecture Notes in Computer Science  
We discuss the embedding of weak-choice real-time process theories and analyze the behavior of parallel composition in the weak choice framework.  ...  We present a stochastic process algebra including immediate actions, deadlock and termination, and explicit stochastic delays, in the setting of weak choice between immediate actions and passage of time  ...  We justify, via an embedding of transition systems, the proposed stochastic process algebra being called an extension of real-time process algebra.  ... 
doi:10.1007/11777830_4 fatcat:r5neijy6ebdatm2qgtnjsr3zyi

Let's evaluate performance algebraically

Marco Bernardo
1999 ACM Computing Surveys  
We discuss the benefits of using process algebras in the field of performance modeling and evaluation.  ...  This has required extending formal description techniques by introducing the concept of time, represented either in a deterministic way or in a stochastic way.  ...  to model and analyze real time systems, and stochastically timed process algebras, adopted for performance evaluation purposes.  ... 
doi:10.1145/333580.333586 fatcat:g5kn6mhs2vhqzdrz5cwfwdimxa

Page 7395 of Mathematical Reviews Vol. , Issue 2004i [page]

2004 Mathematical Reviews  
Summary: “The stationary quantum stochastic process / is in- troduced as a *-homomorphism embedding an involutive graded algebra K = €3*, K; into a ring of (abelian) cohomologies of the one-parameter group  ...  For a partition of the positive real line there is an embedding of the toy Fock space into the Bose Fock space.  ... 

Applied Mathematics And Sciences: An International Journal (Mathsj)

AIRCCSE
2018 Zenodo  
control and instrumentation Real and Complex Analysis Real-time issues Robust control Set Theory Sliding mode control Statistics Stochastic control and filtering Stochastic Modelling System identification  ...  in science and engineering Artificial Neural Networks (ANN) Computational Complexity Computer modelling Control theory Differential Geometry Digital control Discrete Mathematics Embedded systems Evolutionary  ...  and instrumentation  Real and Complex Analysis  Real-time issues  Robust control  Set Theory  Sliding mode control  Statistics  Stochastic control and filtering  Stochastic Modelling  ... 
doi:10.5281/zenodo.1299502 fatcat:zh6dvl5aebdgdambbgcm5omkcq

Stochastic embedding of dynamical systems [article]

Jacky Cresson
2005 arXiv   pre-print
In this paper, we develop a theory for the stochastic embedding of ordinary differential equations. We apply this method to Lagrangian systems.  ...  We also obtain a Hamiltonian formulation for our stochastic Lagrangian systems. Many applications are discussed at the end of the paper.  ...  The operator D 0 send real stochastic processes to real stochastic processes in the contrary of D µ , µ = 0, which leads to complex stochastic processes.  ... 
arXiv:math/0509713v1 fatcat:l3r67wwlkrb2nmdmzgyld347f4

Real-Time Process Algebra with Stochastic Delays

J. Markovski, E. P. de Vink
2007 Seventh International Conference on Application of Concurrency to System Design (ACSD 2007)  
A real-time process algebra is presented that features stochastic delays governed by general distributions.  ...  In a setting of weak choice, dependent and independent alternative and parallel composition are distinguished.  ...  The main goal of our paper is to deal with stochastic time as it is done in real-time process algebras [3, 19] , aiming at a conservative extension of real-time process algebras with stochastic delays  ... 
doi:10.1109/acsd.2007.23 fatcat:pesgrucg3fcvbfsq3woqorgvx4

Page 8373 of Mathematical Reviews Vol. , Issue 2001K [page]

2001 Mathematical Reviews  
Thus the stochastic limit can be interpreted in terms of a quantum stochastic scheme for the time-continuous nondemolition observation.  ...  Using this embedding, the authors define the “quasifree quantum sto- chastic process” given by a regular state y on the CCR algebra CCR(L*(R,)) to be the family of quantized observables A, := {®,(f): f  ... 

Stochastic embedding of dynamical systems

Jacky Cresson, Sébastien Darses
2007 Journal of Mathematical Physics  
In this paper, we develop a theory for the stochastic embedding of ordinary differential equations. We apply this method to Lagrangian systems.  ...  We also obtain a Hamiltonian formulation for our stochastic Lagrangian systems. Many applications are discussed at the end of the paper.  ...  The operator D 0 send real stochastic processes to real stochastic processes in the contrary of D µ , µ = 0, which leads to complex stochastic processes.  ... 
doi:10.1063/1.2736519 fatcat:jzq3gkxbf5amxkhlbywk2du454

Time Management for Working Women in Chennai

Manjula Vijayasekar, Janarthanan Bharanitharan
2014 Social Science Research Network  
Option pricing under diffusions The practical guide to real options in discrete time (with S.I.Boyarchenko), International Pricing of the American put under Lévy processes, International Journal of Theoretical  ...  Construction of exactly solvable multifactor mean-reverting models, ATSM and QTSM, the models in random time and the ones with embedding jumps including (with Nina Boyarchenko) 1.  ... 
doi:10.2139/ssrn.2448538 fatcat:2zcn5xdbdvbgfp4w6oi2kowgim

A randomized model for communicating embedded systems

Marius C. Bujorianu, Manuela L. Bujorianu
2008 2008 16th Mediterranean Conference on Control and Automation  
This research is spanned by various areas in computer science and engineering: embedded systems, reactive systems, wireless communications, hybrid systems, stochastic processes, etc.  ...  Often, the physical environment is continuous and uncertain, and modelled in terms of continuous stochastic processes.  ...  Traditionally, this class of applications has been associated with embedded systems. The research in embedded systems has focused mainly on real time constraints and resource limitations.  ... 
doi:10.1109/med.2008.4602263 fatcat:pj7ave5bgrdubkzejxav6q6hce

The Stochastic Representation of Hamiltonian Dynamics and The Quantization of Time [article]

Matthew F. Brown
2012 arXiv   pre-print
Such a stochastic process arises from the quantization of the clock, and this is derived naturally from the matrix-algebra representation of the nilpotent Newton-Leibniz time differential [Belavkin].  ...  Here it is shown that the unitary dynamics of a quantum object may be obtained as the conditional expectation of a counting process of object-clock interactions.  ...  Quantum stochastic calculus is an algebraic approach to stochastic analysis that is applicable to all stochastic processes whether quantum or not.  ... 
arXiv:1111.7043v2 fatcat:n3gwfarfa5a5jfeopr7gujinzu

Foreword

Joost-Pieter Katoen
2002 Theoretical Computer Science  
The design and analysis of various kinds of information processing systems, like embedded systems or communication protocols, requires insight in not only the functional, but also in the real-time and  ...  of Interactive Generalized Semi-Markov Processes", by Bravetti and Gorrieri makes an important contribution to the ÿeld of stochastic process algebras.  ... 
doi:10.1016/s0304-3975(01)00042-1 fatcat:limdbji7r5bjfj2sf4btxi7q5i

Gaussian measures on Orlicz spaces and abstract Wiener spaces

Anna T Lawniczak
1986 Journal of Multivariate Analysis  
Gaussian random elements with values in L,.  ...  Consider the case where T is the real line R, 9 = B(R) and m is Lebesgue measure; for a class of measurable stochastic processes with sample paths in L, inducing measure p, there is one "nice" stochastic  ...  In spaces L, the canonical measurable stochastic processes play an important role.  ... 
doi:10.1016/0047-259x(86)90101-6 fatcat:hljzx3npa5bgroa7pk5svjpbym

Page 4021 of Mathematical Reviews Vol. , Issue 94g [page]

1994 Mathematical Reviews  
Almost periodically unitary stochastic processes. (English summary) Stochastic Process. Appl. 43 (1992), no. 1, 99-113.  ...  The main result states that a second order process x(t), ¢ real, is APU if and only if x(t) = U(t)[P(t)], where P(t), t real, is an L2-valued uniformly almost periodic function and U(t), t real, is a strongly  ... 

Page 2577 of Mathematical Reviews Vol. , Issue 2001D [page]

2001 Mathematical Reviews  
Jurek, Three algebraic problems in probability theory (221-226); Arunava Mukherjea, Products of i.i.d. d x d real matrices: convergence in direction (227-238).  ...  These convergence results lead to criteria for the weak convergence of the associated stochastic processes with independent left-increments (where these processes are real- ized canonically on the cadlag  ... 
« Previous Showing results 1 — 15 out of 24,477 results