مشخصات کتاب

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 

در صورت تبدیل فایل کتاب 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

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

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

دانلود کتاب Winning - Jack Welch and Suzy Welch

دانلود کتاب Prius or pickup?: how the answers to four simple questions explain America's great divide

دانلود کتاب The Genetics of Neurodevelopmental Disorders

دانلود کتاب Technology Roadmap for Small Modular Reactor Deployment

دانلود کتاب The Power of Ideology: From the Roman Empire to Al-Qaeda