Chao Wang

This book provides an overview of Chinese RMB exchange markets and its risk management strategies. The view that RMB is playing an increasingly international role has been widely accepted by practitioners as well as scholars worldwide. Moreover, the Chinese government is opening the control of RMB exchange market step by step. However, some related topics are under heated debate, such as how to manage and warn of the currency crisis, what the trend of RMB exchange rate in the future is, and how to hedge the exchange risk in the process of RMB internationalization. In this book, we will give distinct answers to the above questions.

Safe Robot Navigation Among Moving and Steady Obstacles is the first book to focus on reactive navigation algorithms in unknown dynamic environments with moving and steady obstacles. The first three chapters provide introduction and background on sliding mode control theory, sensor models, and vehicle kinematics. Chapter 4 deals with the problem of optimal navigation in the presence of obstacles. Chapter 5 discusses the problem of reactively navigating. In Chapter 6, border patrolling algorithms are applied to a more general problem of reactively navigating. A method for guidance of a Dubins-like mobile robot is presented in Chapter 7. Chapter 8 introduces and studies a simple biologically-inspired strategy for navigation a Dubins-car. Chapter 9 deals with a hard scenario where the environment of operation is cluttered with obstacles that may undergo arbitrary motions, including rotations and deformations. Chapter 10 presents a novel reactive algorithm for collision free navigation of a nonholonomic robot in unknown complex dynamic environments with moving obstacles. Chapter 11 introduces and examines a novel purely reactive algorithm to navigate a planar mobile robot in densely cluttered environments with unpredictably moving and deforming obstacles. Chapter 12 considers a multiple robot scenario. For the Control and Automation Engineer, this book offers accessible and precise development of important mathematical models and results. All the presented results have mathematically rigorous proofs. On the other hand, the Engineer in Industry can benefit by the experiments with real robots such as Pioneer robots, autonomous wheelchairs and autonomous mobile hospital.

Abstraction Refinement for Large Scale Model Checking summarizes recent research on abstraction techniques for model checking large digital system. Considering both the size of today's digital systems and the capacity of state-of-the-art verification algorithms, abstraction is the only viable solution for the successful application of model checking techniques to industrial-scale designs. This book describes recent research developments in automatic abstraction refinement techniques. The suite of algorithms presented in this book has demonstrated significant improvement over prior art; some of them have already been adopted by the EDA companies in their commercial/in-house verification tools.

Abstraction Refinement for Large Scale Model Checking summarizes recent research on abstraction techniques for model checking large digital system. Considering both the size of today's digital systems and the capacity of state-of-the-art verification algorithms, abstraction is the only viable solution for the successful application of model checking techniques to industrial-scale designs. This book describes recent research developments in automatic abstraction refinement techniques. The suite of algorithms presented in this book has demonstrated significant improvement over prior art; some of them have already been adopted by the EDA companies in their commercial/in-house verification tools.