International Series on Asian Studies in Computer and Information Science – serie

Nonlinear Control Systems and Power System Dynamics presents a comprehensive description of nonlinear control of electric power systems using nonlinear control theory, which is developed by the differential geometric approach and nonlinear robust control method. This book explains in detail the concepts, theorems and algorithms in nonlinear control theory, illustrated by step-by-step examples. In addition, all the mathematical formulation involved in deriving the nonlinear control laws of power systems are sufficiently presented. Considerations and cautions involved in applying nonlinear control theory to practical engineering control designs are discussed and special attention is given to the implementation of nonlinear control laws using microprocessors. Nonlinear Control Systems and Power System Dynamics serves as a text for advanced level courses and is an excellent reference for engineers and researchers who are interested in the application of modern nonlinear control theory to practical engineering control designs.

Data Management and Internet Computing for Image/Pattern Analysis focuses on the data management issues and Internet computing aspect of image processing and pattern recognition research. The book presents a comprehensive overview of the state of the art, providing detailed case studies that emphasize how image and pattern (IAP) data are distributed and exchanged on sequential and parallel machines, and how the data communication patterns in low- and higher-level IAP computing differ from general numerical computation, what problems they cause and what opportunities they provide. The studies also describe how the images and matrices should be stored, accessed and distributed on different types of machines connected to the Internet, and how Internet resource sharing and data transmission change traditional IAP computing. Data Management and Internet Computing for Image/Pattern Analysis is divided into three parts: the first part describes several software approaches to IAP computing, citing several representative data communication patterns and related algorithms; the second part introduces hardware and Internet resource sharing in which a wide range of computer architectures are described and memory management issues are discussed; and the third part presents applications ranging from image coding, restoration and progressive transmission. Data Management and Internet Computing for Image/Pattern Analysis is an excellent reference for researchers and may be used as a text for advanced courses in image processing and pattern recognition.

Fully Tuned Radial Basis Function Neural Networks for Flight Control presents the use of the Radial Basis Function (RBF) neural networks for adaptive control of nonlinear systems with emphasis on flight control applications. A Lyapunov synthesis approach is used to derive the tuning rules for the RBF controller parameters in order to guarantee the stability of the closed loop system. Unlike previous methods that tune only the weights of the RBF network, this book presents the derivation of the tuning law for tuning the centers, widths, and weights of the RBF network, and compares the results with existing algorithms. It also includes a detailed review of system identification, including indirect and direct adaptive control of nonlinear systems using neural networks. Fully Tuned Radial Basis Function Neural Networks for Flight Control is an excellent resource for professionals using neural adaptive controllers for flight control applications.

Recent years have seen a rapid development of neural network control tech­ niques and their successful applications. Numerous simulation studies and actual industrial implementations show that artificial neural network is a good candidate for function approximation and control system design in solving the control problems of complex nonlinear systems in the presence of different kinds of uncertainties. Many control approaches/methods, reporting inventions and control applications within the fields of adaptive control, neural control and fuzzy systems, have been published in various books, journals and conference proceedings. In spite of these remarkable advances in neural control field, due to the complexity of nonlinear systems, the present research on adaptive neural control is still focused on the development of fundamental methodologies. From a theoretical viewpoint, there is, in general, lack of a firmly mathematical basis in stability, robustness, and performance analysis of neural network adaptive control systems. This book is motivated by the need for systematic design approaches for stable adaptive control using approximation-based techniques. The main objec­ tives of the book are to develop stable adaptive neural control strategies, and to perform transient performance analysis of the resulted neural control systems analytically. Other linear-in-the-parameter function approximators can replace the linear-in-the-parameter neural networks in the controllers presented in the book without any difficulty, which include polynomials, splines, fuzzy systems, wavelet networks, among others. Stability is one of the most important issues being concerned if an adaptive neural network controller is to be used in practical applications.

Biometrics-based authentication and identification are emerging as the most reliable method to authenticate and identify individuals. Biometrics requires that the person to be identified be physically present at the point-of-identification and relies on `something which you are or you do' to provide better security, increased efficiency, and improved accuracy. Automated biometrics deals with physiological or behavioral characteristics such as fingerprints, signature, palmprint, iris, hand, voice and face that can be used to authenticate a person's identity or establish an identity from a database. With rapid progress in electronic and Internet commerce, there is also a growing need to authenticate the identity of a person for secure transaction processing. Designing an automated biometrics system to handle large population identification, accuracy and reliability of authentication are challenging tasks. Currently, there are over ten different biometrics systems that are either widely used or under development. Some automated biometrics, such as fingerprint identification and speaker verification, have received considerable attention over the past 25 years, and some issues like face recognition and iris-based authentication have been studied extensively resulting in successful development of biometrics systems in commercial applications. However, very few books are exclusively devoted to such issues of automated biometrics. Automated Biometrics: Technologies and Systems systematically introduces the technologies and systems, and explores how to design the corresponding systems with in-depth discussion. The issues addressed in this book are highly relevant to many fundamental concerns of both researchers and practitioners of automated biometrics in computer and system security.

Many approaches have been proposed to enhance software productivity and reliability. These approaches typically fall into three categories: the engineering approach, the formal approach, and the knowledge-based approach. The optimal gain in software productivity cannot be obtained if one relies on only one of these approaches. Thus, the integration of different approaches has also become a major area of research. No approach can be said to be perfect if it fails to satisfy the following two criteria. Firstly, a good approach should support the full life cycle of software development. Secondly, a good approach should support the development of large-scale software for real use in many application domains. Such an approach can be referred to as a five-in-one approach. The authors of this book have conducted research in knowledge-based software engineering, of which the final goal is to develop a paradigm for software engineering which not only integrates the three approaches mentioned above, but also fulfils the two criteria on which the five-in-one approach is based. "Domain Modeling- Based Software Engineering: A Formal Approach" explores the results of this research.

Common Waveform Analysis, which will be of interest to both electrical engineers and mathematicians, applies the classic Fourier analysis to common waveforms. The following questions are answered: Can a signal be considered a superposition of common waveforms with different frequencies? How can a signal be decomposed into a series of common waveforms? How can a signal best be approximated using finite common waveforms? How can a combination of common waveforms that equals a given signal at N uniform points be found? Can common waveforms be used in techniques that have traditionally been based on sine-cosine functions? Common Waveform Analysis represents the most advanced research available to research scientists and scholars working in fields related to the area.

There is an increasing demand for dynamic systems to become more safe and reliable. This requirement extends beyond the normally accepted safety-critical systems of nuclear reactors and aircraft where safety is paramount important, to systems such as autonomous vehicles and fast railways where the system availability is vital. It is clear that fault diagnosis (including fault detection and isolation, FDI) has been becoming an important subject in modern control theory and practice. For example, the number of papers on FDI presented in many control-related conferences has been increasing steadily. The subject of fault detection and isolation continues to mature to an established field of research in control engineering. A large amount of knowledge on model-based fault diagnosis has been ac­ cumulated through the literature since the beginning of the 1970s. However, publications are scattered over many papers and a few edited books. Up to the end of 1997, there is no any book which presents the subject in an unified framework. The consequence of this is the lack of "common language", dif­ ferent researchers use different terminology. This problem has obstructed the progress of model-based FDI techniques and has been causing great concern in research community. Many survey papers have been published to tackle this problem. However, a book which presents the materials in a unified format and provides a comprehensive foundation of model-based FDI is urgently needed.

Presents a comprehensive and systematic discussion of theoretics, methods, techniques and tools for performance evaluation, prediction and visualization of parallel systems. Chapter 1 gives a short overview of performance degradation of parallel systems, and presents a general discussion on the importance of performance evaluation, prediction and visualization of parallel systems. Chapter 2 analyzes and defines several kinds of serial and parallel runtime, points out some of the weaknesses of parallel speedup metrics, and discusses how to improve and generalize them. Chapter 3 describes formal definitions of scalability, addresses the basic metrics affecting the scalability of parallel systems, discusses scalability of parallel systems from three aspects: parallel architecture, parallel algorithm and parallel algorithm-architecture combinations, and analyzes the relations of scalability and speedup. Chapter 4 discusses the methodology of performance measurement, describes the benchmark-oriented performance test and analysis and how to measure speedup and scalability in practice.The text should serve as a reference for researchers, and may be used as a text for advanced courses on the topic.

Intelligent building could be the future of our building industry; all commercial, residential, industrial and institutional buildings could be designed towards the goal of "intelligent buildings." The most important aspect of an intelligent building is the building systems, such as electrical services, heating, ventilation and air-conditioning systems, vertical transportation systems, and life safety systems, which must operate intelligently and efficiently to enhance the activities of the occupants. This book explains what already exists in a modern intelligent building and describes what is being developed by researchers to improve human comfort, working efficiency and energy performance for buildings in the 21st-century. It is divided into three parts. The first part gives a quick review of the structure, terminology, layout and operating principles of most standard modern building systems. The second part introduces the background material necessary to understand intelligent building systems, including information on electronics technology, fundamental mathematics, and techniques in artificial intelligence and signal processing.These first two parts are the foundation for the final part, which consists of research works carried out by the authors and other researchers in the application of artificial intelligence to building systems. The technologies presented should encourage readers to envision new and innovative ideas on possible future applications. Intelligent Building Systems is relevant to practitioners and researchers in the area of architectural science and engineering, electrical and mechanical services and intelligent buildings. It may also be used as a text for advanced courses on the topic.

Fuzzy Logic and Soft Computing contains contributions from world-leading experts from both the academic and industrial communities. The first part of the volume consists of invited papers by international authors describing possibilistic logic in decision analysis, fuzzy dynamic programming in optimization, linguistic modifiers for word computation, and theoretical treatments and applications of fuzzy reasoning. The second part is composed of eleven contributions from Chinese authors focusing on some of the key issues in the fields: stable adaptive fuzzy control systems, partial evaluations and fuzzy reasoning, fuzzy wavelet neural networks, analysis and applications of genetic algorithms, partial repeatability, rough set reduction for data enriching, limits of agents in process calculus, medium logic and its evolution, and factor spaces canes. These contributions are not only theoretically sound and well-formulated, but are also coupled with applicability implications and/or implementation treatments. The domains of applications realized or implied are: decision analysis, word computation, databases and knowledge discovery, power systems, control systems, and multi-destinational routing. Furthermore, the articles contain materials that are an outgrowth of recently conducted research, addressing fundamental and important issues of fuzzy logic and soft computing.

YUNMIN ZHU In the past two decades, multi sensor or multi-source information fusion tech­ niques have attracted more and more attention in practice, where observations are processed in a distributed manner and decisions or estimates are made at the individual processors, and processed data (or compressed observations) are then transmitted to a fusion center where the final global decision or estimate is made. A system with multiple distributed sensors has many advantages over one with a single sensor. These include an increase in the capability, reliability, robustness and survivability of the system. Distributed decision or estimation fusion prob­ lems for cases with statistically independent observations or observation noises have received significant attention (see Varshney's book Distributed Detec­ tion and Data Fusion, New York: Springer-Verlag, 1997, Bar-Shalom's book Multitarget-Multisensor Tracking: Advanced Applications, vol. 1-3, Artech House, 1990, 1992,2000). Problems with statistically dependent observations or observation noises are more difficult and have received much less study. In practice, however, one often sees decision or estimation fusion problems with statistically dependent observations or observation noises. For instance, when several sensors are used to detect a random signal in the presence of observation noise, the sensor observations could not be statistically independent when the signal is present. This book provides a more complete treatment of the fundamentals of multi­ sensor decision and estimation fusion in order to deal with general random ob­ servations or observation noises that are correlated across the sensors.

Nonlinear Control Systems and Power System Dynamics presents a comprehensive description of nonlinear control of electric power systems using nonlinear control theory, which is developed by the differential geometric approach and nonlinear robust control method. This book explains in detail the concepts, theorems and algorithms in nonlinear control theory, illustrated by step-by-step examples. In addition, all the mathematical formulation involved in deriving the nonlinear control laws of power systems are sufficiently presented. Considerations and cautions involved in applying nonlinear control theory to practical engineering control designs are discussed and special attention is given to the implementation of nonlinear control laws using microprocessors. Nonlinear Control Systems and Power System Dynamics serves as a text for advanced level courses and is an excellent reference for engineers and researchers who are interested in the application of modern nonlinear control theory to practical engineering control designs.

Fully Tuned Radial Basis Function Neural Networks for Flight Control presents the use of the Radial Basis Function (RBF) neural networks for adaptive control of nonlinear systems with emphasis on flight control applications. A Lyapunov synthesis approach is used to derive the tuning rules for the RBF controller parameters in order to guarantee the stability of the closed loop system. Unlike previous methods that tune only the weights of the RBF network, this book presents the derivation of the tuning law for tuning the centers, widths, and weights of the RBF network, and compares the results with existing algorithms. It also includes a detailed review of system identification, including indirect and direct adaptive control of nonlinear systems using neural networks. Fully Tuned Radial Basis Function Neural Networks for Flight Control is an excellent resource for professionals using neural adaptive controllers for flight control applications.

Recent years have seen a rapid development of neural network control tech­ niques and their successful applications. Numerous simulation studies and actual industrial implementations show that artificial neural network is a good candidate for function approximation and control system design in solving the control problems of complex nonlinear systems in the presence of different kinds of uncertainties. Many control approaches/methods, reporting inventions and control applications within the fields of adaptive control, neural control and fuzzy systems, have been published in various books, journals and conference proceedings. In spite of these remarkable advances in neural control field, due to the complexity of nonlinear systems, the present research on adaptive neural control is still focused on the development of fundamental methodologies. From a theoretical viewpoint, there is, in general, lack of a firmly mathematical basis in stability, robustness, and performance analysis of neural network adaptive control systems. This book is motivated by the need for systematic design approaches for stable adaptive control using approximation-based techniques. The main objec­ tives of the book are to develop stable adaptive neural control strategies, and to perform transient performance analysis of the resulted neural control systems analytically. Other linear-in-the-parameter function approximators can replace the linear-in-the-parameter neural networks in the controllers presented in the book without any difficulty, which include polynomials, splines, fuzzy systems, wavelet networks, among others. Stability is one of the most important issues being concerned if an adaptive neural network controller is to be used in practical applications.

YUNMIN ZHU In the past two decades, multi sensor or multi-source information fusion tech­ niques have attracted more and more attention in practice, where observations are processed in a distributed manner and decisions or estimates are made at the individual processors, and processed data (or compressed observations) are then transmitted to a fusion center where the final global decision or estimate is made. A system with multiple distributed sensors has many advantages over one with a single sensor. These include an increase in the capability, reliability, robustness and survivability of the system. Distributed decision or estimation fusion prob­ lems for cases with statistically independent observations or observation noises have received significant attention (see Varshney's book Distributed Detec­ tion and Data Fusion, New York: Springer-Verlag, 1997, Bar-Shalom's book Multitarget-Multisensor Tracking: Advanced Applications, vol. 1-3, Artech House, 1990, 1992,2000). Problems with statistically dependent observations or observation noises are more difficult and have received much less study. In practice, however, one often sees decision or estimation fusion problems with statistically dependent observations or observation noises. For instance, when several sensors are used to detect a random signal in the presence of observation noise, the sensor observations could not be statistically independent when the signal is present. This book provides a more complete treatment of the fundamentals of multi­ sensor decision and estimation fusion in order to deal with general random ob­ servations or observation noises that are correlated across the sensors.

Data Management and Internet Computing for Image/Pattern Analysis focuses on the data management issues and Internet computing aspect of image processing and pattern recognition research. The book presents a comprehensive overview of the state of the art, providing detailed case studies that emphasize how image and pattern (IAP) data are distributed and exchanged on sequential and parallel machines, and how the data communication patterns in low- and higher-level IAP computing differ from general numerical computation, what problems they cause and what opportunities they provide. The studies also describe how the images and matrices should be stored, accessed and distributed on different types of machines connected to the Internet, and how Internet resource sharing and data transmission change traditional IAP computing. Data Management and Internet Computing for Image/Pattern Analysis is divided into three parts: the first part describes several software approaches to IAP computing, citing several representative data communication patterns and related algorithms; the second part introduces hardware and Internet resource sharing in which a wide range of computer architectures are described and memory management issues are discussed; and the third part presents applications ranging from image coding, restoration and progressive transmission. Data Management and Internet Computing for Image/Pattern Analysis is an excellent reference for researchers and may be used as a text for advanced courses in image processing and pattern recognition.

Many approaches have been proposed to enhance software productivity and reliability. These approaches typically fall into three categories: the engineering approach, the formal approach, and the knowledge-based approach. The optimal gain in software productivity cannot be obtained if one relies on only one of these approaches. Thus, the integration of different approaches has also become a major area of research. No approach can be said to be perfect if it fails to satisfy the following two criteria. Firstly, a good approach should support the full life cycle of software development. Secondly, a good approach should support the development of large-scale software for real use in many application domains. Such an approach can be referred to as a five-in-one approach. The authors of this book have, for the past eight years, conducted research in knowledge-based software engineering, of which the final goal is to develop a paradigm for software engineering which not only integrates the three approaches mentioned above, but also fulfils the two criteria on which the five-in-one approach is based. Domain Modeling- Based Software Engineering: A Formal Approach explores the results of this research. Domain Modeling-Based Software Engineering: A Formal Approach will be useful to researchers of knowledge-based software engineering, students and instructors of computer science, and software engineers who are working on large-scale projects of software development and want to use knowledge-based development methods in their work.

Biometrics-based authentication and identification are emerging as the most reliable method to authenticate and identify individuals. Biometrics requires that the person to be identified be physically present at the point-of-identification and relies on `something which you are or you do' to provide better security, increased efficiency, and improved accuracy. Automated biometrics deals with physiological or behavioral characteristics such as fingerprints, signature, palmprint, iris, hand, voice and face that can be used to authenticate a person's identity or establish an identity from a database. With rapid progress in electronic and Internet commerce, there is also a growing need to authenticate the identity of a person for secure transaction processing. Designing an automated biometrics system to handle large population identification, accuracy and reliability of authentication are challenging tasks. Currently, there are over ten different biometrics systems that are either widely used or under development. Some automated biometrics, such as fingerprint identification and speaker verification, have received considerable attention over the past 25 years, and some issues like face recognition and iris-based authentication have been studied extensively resulting in successful development of biometrics systems in commercial applications. However, very few books are exclusively devoted to such issues of automated biometrics. Automated Biometrics: Technologies and Systems systematically introduces the technologies and systems, and explores how to design the corresponding systems with in-depth discussion. The issues addressed in this book are highly relevant to many fundamental concerns of both researchers and practitioners of automated biometrics in computer and system security.

Common Waveform Analysis, which will be of interest to both electrical engineers and mathematicians, applies the classic Fourier analysis to common waveforms. The following questions are answered: Can a signal be considered a superposition of common waveforms with different frequencies? How can a signal be decomposed into a series of common waveforms? How can a signal best be approximated using finite common waveforms? How can a combination of common waveforms that equals a given signal at N uniform points be found? Can common waveforms be used in techniques that have traditionally been based on sine-cosine functions? Common Waveform Analysis represents the most advanced research available to research scientists and scholars working in fields related to the area.

Intelligent building is the future of our building industry; all commercial, residential, industrial and institutional buildings will be designed towards the goal of `intelligent buildings'. The most important aspect of an intelligent building is the building systems, such as electrical services, heating, ventilation and air-conditioning systems, vertical transportation systems, and life safety systems, which must operate intelligently and efficiently to enhance the activities of the occupants. Intelligent Building Systems explains what already exists in a modern intelligent building and describes what is currently being developed by researchers to improve human comfort, working efficiency and energy performance for buildings in the 21st century. Intelligent Building Systems is divided into three parts. The first part gives a quick review of the structure, terminology, layout and operating principles of most standard modern building systems. The second part introduces the background material necessary to understand intelligent building systems, including information on electronics technology, fundamental mathematics, and techniques in artificial intelligence and signal processing. These first two parts are the foundation for the final part, which consists of research works carried out by the authors and other researchers in the application of artificial intelligence to building systems. The technologies presented will encourage readers to envision new and innovative ideas on possible future applications. Intelligent Building Systems is relevant to practitioners and researchers in the area of architectural science and engineering, electrical and mechanical services and intelligent buildings. It may also be used as a text for advanced courses on the topic.

Performance Evaluation, Prediction and Visualization in Parallel Systems presents a comprehensive and systematic discussion of theoretics, methods, techniques and tools for performance evaluation, prediction and visualization of parallel systems. Chapter 1 gives a short overview of performance degradation of parallel systems, and presents a general discussion on the importance of performance evaluation, prediction and visualization of parallel systems. Chapter 2 analyzes and defines several kinds of serial and parallel runtime, points out some of the weaknesses of parallel speedup metrics, and discusses how to improve and generalize them. Chapter 3 describes formal definitions of scalability, addresses the basic metrics affecting the scalability of parallel systems, discusses scalability of parallel systems from three aspects: parallel architecture, parallel algorithm and parallel algorithm-architecture combinations, and analyzes the relations of scalability and speedup. Chapter 4 discusses the methodology of performance measurement, describes the benchmark- oriented performance test and analysis and how to measure speedup and scalability in practice. Chapter 5 analyzes the difficulties in performance prediction, discusses application-oriented and architecture-oriented performance prediction and how to predict speedup and scalability in practice. Chapter 6 discusses performance visualization techniques and tools for parallel systems from three stages: performance data collection, performance data filtering and performance data visualization, and classifies the existing performance visualization tools. Chapter 7 describes parallel compiling-based, search-based and knowledge-based performance debugging, which assists programmers to optimize the strategy or algorithm in their parallel programs, and presents visual programming-based performance debugging to help programmers identify the location and cause of the performanceproblem. It also provides concrete suggestions on how to modify their parallel program to improve the performance. Chapter 8 gives an overview of current interconnection networks for parallel systems, analyzes the scalability of interconnection networks, and discusses how to measure and improve network performances. Performance Evaluation, Prediction and Visualization in Parallel Systems serves as an excellent reference for researchers, and may be used as a text for advanced courses on the topic.

There is an increasing demand for dynamic systems to become more safe and reliable. This requirement extends beyond the normally accepted safety-critical systems of nuclear reactors and aircraft where safety is paramount important, to systems such as autonomous vehicles and fast railways where the system availability is vital. It is clear that fault diagnosis (including fault detection and isolation, FDI) has been becoming an important subject in modern control theory and practice. For example, the number of papers on FDI presented in many control-related conferences has been increasing steadily. The subject of fault detection and isolation continues to mature to an established field of research in control engineering. A large amount of knowledge on model-based fault diagnosis has been ac­ cumulated through the literature since the beginning of the 1970s. However, publications are scattered over many papers and a few edited books. Up to the end of 1997, there is no any book which presents the subject in an unified framework. The consequence of this is the lack of "common language", dif­ ferent researchers use different terminology. This problem has obstructed the progress of model-based FDI techniques and has been causing great concern in research community. Many survey papers have been published to tackle this problem. However, a book which presents the materials in a unified format and provides a comprehensive foundation of model-based FDI is urgently needed.