Search

I think the next century will be the century of complexity. We have already discovered the basic laws that govern matter and understand all the normal situations. We don't know how the laws?t together, and what happens under extreme conditions. But I expect we will?nd a complete uni?ed theory sometime this century. There is no limit to the complexity that we can build using those basic laws. Stephen Hawking, January 2000. We don't know what we are talking about. Many of us believed that string theory was a very dramatic break with our previous notions of quantum theory. But now we learn that string theory, well, is not that much of a break. The state of physics today is like it was when we were mysti?ed by radioactivity. They were missing something absolutely fundamental. We are missing perhaps something as profound as they were back then. Nobel Laureate David Gross, December 2005. This volume is essentially a compilation of papers presented at the Int- national Workshop on Mathematics and Physics of Complex and Nonlinear Systems that was held at Indian Institute of Technology Kanpur, March 14 – 26, 2004 on the theme ChaNoXity: The Nonlinear Dynamics of Nature.

The subject of this book is model abstraction of dynamical systems. The p- mary goal of the work embodied in this book is to design a controller for the mobile robotic car using abstraction. Abstraction provides a means to rep- sent the dynamics of a system using a simpler model while retaining important characteristics of the original system. A second goal of this work is to study the propagation of uncertain initial conditions in the framework of abstraction. The summation of this work is presented in this book. It includes the following: • An overview of the history and current research in mobile robotic control design. • A mathematical review that provides the tools used in this research area. • The development of the robotic car model and both controllers used in the new control design. • A review of abstraction and an extension of these ideas into new system relationship characterizations called traceability and -traceability. • A framework for designing controllers based on abstraction. • An open-loop control design with simulation results. • An investigation of system abstraction with uncertain initial conditions.