نتایج جستجو برای: discrete event systems

تعداد نتایج: 1482433  

Journal: :Mathematics of Control, Signals, and Systems 1989

Journal: :IEEE Transactions on Automatic Control 1989

Journal: :Journal Européen des Systèmes Automatisés 2005

2007
Vijay K. Garg Steven I. Marcus

The formalism of probabilistic languages has been introduced for modeling the qualitative behavior of stochastic discrete event systems. A probabilistic language is a unit interval valued map over the set of traces of the system satisfying certain consistency constraints. Regular language operators such as choice, concatenation, and Kleene-closure have been de ned in the setting of probabilisti...

In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید