دانلود کتاب Hybrid and Real-Time Systems: International Workshop, HART’97 Grenoble, France, March 26–28, 1997 Proceedings (به فارسی: سیستم‌های ترکیبی و بی‌درنگ: کارگاه بین‌المللی، HART’97 گرنوبل، فرانسه، 26-28 مارس 1997 مجموعه مقالات) نوشته شده توسط «Amir Pnueli (auth.) – Oded Maler (eds.)»
اطلاعات کتاب سیستم‌های ترکیبی و بی‌درنگ: کارگاه بین‌المللی، HART'97 گرنوبل، فرانسه، 26-28 مارس 1997 مجموعه مقالات
موضوع اصلی: کامپیوتر – علوم کامپیوتر
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Amir Pnueli (auth.) – Oded Maler (eds.)
زبان: english
فرمت کتاب: DJVU (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1997
تعداد صفحه: 426 / 425
حجم فایل: 3.80 مگابایت
کد کتاب: 354062600X , 9783540626008
نوبت چاپ: 1
توضیحات کتاب سیستم‌های ترکیبی و بی‌درنگ: کارگاه بین‌المللی، HART'97 گرنوبل، فرانسه، 26-28 مارس 1997 مجموعه مقالات
این کتاب مجموعه مقالات داوری کارگاه بین‌المللی سیستم‌های ترکیبی و بلادرنگ، HART’97 است که در گرنوبل، فرانسه، در مارس 1997 برگزار شد.
این جلد 18 مقاله کامل اصلاح‌شده و 9 ارائه کوتاه را با دقت ارائه می‌کند. در طول یک فرآیند ارزیابی رقابتی بسیار انتخاب شده است. همچنین شامل نسخه کامل یا چکیده 7 مقاله یا آموزش دعوت شده است.
سیستم های ترکیبی از دستگاه های دیجیتالی تشکیل شده است که با محیط های آنالوگ در تعامل هستند. بنابراین منطقه در حال ظهور در تقاطع علم کامپیوتر و نظریه کنترل قرار دارد. این کتاب بر روی روش های ریاضی برای طراحی و تجزیه و تحلیل دقیق و سیستماتیک سیستم های ترکیبی و سیستم های بلادرنگ تمرکز دارد.
This book constitutes the refereed proceedings of the International Workshop on Hybrid and Real-Time Systems, HART’97, held in Grenoble, France, in March 1997.
The volume presents 18 revised full papers and 9 short presentations carefully selected during a highly competitive evaluation process; also included are full versions or abstracts of 7 invited papers or tutorials.
Hybrid Systems consist of digital devices interacting with analog environments; thus the emerging area lies at the crossroads of computer science and control theory. This book focusses on mathematically sound methods for the rigorous and systematic design and analysis of hybrid systems and real-time systems.
