This second, updated edition of the well Mechel's well established collection of formulas has bee...

This thorough treatment of snake robotics ranges from mathematical modeling techniques, through m...

Model checking is a computer-assisted method for the analysis of dynamical systems that can be...

'An introductory text on the analysis, control, and estimation of nonlinear systems, appropriate ...

This is the ?rst in a series of three volumes dedicated to the lecture notes of the Summer School...

Many partial differential equations (PDEs) that arise in physics can be viewed as infinite-dim...

Iterations of continuous maps of an interval to itself serve as the simplest examples of model...

Introduces number operators with a focus on the relationship between quantum mechanics and social...

Although some examples of phase portraits of quadratic systems can already be found in the wor...

Rapid advances in communication technology have created the possibility of large-scale control...

A timely, accessible introduction to the mathematics of chaos.The past three decades have seen ...

Enhanced Methods in Computer Security, Biometric and Artificial Intelligence Systems...