Verification and Control of Hybrid Systems: A Symbolic Approach

ویرایش: 1 
نویسندگان: Paulo Tabuada (auth.)  
سری:  
ISBN (شابک) : 1441902236, 9781441902245 
ناشر: Springer US 
سال نشر: 2009 
تعداد صفحات: 217 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 مگابایت 

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



سیستم‌های ترکیبی تعامل نرم‌افزاری را که توسط سیستم‌های حالت محدود مانند ماشین‌های حالت محدود مدل‌سازی شده‌اند، با دنیای فیزیکی توصیف می‌کنند که توسط سیستم‌های حالت نامحدود مانند معادلات دیفرانسیل توصیف می‌شود. تأیید و کنترل سیستم‌های ترکیبی یک نمایش سیستماتیک منحصربفرد از چندین کلاس از سیستم‌های ترکیبی ارائه می‌کند و مدل‌های نمادین را همراه با روابط بین آنها می‌پذیرد. این متن چندین نتیجه سنتز کلیدی تأیید و کنترل را برای سیستم‌های ترکیبی نشان می‌دهد که با مفهوم دوشبیه‌سازی هدایت می‌شود و با مثال‌های متعدد نشان داده می‌شود.

کتاب به چهار بخش تقسیم می‌شود:< /P>

قسمت اول مفاهیم اساسی را ارائه می‌کند که بر مفهومی از سیستم متمرکز است که به اندازه کافی کلی برای توصیف سیستم‌های حالت محدود، حالت نامحدود و ترکیبی است.

بخش دوم روش‌هایی را که در آن سیستم‌ها مورد بحث قرار می‌گیرد. مربوط به سیستم های دیگر، مانند گنجاندن/هم ارزی رفتاری و شبیه سازی/دوشبیه سازی، با استفاده از این روابط برای مطالعه تایید و کنترل مشکلات سنتز برای سیستم های حالت محدود.

بخش سوم از اتومات های زمان بندی شده برای ارائه چندین کلاس الهام می گیرد. سیستم های ترکیبی، با دینامیک پیوسته غنی تر، که می تواند به سیستم های نمادین حالت محدود مربوط شود. هنگامی که چنین روابطی برقرار شد، مشکلات سنتز راستی‌آزمایی و کنترل برای این سیستم‌های ترکیبی را می‌توان با توسل به تکنیک‌هایی که در بخش دوم برای سیستم‌های حالت محدود توضیح داده شده است، فوراً حل کرد.

بخش چهارم با تعمیم روابط شبیه‌سازی/دوشبیه‌سازی به روابط شبیه‌سازی/دوشبیه‌سازی تقریبی که می‌تواند برای کلاس وسیع‌تری از سیستم‌های ترکیبی استفاده شود، از همان استراتژی پیروی می‌کند.

این درمان جامع برای محققان، مهندسان، دانشمندان کامپیوتر و دانشجویان تحصیلات تکمیلی در زمینه‌های روش‌های رسمی، تأیید، بررسی مدل و کنترل جذاب خواهد بود و بدون شک الهام‌بخش مطالعه بیشتر ادبیات تخصصی خواهد بود.

Hybrid systems describe the interaction of software, modeled by finite-state systems such as finite-state machines, with the physical world, described by infinite-state systems such as differential equations. Verification and Control of Hybrid Systems provides a unique systematic exposition of several classes of hybrid systems, admitting symbolic models along with the relationships between them. The text outlines several key verification and control synthesis results for hybrid systems, guided by the concept of bisimulation, and illustrated by numerous examples.

The book is divided into four parts:

Part I presents basic concepts centered on a notion of system that is general enough to describe finite-state, infinite-state, and hybrid systems.

Part II discusses the ways in which systems relate to other systems, such as behavioral inclusion/equivalence and simulation/bisimulation, using these relationships to study verification and control synthesis problems for finite-state systems.

Part III draws inspiration from timed automata to present several classes of hybrid systems, with richer continuous dynamics, that can be related to finite-state symbolic systems. Once such relationships are established, verification and control synthesis problems for these hybrid systems can be immediately solved by resorting to the techniques described in Part II for finite-state systems.

Part IV follows the same strategy by generalizing simulation/bisimulation relationships to approximate simulation/bisimulation relationships that can be used for a wider class of hybrid systems.

This comprehensive treatment will appeal to researchers, engineers, computer scientists, and graduate students in the areas of formal methods, verification, model checking, and control and will undoubtedly inspire further study of the specialized literature.

Front Matter....Pages 1-12
Front Matter....Pages 1-1
Systems....Pages 1-20
Verifcation problems....Pages 23-24
Control problems....Pages 25-26
Front Matter....Pages 1-1
Exact system relationships....Pages 29-42
Verification....Pages 43-50
Control....Pages 51-70
Front Matter....Pages 1-1
Exact symbolic models for verification....Pages 73-111
Exact symbolic models for control....Pages 113-142
Front Matter....Pages 1-1
Approximate system relationships....Pages 145-149
Approximate symbolic models for verification....Pages 151-166
Approximate symbolic models for control....Pages 167-189
Back Matter....Pages 1-11