Ontologies and formal representations of knowledge are extremely powerful tools for modeling and managing large applications in several domains ranging from knowledge engineering, to data mining, to the Semantic Web.

Ontology Theory, Management and Design: Advanced Tools and Models explores the wide range of applications for ontologies, while providing a complete view of both the theory behind the design and the problems posed by the practical development and use of ontologies. This reference presents an in-depth and forward looking analysis of current research, illustrating the importance of this field and pointing toward to the future of knowledge engineering, management and information technology.

Nonlinear Dynamical Systems and Control presents and develops an extensive treatment of stability analysis and control design of nonlinear dynamical systems, with an emphasis on Lyapunov-based methods. Dynamical system theory lies at the heart of mathematical sciences and engineering. The application of dynamical systems has crossed interdisciplinary boundaries from chemistry to biochemistry to chemical kinetics, from medicine to biology to population genetics, from economics to sociology to psychology, and from physics to mechanics to engineering. The increasingly complex nature of engineering systems requiring feedback control to obtain a desired system behavior also gives rise to dynamical systems. Wassim Haddad and VijaySekhar Chellaboina provide an exhaustive treatment of nonlinear systems theory and control using the highest standards of exposition and rigor. This graduate-level textbook goes well beyond standard treatments by developing Lyapunov stability theory, partial stability, boundedness, input-to-state stability, input-output stability, finite-time stability, semistability, stability of sets and periodic orbits, and stability theorems via vector Lyapunov functions. A complete and thorough treatment of dissipativity theory, absolute stability theory, stability of feedback systems, optimal control, disturbance rejection control, and robust control for nonlinear dynamical systems is also given. This book is an indispensable resource for applied mathematicians, dynamical systems theorists, control theorists, and engineers.