Diagnosability evaluation by model-checking
نویسندگان
چکیده
منابع مشابه
Diagnosability evaluation by model-checking
In order to improve the availability and reliability of manufacturing systems, the diagnosis method is primordial. The literature around the diagnosis of Discrete Event Systems (DES) have proposed different approaches and diagnosability assessment. This paper presents a local modelling of diagnoser and a diagnosability evaluation by Model-Checking. This approach avoids the combinatory explosion...
متن کاملDecentralized Diagnosis and Diagnosability by Model Checking
This paper talks about a decentralized approach for diagnosis of discrete event systems based on the plant decomposition. A decentralized structure is used to avoid state space explosion found in centralized structure or decentralized structure with composition step. From plant models, all possible faults are identified to construct abnormal behavior models called diagnosers. Originality of thi...
متن کاملFormal Verification of Diagnosability via Symbolic Model Checking
This paper addresses the formal verification of diagnosis systems. We tackle the problem of diagnosability: given a partially observable dynamic system, and a diagnosis system observing its evolution over time, we discuss how to verify (at design time) if the diagnosis system will be able to infer (at runtime) the required information on the hidden part of the dynamic state. We tackle the probl...
متن کاملteacher educator evaluation model
اگرکیفیت معلم کلاس برای بهبودیادگیری دانش آموزحیاتی است،پس کیفیت اساتیددانشجو-معلمان، یابه عبارتی معلمین معلمان نیزبرای پیشرفت آموزش بسیارمهم واساسی است.ناگفته پیداست که یک سیستم مناسب آموزش معلمان ،معلمین با کیفیتی را تربیت خواهدکرد.که این کار منجربه داشتن مدارس خوب، ودرنتیجه نیروی کارماهرتروشهروندبهتربرای جامعه خواهدشد. اساتیددانشجو-معلمان نقشی بسیارمهم را در سیستم اموزش معلمان درسراسرجهان ای...
Supervision Patterns: Diagnosability Checking by Petri Net Unfolding
This paper addresses the problem of checking diagnosability of supervision patterns in discrete-event systems. With a supervision pattern, it is possible to represent a complex behaviour of the system, and especially a faulty behaviour. As opposed to classical diagnosability analysers that check by exploring the marking graph of the underlying net, the proposed method relies on Petri net unfold...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IFAC-PapersOnLine
سال: 2015
ISSN: 2405-8963
DOI: 10.1016/j.ifacol.2015.09.545