There is an increasing demand for dynamic systems to become safer and more reliable This requirement extends beyond the normally accepted safety-critical systems such as nuclear reactors and aircraft, where safety is of paramount importance, to systems such as autonomous vehicles and process control systems where the system availability is vital It is clear that fault diagnosis is becoming an important subject in modern control theory and practice Robust Model-Based Fault Diagnosis for Dynamic Systems presents the subject of model-based fault diagnosis in a unified framework It contains many important topics and methods; however, total coverage and completeness is not the primary concern The book focuses on fundamental issues such as basic definitions, residual generation methods and the importance of robustness in model-based fault diagnosis approaches In this book, fault diagnosis concepts and methods are illustrated by either simple academic examples or practical applications The first two chapters are of tutorial value and provide a starting point for newcomers to this field The rest of the book presents the state of the art in model-based fault diagnosis by discussing many important robust approaches and their applications This will certainly appeal to experts in this field Robust Model-Based Fault Diagnosis for Dynamic Systems targets both newcomers who want to get into this subject, and experts who are concerned with fundamental issues and are also looking for inspiration for future research The book is useful for both researchers in academia and professional engineers in industry because both theory and applications are discussed Although this is a research monograph, it will be an important text for postgraduate research students world-wide The largest market, however, will be academics, libraries and practicing engineers and scientists throughout the world

Robust Model-Based Fault Diagnosis for Dynamic Systems

Motivation: Molecular biotechnology now makes it possible to build elaborate systems models, but the systems biology community needs information standards if models are to be shared, evaluated and developed cooperatively. Results: We summarize the Systems Biology Markup Language (SBML) Level 1, a free, open, XML-based format for representing biochemical reaction networks. SBML is a software-independent language for describing models common to research in many areas of computational biology, including cell signaling pathways, metabolic pathways, gene regulation, and others. ∗ To whom correspondence should be addressed. Availability: The specification of SBML Level 1 is freely available from http://www.sbml.org/.

The systems biology markup language (SBML): a medium for representation and exchange of biochemical network models.

Most of the signal processing that we will study in this course involves local operations on a signal, namely transforming the signal by applying linear combinations of values in the neighborhood of each sample point. You are familiar with such operations from Calculus, namely, taking derivatives and you are also familiar with this from optics namely blurring a signal. We will be looking at sampled signals only. Let's start with a few basic examples. Local difference Suppose we have a 1D image and we take the local difference of intensities, DI(x) = 1 2 (I(x + 1) − I(x − 1)) which give a discrete approximation to a partial derivative. (We compute this for each x in the image.) What is the effect of such a transformation? One key idea is that such a derivative would be useful for marking positions where the intensity changes. Such a change is called an edge. It is important to detect edges in images because they often mark locations at which object properties change. These can include changes in illumination along a surface due to a shadow boundary, or a material (pigment) change, or a change in depth as when one object ends and another begins. The computational problem of finding intensity edges in images is called edge detection. We could look for positions at which DI(x) has a large negative or positive value. Large positive values indicate an edge that goes from low to high intensity, and large negative values indicate an edge that goes from high to low intensity. Example Suppose the image consists of a single (slightly sloped) edge:

http://ieeexplore.ieee.org/iel5/5/31307/01456462.pdf

Linear systems

An observer for nonlinear systems is constructed under rather general technical assumptions (the fact that some functions are globally Lipschitz). This observer works either for autonomous systems or for nonlinear systems that are observable for any input. A tentative application to biological systems is described. >

A simple observer for nonlinear systems applications to bioreactors

Part I: Background and Fundamentals Introduction, Mohamed Gad-el-Hak, University of Notre Dame Scaling of Micromechanical Devices, William Trimmer, Standard MEMS, Inc., and Robert H. Stroud, Aerospace Corporation Mechanical Properties of MEMS Materials, William N. Sharpe, Jr., Johns Hopkins University Flow Physics, Mohamed Gad-el-Hak, University of Notre Dame Integrated Simulation for MEMS: Coupling Flow-Structure-Thermal-Electrical Domains, Robert M. Kirby and George Em Karniadakis, Brown University, and Oleg Mikulchenko and Kartikeya Mayaram, Oregon State University Liquid Flows in Microchannels, Kendra V. Sharp and Ronald J. Adrian, University of Illinois at Urbana-Champaign, Juan G. Santiago and Joshua I. Molho, Stanford University Burnett Simulations of Flows in Microdevices, Ramesh K. Agarwal and Keon-Young Yun, Wichita State University Molecular-Based Microfluidic Simulation Models, Ali Beskok, Texas A&M University Lubrication in MEMS, Kenneth S. Breuer, Brown University Physics of Thin Liquid Films, Alexander Oron, Technion, Israel Bubble/Drop Transport in Microchannels, Hsueh-Chia Chang, University of Notre Dame Fundamentals of Control Theory, Bill Goodwine, University of Notre Dame Model-Based Flow Control for Distributed Architectures, Thomas R. Bewley, University of California, San Diego Soft Computing in Control, Mihir Sen and Bill Goodwine, University of Notre Dame Part II: Design and Fabrication Materials for Microelectromechanical Systems Christian A. Zorman and Mehran Mehregany, Case Western Reserve University MEMS Fabrication, Marc J. Madou, Nanogen, Inc. LIGA and Other Replication Techniques, Marc J. Madou, Nanogen, Inc. X-Ray-Based Fabrication, Todd Christenson, Sandia National Laboratories Electrochemical Fabrication (EFAB), Adam L. Cohen, MEMGen Corporation Fabrication and Characterization of Single-Crystal Silicon Carbide MEMS, Robert S. Okojie, NASA Glenn Research Center Deep Reactive Ion Etching for Bulk Micromachining of Silicon Carbide, Glenn M. Beheim, NASA Glenn Research Center Microfabricated Chemical Sensors for Aerospace Applications, Gary W. Hunter, NASA Glenn Research Center, Chung-Chiun Liu, Case Western Reserve University, and Darby B. Makel, Makel Engineering, Inc. Packaging of Harsh-Environment MEMS Devices, Liang-Yu Chen and Jih-Fen Lei, NASA Glenn Research Center Part III: Applications of MEMS Inertial Sensors, Paul L. Bergstrom, Michigan Technological University, and Gary G. Li, OMM, Inc. Micromachined Pressure Sensors, Jae-Sung Park, Chester Wilson, and Yogesh B. Gianchandani, University of Wisconsin-Madison Sensors and Actuators for Turbulent Flows. Lennart Loefdahl, Chalmers University of Technology, and Mohamed Gad-el-Hak, University of Notre Dame Surface-Micromachined Mechanisms, Andrew D. Oliver and David W. Plummer, Sandia National Laboratories Microrobotics Thorbjoern Ebefors and Goeran Stemme, Royal Institute of Technology, Sweden Microscale Vacuum Pumps, E. Phillip Muntz, University of Southern California, and Stephen E. Vargo, SiWave, Inc. Microdroplet Generators. Fan-Gang Tseng, National Tsing Hua University, Taiwan Micro Heat Pipes and Micro Heat Spreaders, G. P. "Bud" Peterson, Rensselaer Polytechnic Institute Microchannel Heat Sinks, Yitshak Zohar, Hong Kong University of Science and Technology Flow Control, Mohamed Gad-el-Hak, University of Notre Dame) Part IV: The Future Reactive Control for Skin-Friction Reduction, Haecheon Choi, Seoul National University Towards MEMS Autonomous Control of Free-Shear Flows, Ahmed Naguib, Michigan State University Fabrication Technologies for Nanoelectromechanical Systems, Gary H. Bernstein, Holly V. Goodson, and Gregory L. Snider, University of Notre Dame Index

The MEMS Handbook

An observer of canonical (phase-variable) form for non-linear time-variable systems is introduced. The development of this non-linear time-variable form requires regularity of the non-linear time-variable- observability matrix of the system. From the relationships derived during the development, it follows that a non-linear time-variable observer can be dimensioned by an eigenvalue assignment with respect to the canonical state coordinates if a linearization of system non-linearities about the reconstructed state trajectories is permissible. This is an assumption similar to that of the extended Kalman filter based on a linearization about the current estimate.

Canonical form observer design for non-linear time-variable systems

The extended Luenberger observer for nonlinear systems

For non-linear multiple-input multiple-output systems [xdot] = f(x, u), y = h(x, u), nonlinear observers are designed using a transformation into the non-linear observer canonical form and an extended linearization The differential equation of observer error in canonical coordinates is linearized about the reconstructed trajectory, and dimensioned by eigenvalue assignment With reference to the extended Kalman filter algorithm, this non-linear observer design is called the extended Luenberger observer This observer design is possible for all sufficiently smooth and locally observable systems In comparison with single-output systems, the non-linear observer design can be essentially simplified using the degrees of freedom available in the case of multiple outputs

Michael Zeitz

Papers

Canonical form observer design for non-linear time-variable systems

The extended Luenberger observer for nonlinear systems

Extended Luenberger observer for non-linear multivariable systems

A new approach to inversion-based feedforward control design for nonlinear systems

Flatness based control of a nonlinear chemical reactor model