Approximate Analyzing of Labeled Transition Systems
المؤلفون المشاركون
Yang, Shihan
Yu, Qiong
Wu, Jinzhao
المصدر
Mathematical Problems in Engineering
العدد
المجلد 2015، العدد 2015 (31 ديسمبر/كانون الأول 2015)، ص ص. 1-9، 9ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2015-10-25
دولة النشر
مصر
عدد الصفحات
9
التخصصات الرئيسية
الملخص EN
As the most important formal semantic model, labeled transition systems arewidely used, which can describe the general concurrent systems or control systemswithout disturbance.
However, under normal circumstance, transition systemsare complex and difficult to use due to large amount of calculation and the statespace explosion problems.
In order to overcome these problems, approximateequivalent labeled transition systems are proposed by means of incomplete low-upmatrix decomposition factorization.
This technique can reduce the complexity ofcomputation and calculate under the allowing errors.
As for continuous-time linearsystems, we develop a modeling method of approximated transition system basedon the approximate solution of matrix, which provides a facility for approximatelyformal semantic modeling for linear systems and to effectively analyze errors.
An example of application in the context of linear systems without disturbances isstudied.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Yu, Qiong& Yang, Shihan& Wu, Jinzhao. 2015. Approximate Analyzing of Labeled Transition Systems. Mathematical Problems in Engineering،Vol. 2015, no. 2015, pp.1-9.
https://search.emarefa.net/detail/BIM-1075204
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Yu, Qiong…[et al.]. Approximate Analyzing of Labeled Transition Systems. Mathematical Problems in Engineering No. 2015 (2015), pp.1-9.
https://search.emarefa.net/detail/BIM-1075204
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Yu, Qiong& Yang, Shihan& Wu, Jinzhao. Approximate Analyzing of Labeled Transition Systems. Mathematical Problems in Engineering. 2015. Vol. 2015, no. 2015, pp.1-9.
https://search.emarefa.net/detail/BIM-1075204
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-1075204
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر