Jun Liu

Yinan Li

Formal methods is a field of computer science that emphasizes the use of rigorous mathematical techniques for verification and design of hardware and software systems. Analysis and design of nonlinear control design plays an important role across many disciplines of engineering and applied sciences, ranging from the control of an aircraft engine to the design of genetic circuits in synthetic biology. While linear control is a well-established subject, analysis and design of nonlinear control systems remains a challenging topic due to some of the fundamental difficulties caused by nonlinearity. Formal Methods for Control of Nonlinear Systems provides a unified computational approach to analysis and design of nonlinear systems. Features Constructive approach to nonlinear control. Rigorous specifications and validated computation. Suitable for graduate students and researchers who are interested in learning how formal methods and validated computation can be combined together to tackle nonlinear control problems with complex specifications from an algorithmic perspective. Combines mathematical rigor with practical applications.

Formal Methods for Control of Nonlinear Systems

剧场这一术语，被中国戏剧教授李亦男在特定语境下加以介绍和定义。这本独特的选集收录了其与九位1980年代后期在不同方面贡献卓著的中国戏剧人的访谈。这些与拥有不同的成长背景、年龄、艺术观点的剧场人的对话彰显了剧场这一概念开放和包容的特质。受访者们都曾在不同时期，不同时代精神下活跃在中国戏剧界，彼此之间拥有深刻的联结并相互影响。该选集是一部剧场人立足于创作实践，从崭新的视角看待当代中国戏剧不断变化形态的开创之作。 The term juchang is introduced, contextualized and defined by leading professor of theatre in China, Li Yinan, and forms a unique and individual selection of interviews with nine juchang theatre-makers from different periods after 1980, who have contributed to different and interesting developments. All have different backgrounds, ages and perspectives on theatre that reflect the open and inclusive nature of the concept of juchang. The interviewees were all active in Chinese theatre when a different creative spirit reigned, and yet they seem to have had extensive cohesion between, and influence on, each other. A ground breaking look at the changing shape of contemporary Chinese theatre from the perspectives of those who are in the process of creating it.

Yinan Li

Books

Your next favorite book is out there