مشخصات کتاب

Hybrid dynamical systems : an introduction to control and verification

ویرایش:  
نویسندگان: Antsaklis. Panos J.,  Lin. Hai  
سری:  
ISBN (شابک) : 9781601987853, 1601987854 
ناشر: Now Publishers 
سال نشر: 2014 
تعداد صفحات: 175 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 1 مگابایت 

کلمات کلیدی مربوط به کتاب سیستم‌های دینامیکی ترکیبی: مقدمه‌ای بر کنترل و تأیید: سیستم های هیبریدی

در صورت تبدیل فایل کتاب Hybrid dynamical systems : an introduction to control and verification به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

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

سیستم‌های دینامیکی ترکیبی دسته‌ای از سیستم‌های پیچیده هستند که متضمن دینامیک رویداد گسسته و متغیر پیوسته هستند. آنها در برنامه های کاربردی در سیستم های تعبیه شده، سیستم های فیزیکی سایبری، روباتیک، سیستم های تولیدی، مدیریت ترافیک، شبکه های زیست مولکولی مهم هستند و اخیرا در مرکز فعالیت های تحقیقاتی شدید در تئوری کنترل، راستی آزمایی به کمک کامپیوتر، و مصنوعی بوده اند. class='showMoreLessContentElement' style='display: none;'> جوامع اطلاعاتی. این مقاله مقدمه ای آموزشی برای این حوزه تحقیقاتی چند رشته ای ارائه می دهد. تعدادی از موضوعات اساسی مانند مدل سازی، انتزاع، تأیید، کنترل نظارتی، تجزیه و تحلیل پایداری، تثبیت و کنترل بهینه سیستم های هیبریدی معرفی و مورد بحث قرار می گیرد. علاوه بر این، موضوعات پیشرفته‌تر به طور خلاصه در پایان هر فصل با منابعی برای مطالعه بیشتر مورد بحث قرار می‌گیرند.  بیشتر بخوانید...

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

Hybrid dynamical systems are a class of complex systems that involve interacting discrete-event and continuous-variable dynamics. They are important in applications in embedded systems, cyber-physical systems, robotics, manufacturing systems, traffic management, biomolecular networks, and have recently been at the center of intense research activity in the control theory, computer-aided verification, and artificial intelligence communities. This paper provides a tutorial introduction to this multidisciplinary research area. A number of fundamental topics, such as modeling, abstraction, verification, supervisory control, stability analysis, stabilization, and optimal control of hybrid systems are introduced and discussed. Additionally, more advanced topics are briefly discussed at the end of each chapter with references given for further reading.  Read more...

فهرست مطالب

2. Modeling of hybrid systems --
2.1 Finite automata --
2.2 Hybrid automata --
2.3 Switched systems --
2.4 Piecewise affine systems --
2.5 Notes and further reading 3. Stability, stabilization and optimal control --
3.1 Stability of hybrid systems --
3.2 Switching stabilization --
3.3 Optimal control --
3.4 Notes and further reading 4. Verification of hybrid systems --
4.1 Model checking --
4.2 Bisimulation --
4.3 Timed automata --
4.4 Hybrid automata --
4.5 Notes and further reading 5. Hybrid supervisory control --
5.1 Discrete event supervisory control --
5.2 Timed language supervisory control --
5.3 Hybrid supervisory control --
5.4 Notes and further reading 6. Concluding remarks --
Acknowledgements --
References.

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

کتاب های تصادفی

دانلود کتاب Xml on Z/OS and Os/390: Introduction to a Service-Oriented Architecture (IBM Redbooks)

دانلود کتاب English Produced by Japanese L2 Users: A Preliminary Analysis of Grammatical Forms

دانلود کتاب Practical Text Analytics

دانلود کتاب Girl Zines: Making Media, Doing Feminism

دانلود کتاب Shopping