دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Discrete-Time and Discrete-Space Dynamical Systems
دانلود کتاب سیستم های دینامیکی گسسته و زمان گسسته و فضای گسسته
مشخصات کتاب
Discrete-Time and Discrete-Space Dynamical Systems
ویرایش: [1st ed. 2020] نویسندگان: Kuize Zhang, Lijun Zhang, Lihua Xie سری: Communications and Control Engineering ISBN (شابک) : 9783030259716, 9783030259723 ناشر: Springer International Publishing سال نشر: 2020 تعداد صفحات: XIV, 222 [226] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 Mb
قیمت کتاب (تومان) : 40,000
در صورت تبدیل فایل کتاب Discrete-Time and Discrete-Space Dynamical Systems به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب سیستم های دینامیکی گسسته و زمان گسسته و فضای گسسته نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب سیستم های دینامیکی گسسته و زمان گسسته و فضای گسسته
سیستم‌های دینامیکی زمان گسسته و فضای گسسته توصیفی نظام‌مند از شباهت‌ها و تفاوت‌های چندین نوع سیستم دینامیکی گسسته و فضای گسسته، از جمله: شبکه‌های کنترل بولی. سیستم های انتقال محدود غیر قطعی؛ اتوماتای محدود؛ تورهای پتری با برچسب و اتوماتای سلولی دیدگاه کتاب اساساً مبتنی بر ویژگی‌های توپولوژیکی است، اگرچه در صورت لزوم از روش‌های محصول نیمه حساس و گراف نیز استفاده می‌کند. این یک سری نتایج اساسی را ارائه می دهد: برگشت پذیری، مشاهده پذیری، قابل تشخیص، برگشت پذیری، و غیره، با کاربرد در زیست شناسی سیستم ها. محققان دانشگاهی با پیشینه در ریاضیات کاربردی، مهندسی یا علوم کامپیوتر و مهندسان عملی که با سیستم‌های زمان گسسته و فضای گسسته کار می‌کنند، این کتاب را منبع مفیدی برای درک جدید برای این دسته از سیستم‌های مهم خواهند یافت. نتایج اساسی که در داخل یافت می شوند برای مطالعه بیشتر مشکلات مرتبط مانند سنتز خودکار و کنترل ایمنی در سیستم های فیزیکی-سایبری با استفاده از روش های رسمی اهمیت اساسی دارند.
توضیحاتی درمورد کتاب به خارجی
Discrete-Time and Discrete-Space Dynamical Systems provides a systematic characterization of the similarities and differences of several types of discrete-time and discrete-space dynamical systems, including: Boolean control networks; nondeterministic finite-transition systems; finite automata; labelled Petri nets; and cellular automata. The book\'s perspective is primarily based on topological properties though it also employs semitensor-product and graph-theoretic methods where appropriate. It presents a series of fundamental results: invertibility, observability, detectability, reversiblity, etc., with applications to systems biology. Academic researchers with backgrounds in applied mathematics, engineering or computer science and practising engineers working with discrete-time and discrete-space systems will find this book a helpful source of new understanding for this increasingly important class of systems. The basic results to be found within are of fundamental importance for further study of related problems such as automated synthesis and safety control in cyber-physical systems using formal methods.
فهرست مطالب
Front Matter ....Pages i-xiv
Front Matter ....Pages 1-1
Preliminaries (Kuize Zhang, Lijun Zhang, Lihua Xie)....Pages 3-33
Different Types of Discrete-Time and Discrete-Space Dynamical Systems (Kuize Zhang, Lijun Zhang, Lihua Xie)....Pages 35-56
Front Matter ....Pages 57-57
Invertibility and Nonsingularity of Boolean Control Networks (Kuize Zhang, Lijun Zhang, Lihua Xie)....Pages 59-86
Observability of Boolean Control Networks (Kuize Zhang, Lijun Zhang, Lihua Xie)....Pages 87-104
Detectability of Boolean Control Networks (Kuize Zhang, Lijun Zhang, Lihua Xie)....Pages 105-115
Observability and Detectability of Large-Scale Boolean Control Networks (Kuize Zhang, Lijun Zhang, Lihua Xie)....Pages 117-142
Front Matter ....Pages 143-143
Observability of Nondeterministic Finite-Transition Systems (Kuize Zhang, Lijun Zhang, Lihua Xie)....Pages 145-163
Detectability of Nondeterministic Finite-Transition Systems (Kuize Zhang, Lijun Zhang, Lihua Xie)....Pages 165-175
Front Matter ....Pages 177-177
Detectability of Finite-State Automata (Kuize Zhang, Lijun Zhang, Lihua Xie)....Pages 179-192
Front Matter ....Pages 193-193
Detectability of Labeled Petri Nets (Kuize Zhang, Lijun Zhang, Lihua Xie)....Pages 195-209
Front Matter ....Pages 211-211
Generalized Reversibility of Cellular Automata (Kuize Zhang, Lijun Zhang, Lihua Xie)....Pages 213-220
Back Matter ....Pages 221-222
