کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
7107905 | 1460589 | 2016 | 12 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Overview of discrete event systems opacity: Models, validation, and quantification
ترجمه فارسی عنوان
اکسپریاسیون سیستم های رویداد گسسته: مدل ها، اعتبارسنجی و اندازه گیری
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
سایر رشته های مهندسی
کنترل و سیستم های مهندسی
چکیده انگلیسی
Over the last decade, opacity of discrete event systems (DES) has become a very fertile field of research. Driven by safety and privacy concerns in network communications and online services, much theoretical work has been conducted in order to design opaque systems. A system is opaque if an external observer in unable to infer a “secret” about the system behavior. This paper aims to review the most commonly used techniques of opacity validation for deterministic models and opacity quantification for probabilistic ones. Available complexity results are also provided. Finally, we review existing tools for opacity validation and current applications.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annual Reviews in Control - Volume 41, 2016, Pages 135-146
Journal: Annual Reviews in Control - Volume 41, 2016, Pages 135-146
نویسندگان
Romain Jacob, Jean-Jacques Lesage, Jean-Marc Faure,