• صفحه اصلی
  • جستجوی پیشرفته
  • فهرست کتابخانه ها
  • درباره پایگاه
  • ارتباط با ما
  • تاریخچه

عنوان
Synthesis and Control of Discrete Event Systems

پدید آورنده
edited by Benoît Caillaud, Philippe Darondeau, Luciano Lavagno, Xiaolan Xie.

موضوع
Computer-aided design.,Engineering.,Systems theory.

رده
QA402
.
E358
2002

کتابخانه
مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی

محل استقرار
استان: قم ـ شهر: قم

مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی

تماس با کتابخانه : 32910706-025

شابک

شابک
1475766564
شابک
9781475766561

شماره کتابشناسی ملی

شماره
b546172

عنوان و نام پديدآور

عنوان اصلي
Synthesis and Control of Discrete Event Systems
نام عام مواد
[Book]
نام نخستين پديدآور
edited by Benoît Caillaud, Philippe Darondeau, Luciano Lavagno, Xiaolan Xie.

وضعیت نشر و پخش و غیره

محل نشرو پخش و غیره
Boston, MA
نام ناشر، پخش کننده و غيره
Springer US
تاریخ نشرو بخش و غیره
2002

مشخصات ظاهری

نام خاص و کميت اثر
(xvi, 220 pages)

یادداشتهای مربوط به مندرجات

متن يادداشت
I Decentralized Systems and Control --;Recent Advances on the Control of Partially-Observed Discrete-Event Systems --;From Global Specifications to Distributed Implementations --;Problems and Examples of Decentralized Observation and Control --;Towards Synthesis of ACMs --;STCT: An Efficient Algorithm for Supervisory Control Design --;II Modular Design --;Towards Modular Synthesis of EN Systems --;Adaptive Supervisory Control --;Modelling with Petri Modules --;III Petri Net Supervision --;Optimal Petri Net Monitor Design --;Live and Maximally Permissive Controller Synthesis Using Theory of Regions --;Design of Observers/Controllers for DES using PNs --;IV Nonblocking, Liveness and Concurrency --;Implementation Considerations in Supervisory Control --;Liveness Enforcing Supervision for Sequential Resource Allocation Systems --;Looking for Diamonds.

یادداشتهای مربوط به خلاصه یا چکیده

متن يادداشت
This book aims at providing a view of the current trends in the development of research on Synthesis and Control of Discrete Event Systems. Lavagno, and the Symposium on the Supervisory Control of Discrete Event Systems (SCODES), held in Paris as a satellite event of CAV and organized by B.

موضوع (اسم عام یاعبارت اسمی عام)

موضوع مستند نشده
Computer-aided design.
موضوع مستند نشده
Engineering.
موضوع مستند نشده
Systems theory.

رده بندی کنگره

شماره رده
QA402
نشانه اثر
.
E358
2002

نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )

مستند نام اشخاص تاييد نشده
edited by Benoît Caillaud, Philippe Darondeau, Luciano Lavagno, Xiaolan Xie.

نام شخص - (مسئولیت معنوی برابر )

مستند نام اشخاص تاييد نشده
Benoît Caillaud
مستند نام اشخاص تاييد نشده
Luciano Lavagno
مستند نام اشخاص تاييد نشده
Philippe Darondeau
مستند نام اشخاص تاييد نشده
Xiaolan Xie

دسترسی و محل الکترونیکی

نام الکترونيکي
 مطالعه متن کتاب 

اطلاعات رکورد کتابشناسی

نوع ماده
[Book]

اطلاعات دسترسی رکورد

تكميل شده
Y

پیشنهاد / گزارش اشکال

اخطار! اطلاعات را با دقت وارد کنید
ارسال انصراف
این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است
برترین جستجوگر - پنجمین جشنواره رسانه های دیجیتال