Search results

{{Short description|Relationship between transition systems}} ...er science]], a '''stutter bisimulation''' is a relationship between two [[transition system]]s, abstract machines that model computation. It is defined [[coindu ...

The '''state-transition equation''' is defined as the solution of the linear homogeneous state equa So, the state-transition equation can be obtained by taking [[inverse Laplace transform]] as ...

...tronic state in a reversible and detectable fashion, makes these molecular systems appealing in the field of [[molecular electronics]]. ...e values of <math>P</math> and <math>\Delta</math> are comparable, a LS↔HS transition may occur. ...

...ctured transition systems (WSTSs)''' are a general class of infinite state systems for which many verification problems are [[decidable language|decidable]], ...lization of the Procedure of Karp and Miller to Well Structured Transition Systems". ...

{{Short description|1913 model of abrupt transitions of quantum systems}} ...l ([[Excited state|excitation]]); when the system loses energy, there is a transition to a lower energy level. ...

...ransitions between global states. Theory of regions handles elementary net systems as well as P/T nets and other kinds of nets. An important point is that the ...tural number]] for P/T nets, [[Binary number|binary]] for ENS) and to each transition label a number <!-- or two natural numbers, to allow self-loops, as in Muku ...

...tion matrix can be used to obtain the general solution of linear dynamical systems. ==Linear systems solutions== ...

...refers to at least two different techniques in the analysis of abstract [[transition system]]s where infinite progressions of abstract states are replaced by a ...related to [[Well-structured transition system|well structured transition systems]], but well-structuredness alone is not sufficient for such procedures to b ...

{{Thermodynamics sidebar|cTopic=[[Thermodynamic system|Systems]]}} ...ets]] and [[paramagnets]] as well as the ferromagnet to paramagnet [[phase transition]]. It is also possible to derive thermodynamic quantities in a generalized ...

...this problem), each successive state is chosen at random according to the transition probabilities from the previous state. A Markov chain is said to be irreduc ...et <math>E(T)</math> is defined to have weight equal to the product of its transition probabilities: ...

...)\phi(t,\sigma)B(\sigma)</math> such that <math>\phi</math> is the [[state transition matrix]]. ...f>{{cite book|first=Roger W.|last=Brockett|title=Finite Dimensional Linear Systems|publisher=John Wiley & Sons|year=1970|isbn=978-0-471-10585-5}}</ref> ...

...cesses based on compound Poisson processes], Neural Information Processing Systems (NIPS), 2010. </ref> The concept is named after [[Peter Gustav Lejeune Diri ...totics of the Dependent Dirichlet Process.], Neural Information Processing Systems (NIPS), 2013. </ref> ...

...referred to the tricritical point as the critical point of the continuous transition.<ref>Landau, L. D. (1937). On the theory of phase transitions. I. Zh. Eksp. ...ents]] turn out to apply for real systems in three dimensions (but not for systems whose spatial dimension is 2 or lower). ...

...le amount of work has been undertaken in finding those critical values for systems of various geometries, and the mathematical behavior of observables near th ...with the surface already percolating. Finally, there is the special phase transition, which is an isolated point where the phase boundaries for the ordinary, sp ...

...and the [[Anderson localization]] metal-insulator transition in disordered systems. It was first developed by [[Serge Aubry (physicist)|Serge Aubry]] and [[Gi ...ryandre localizationlenght.svg|thumb|300x300px|Aubry-André metal-insulator transition, inverse of localization length <math>l_{\rm loc}</math> as a function of e ...

: <math>\alpha</math> characterizes the position of the [[transition state]] along the [[reaction coordinate]] (such that <math>0 \leq \alpha \l ...ponential factor]] of the [[Arrhenius equation]] and the position of the [[transition state]] along the [[reaction coordinate]] are the same for all reactions be ...

...ch |last2=Orlikowski |first2=Łukasz |title=Reachability in Vector Addition Systems is Ackermann-complete | date=2021 | conference=2021 IEEE 62nd Annual Sympos ...thbb{N}^d</math>, the vector <math>u + v</math> can be ''reached'', in one transition, if <math>v \in V</math> and <math>u + v \in \mathbb{N}^d</math>. ...

'''Transition path sampling (TPS)''' is a [[rare-event sampling]] method used in [[comput == Transition path ensemble == ...

== Timed Event Systems == [[state transition system|State Transition System]] ...

...6/0305-0548(77)90007-7 | title = Transient solutions in markovian queueing systems | journal = Computers & Operations Research | volume = 4 | pages = 47–00 | ...}}</ref><ref name="cass">{{cite book |title=Introduction to discrete event systems|last=Cassandras |first=Christos G. |last2=Lafortune| first2=Stéphane|year=2 ...