دانلود کتاب Hybrid Systems IV (به فارسی: سیستم های ترکیبی IV) نوشته شده توسط «Alan B. Arehart – William A. Wolovich (auth.) – Panos Antsaklis – Wolf Kohn – Anil Nerode – Shankar Sastry (eds.)»
اطلاعات کتاب سیستم های ترکیبی IV
موضوع اصلی: کامپیوترها
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Alan B. Arehart – William A. Wolovich (auth.) – Panos Antsaklis – Wolf Kohn – Anil Nerode – Shankar Sastry (eds.)
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1997
تعداد صفحه: 410
حجم کتاب: 5 مگابایت
کد کتاب: 3540633588 , 9783540633587
نوبت چاپ: 1
توضیحات کتاب سیستم های ترکیبی IV
این کتاب مستندات پس از کنفرانس با داوری کامل چهارمین کنفرانس بین‌المللی سیستم‌های ترکیبی است که در ایتاکا، نیویورک، ایالات متحده آمریکا، در اکتبر 1996 برگزار شد. این جلد 19 مقاله کامل با دقت اصلاح شده را ارائه می‌کند که از بین ارسال‌های متعدد انتخاب شده‌اند. تحقیقات سیستم‌های ترکیبی بر مدل‌سازی، طراحی و اعتبارسنجی سیستم‌های در حال تعامل (گیاهان) و برنامه‌های کامپیوتری (اتوماتای کنترل) متمرکز است. این جلد به مدل‌های سیستم‌های ترکیبی، تأیید رسمی، شبیه‌سازی رایانه‌ای، دستیابی به هدف، الگوریتم‌های استخراج برنامه‌های کنترل ترکیبی، و مدل‌های کاربردی برای سیستم‌های اویونیک، کنترل ترافیک بزرگراه‌ها و کنترل ترافیک هوایی اختصاص دارد.
This book constitutes the thoroughly refereed post-conference documentation of the Fourth International Conference on Hybrid Systems held in Ithaca, NY, USA, in October 1996. The volume presents 19 carefully revised full papers selected from numerous submissions. Hybrid systems research focuses on modeling, design, and validation of interacting systems (plants) and computer programs (control automata). This volume is devoted to hybrid systems models, formal verification, computer simulation, goal reachability, algorithms for extracting hybrid control programs, and application models for avionics, highway traffic control, and air traffic control.
دانلود کتاب «سیستم های ترکیبی IV»
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.