ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

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

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Hybrid Systems III: Verification and Control

دانلود کتاب سیستم های ترکیبی III: تأیید و کنترل

Hybrid Systems III: Verification and Control

مشخصات کتاب

Hybrid Systems III: Verification and Control

ویرایش: 1 
نویسندگان: , , , , ,   
سری: Lecture Notes in Computer Science 1066 
ISBN (شابک) : 354061155X, 9783540611554 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 1996 
تعداد صفحات: 627 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 6 مگابایت 

قیمت کتاب (تومان) : 45,000

در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد



کلمات کلیدی مربوط به کتاب سیستم های ترکیبی III: تأیید و کنترل: معماری پردازنده، سیستم‌های مبتنی بر هدف خاص و کاربردی، مهندسی نرم‌افزار، منطق و معانی برنامه‌ها، محاسبات توسط دستگاه‌های انتزاعی، تحلیل الگوریتم و پیچیدگی مسئله



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 16


در صورت تبدیل فایل کتاب Hybrid Systems III: Verification and Control به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب سیستم های ترکیبی III: تأیید و کنترل نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب سیستم های ترکیبی III: تأیید و کنترل



این کتاب مرجع، نتایج علمی کارگاه DIMACS/SYCON در مورد تأیید و کنترل سیستم‌های ترکیبی، که در اکتبر 1995 در دانشگاه راتگرز در نیوبرانزویک، نیوجرسی، برگزار شد، مستند می‌کند.
یک سیستم ترکیبی متشکل از دستگاه‌های دیجیتالی است که تعامل دارند. با محیط های آنالوگ علوم کامپیوتر در جنبه های آنالوگ این زمینه نوظهور تحقیق و طراحی میان رشته ای تخصص دارد. 48 مقاله کامل اصلاح شده شامل داوری دقیق شدند. آنها با کمک کارشناسان برجسته، وضعیت هنر را در این زمینه پویا ارائه می دهند. همچنین جلدهای قبلی منتشر شده در همان سری LNCS 999 و LNCS 736 در دسترس هستند.


توضیحاتی درمورد کتاب به خارجی

This reference book documents the scientific outcome of the DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, held at Rutgers University in New Brunswick, NJ, in October 1995.
A hybrid system consists of digital devices that interact with analog environments. Computer science contributes expertise on the analog aspects of this emerging field of interdisciplinary research and design. The 48 revised full papers included were strictly refereed; they present the state of the art in this dynamic field with contributions by leading experts. Also available are the predecessor volumes published in the same series as LNCS 999 and LNCS 736.



فهرست مطالب

A game-theoretic approach to hybrid system design....Pages 1-12
Verifying clocked transition systems....Pages 13-40
Compositional and uniform modelling of hybrid systems....Pages 41-51
Hybrid cc, hybrid automata and program verification....Pages 52-63
Controlled switching diffusions as hybrid processes....Pages 64-75
Hybrid systems: Chattering approximation to relaxed controls....Pages 76-100
Verification of automated vehicle protection systems....Pages 101-113
Extended RTL in the specification and verification of an industrial press....Pages 114-125
Abstract verification of structured dynamical systems....Pages 126-137
Design and evaluation tools for Automated Highway Systems....Pages 138-148
Hybrid control in Sea Traffic Management Systems....Pages 149-160
Verification of hybrid systems: Monotonicity in the AHS control system....Pages 161-172
Examples of stabilization with hybrid feedback....Pages 173-185
General hybrid dynamical systems: Modeling, analysis, and control....Pages 186-200
The residue of model reduction....Pages 201-207
The tool Kronos ....Pages 208-219
Timing analysis in COSPAN....Pages 220-231
UPPAAL — a tool suite for automatic verification of real-time systems....Pages 232-243
Optimal design of hybrid controllers for hybrid process systems....Pages 244-257
On-line fault monitoring of a class of hybrid systems using templates with dynamic time scaling....Pages 258-269
Hierarchical design of a chemical concentration control system....Pages 270-281
Switched bond graphs as front-end to formal verification of hybrid systems....Pages 282-293
Formal specification of stability in hybrid control systems....Pages 294-303
Requirements specifications for hybrid systems....Pages 304-314
Validation of hybrid systems by co-simulation....Pages 315-326
Proofs from temporal hypotheses by symbolic simulation....Pages 327-339
On controlling timed discrete event systems....Pages 340-349
Supervisory control of real-time systems using prioritized synchronization....Pages 350-361
ε-Approximation of differential inclusions....Pages 362-376
Linear phase-portrait approximations for nonlinear hybrid systems....Pages 377-388
Deciding reachability for planar multi-polynomial systems....Pages 389-400
Modeling hybrid dynamical systems....Pages 401-412
Stability of hybrid systems....Pages 413-423
Model and stability of hybrid linear system....Pages 424-435
Interconnected automata and linear systems: A theoretical framework in discrete-time....Pages 436-448
Modelling and verification of automated transit systems, using timed automata, invariants and simulations....Pages 449-463
An invariant based approach to the design of hybrid control systems containing clocks....Pages 464-474
Refinements of approximating automata for synthesis of supervisory controllers for hybrid systems....Pages 475-484
A data intensive computing approach to path planning and mode management for hybrid systems....Pages 485-495
Hybrid I/O automata....Pages 496-510
A formal description of hybrid systems....Pages 511-530
Logics vs. automata: The hybrid case....Pages 531-542
H ∞ gain schedule synthesis of supervisory hybrid control systems....Pages 543-552
A new approach to robust control of hybrid systems....Pages 553-562
A DES approach to control of hybrid dynamical systems....Pages 563-574
Diagnostic model-checking for real-time systems....Pages 575-586
Specification and verification of hybrid dynamic systems with Timed ∀-automata....Pages 587-603
Fischer's protocol revisited: A simple proof using modal constraints....Pages 604-615




نظرات کاربران