ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Hybrid Systems V

دانلود کتاب Hybrid Systems V

Hybrid Systems V

مشخصات کتاب

Hybrid Systems V

ویرایش: [v. 5 , 1 ed.] 
نویسندگان: , , , , , ,   
سری: Lecture Notes in Computer Science 1567 
ISBN (شابک) : 354065643X, 9783540656432 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 1999 
تعداد صفحات: 458
[400] 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 5 Mb 

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

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



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

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


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

توجه داشته باشید کتاب Hybrid Systems V نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب Hybrid Systems V

این کتاب مجموعه مقالات پس از داوری دقیق پنجمین کارگاه بین المللی سیستم های هیبریدی است که در نوتردام، ایندیانا، ایالات متحده در سپتامبر 1998 برگزار شد. این جلد نتایج تحقیقات پیشرفته‌ای را ارائه می‌کند و به‌ویژه به حوزه‌هایی مانند تأیید برنامه، فرآیندهای همزمان و توزیع شده، برنامه‌نویسی منطقی، منطق برنامه‌ها، شبیه‌سازی رویداد گسسته، محاسبات تغییرات، بهینه‌سازی، هندسه دیفرانسیل، جبرهای دروغ، خودکار می‌پردازد. تئوری، سیستم های دینامیکی و غیره


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

This book constitutes the strictly refereed post-proceedings of the 5th International Hybrid Systems Workshop held in Notre Dame, Indiana, USA in September 1998. The 23 revised full papers presented in the book have gone through two rounds of thorough reviewing and revision. The volume presents state-of-the-art research results and particularly addresses such areas as program verification, concurrent and distributed processes, logic programming, logics of programs, discrete event simulation, calculus of variations, optimization, differential geometry, Lie algebras, automata theory, dynamical systems, etc.



فهرست مطالب

Control Synthesis of Hybrid Systems Based on Predicate Invariance....Pages 1-15
Computing Approximating Automata for a Class of Linear Hybrid Systems....Pages 16-37
On Hybrid Systems and the Modal µ-calculus....Pages 38-69
The Extended Linear Complementarity Problem and the Modeling and Analysis of Hybrid Systems....Pages 70-85
Controller Scheduling Using Neural Networks: Implementation and Experimental Results....Pages 86-99
Rigorous Design of a Fault Diagnosis and Isolation Algorithm....Pages 100-121
Scalable Data and Sensor Fusion via Multiple Agent Hybrid Systems....Pages 122-141
Hybrid Control Systems Using Timed Petri Nets: Supervisory Control Design Based on Invariant Properties....Pages 142-162
A Case Study in Tool-Aided Analysis of Discretely Controlled Continuous Systems: The Two Tanks Problem....Pages 163-185
Hybrid Systems with Finite Bisimulations....Pages 186-203
Extracting Stable Timed Automata from Switched Model Reference Systems....Pages 204-217
Sliding Mode Model Semantics and Simulation for Hybrid Systems....Pages 218-237
Time-Deterministic Hybrid Transition Systems....Pages 238-250
Heuristic Optimization and Dynamical System Safety Verification....Pages 251-261
A Hybrid Receding—Horizon Control Scheme for Nonlinear Discrete—Time Systems....Pages 262-278
Approximating Automata and Discrete Control for Continuous Systems — Two Examples from Process Control....Pages 279-303
Action Systems with Continuous Behaviour....Pages 304-323
Towards Using Hybrid Automata for the Mission Planning of Unmanned Aerial Vehicles....Pages 324-340
Optimal Controller Switching for Stochastic Systems....Pages 341-355
Robust Control of Hybrid Systems: Performance Guided Strategies....Pages 356-390
Analysis of Slope-Parametric Rectangular Automata....Pages 390-413
Control of Interval Temporal Systems....Pages 414-428
Phase-Space Nonlinear Control Toolbox: The Maglev Experience....Pages 429-444




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