دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Hybrid Systems V
دانلود کتاب Hybrid Systems V
مشخصات کتاب
Hybrid Systems V
ویرایش: [v. 5 , 1 ed.] نویسندگان: Haoxun Chen, Hans-Michael Hanisch (auth.), Panos Antsaklis, Michael Lemmon, Wolf Kohn, Anil Nerode, Shankar Sastry (eds.) سری: Lecture Notes in Computer Science 1567 ISBN (شابک) : 354065643X, 9783540656432 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1999 تعداد صفحات: 458 [400] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 Mb
قیمت کتاب (تومان) : 51,000
در صورت تبدیل فایل کتاب 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
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Optical Character Recognition Systems for Different Languages with Soft Computing
دانلود کتاب Easy Hiking Around Vancouver An All-Season Guide
دانلود کتاب Digital Image Processing: A Practical Introduction Using Java
دانلود کتاب Post Graduate Diploma in Urban Planning and Development (PGDUPDL)
