Stabilization bounds for linear finite dynamical systems

یک مشکل رایج برای تمام برنامه های کاربردی سیستم های دینامیکی خطی محدود، تجزیه و تحلیل پویایی بدون شمارش هر حالت انتقال احتمالی است. علاقه خاصی به رفتار بلندمدت دینامیک است. در این مقاله تعدادی تکرار مورد نیاز برای یک سیستم برای حل و فصل بر روی یک مجموعه ثابت از عناصر مطالعه می کنیم. به عنوان نتیجه اصلی ما، ما دو مرز بالایی را در مورد تکرار مورد نیاز ارائه می دهیم و هر یک ممکن است به راحتی به آزمون سیستم نقطه ثابت یا محاسبۀ چرخه های محدود اعمال شود. محدوده ها بر اساس ویژگی های زیرمودوی تصاویر تکرار شده و سیستم های کاهش می یابند. ما همچنین نمونه هایی را ارائه می دهیم که در آن مرزهای ما بهینه هستند.