کتاب زبان اصلی Formal Methods for Control of Nonlinear Systems روش های رسمی برای کنترل سیستم های غیرخطی Formal Methods for Control of Nonlinear Systems نوشته یینان لی و جون لیو Yinan Li Jun Liu کتابی است که در سال 2022 میلادی منتشر شده است این کتاب به بررسی روش ها و تکنیک های رسمی و ریاضی برای تجزیه و تحلیل و طراحی سیستم های کنترل غیرخطی می پردازد نویسندگان با رویکردی جامع مفاهیم پایه ای مانند مدل سازی ریاضی تجزیه و تحلیل پایداری طراحی کنترل کننده و بهینه سازی را برای انواع سیستم های غیرخطی تشریح کرده اند کتاب حاوی مثال ها و کاربردهای فراوانی است و برای دانشجویان محققان و مهندسان کنترل مفید خواهد بود x000D   x000D