The purpose of the present book is to offer an up-to-date account of the theory of viscosity solutions of first order partial differential equations of Hamilton-Jacobi type and its applications to optimal deterministic control and differential games. The theory of viscosity solutions, initiated in the early 80's by the papers of M.G. Crandall and P.L. Lions CL81, CL83], M.G. Crandall, L.C. Evans and P.L. Lions CEL84] and P.L. Lions' influential monograph L82], provides an - tremely convenient PDE framework for dealing with the lack of smoothness of the value functions arising in dynamic...
The purpose of the present book is to offer an up-to-date account of the theory of viscosity solutions of first order partial differential equations o...
This book is devoted to one of the fastest developing fields in modern control theory - the so-called H-infinity optimal control theory. The book can be used for a second or third year graduate level course in the subject, and researchers working in the area will find the book useful as a standard reference. Based mostly on recent work of the authors, the book is written on a good mathematical level. Many results in it are original, interesting, and inspirational. The topic is central to modern control and hence this definitive book is highly recommended to anyone who wishes to catch up...
This book is devoted to one of the fastest developing fields in modern control theory - the so-called H-infinity optimal control theory. The book c...
This book presents advances in the theory and design of robust nonlinear control systems. In the first part of the book, the authors provide a unified framework for state-space and Lyapunov techniques by combining concepts from set-valued analysis, Lyapunov stability theory, and game theory. Within this unified framework, the authors then develop a variety of control design methods suitable for systems described by low-order nonlinear ordinary differential equations. Emphasis is placed on global controller designs, that is, designs for the entire region of model validity. Because linear...
This book presents advances in the theory and design of robust nonlinear control systems. In the first part of the book, the authors provide a unif...
By the development of new fields and applications, such as Automated Theorem Proving and Logic Programming, Logic has obtained a new and important role in Computer Science. The traditional mathematical way of dealing with Logic is in some respect not tailored for Computer Science - plications. This book emphasizes such Computer Science aspects in Logic. It arose from a series of lectures in 1986 and 1987 on Computer Science Logic at the EWH University in Koblenz, Germany. The goal of this l- ture series was to give the undergraduate student an early and theoretically well-founded access to...
By the development of new fields and applications, such as Automated Theorem Proving and Logic Programming, Logic has obtained a new and important rol...
