Staff Notes


Book Description




System Software Reliability


Book Description

Computer software reliability has never been so important. Computers are used in areas as diverse as air traffic control, nuclear reactors, real-time military, industrial process control, security system control, biometric scan-systems, automotive, mechanical and safety control, and hospital patient monitoring systems. Many of these applications require critical functionality as software applications increase in size and complexity. This book is an introduction to software reliability engineering and a survey of the state-of-the-art techniques, methodologies and tools used to assess the reliability of software and combined software-hardware systems. Current research results are reported and future directions are signposted. This text will interest: graduate students as a course textbook introducing reliability engineering software; reliability engineers as a broad, up-to-date survey of the field; and researchers and lecturers in universities and research institutions as a one-volume reference.




Climatological Data


Book Description




Algorithms and Computation


Book Description

The papers in this volume were selected for presentation at the Eleventh Annual International Symposium on Algorithms and Computation (ISAAC 2000), held on 18{20 December, 2000 at the Institute of Information Science, Academia Sinica, Taipei, Taiwan. Previous meetings were held in Tokyo (1990), Taipei (1991), Nagoya (1992), Hong Kong (1993), Beijing (1994), Cairns (1995), Osaka (1996), Singapore (1997), Taejon (1998), and Chennai (1999). Submissions to the conference this year were conducted entirely electro- cally. Thanks to the excellent software developed by the Institute of Information Science, Academia Sinica, we were able to carry out virtually all communication via the World Wide Web. In response to the call for papers, a total of 87 extended abstracts were submitted from 25 countries. Each submitted paper was handled by at least three program committee members, with the assistance of a number of external reviewers, as indicated by the referee list found in the proceedings. There were many more acceptable papers than there was space available in the symposium program, which made the program committee’s task extremely di cult. Finally 46 papers were selected for presentation at the Symposium. In addition to these contributed papers, the conference also included two invited presentations by Dr. Jean-Daniel Boissonnat, INRIA Sophia-Antipolis, France and Professor Jin-Yi Cai, University of Wisconsin at Madison, Wisconsin, USA. It is expected that most of the accepted papers will appear in a more complete form in scienti c journals.







Climatological Data


Book Description




Technical Report


Book Description




Modern Predictive Control


Book Description

Modern Predictive Control explains how MPC differs from other control methods in its implementation of a control action. Most importantly, MPC provides the flexibility to act while optimizing—which is essential to the solution of many engineering problems in complex plants, where exact modeling is impossible. The superiority of MPC is in its numerical solution. Usually, MPC is employed to solve a finite-horizon optimal control problem at each sampling instant and obtain control actions for both the present time and a future period. However, only the current control move is applied to the plant. This complete, step-by-step exploration of various approaches to MPC: Introduces basic concepts of systems, modeling, and predictive control, detailing development from classical MPC to synthesis approaches Explores use of Model Algorithmic Control (MAC), Dynamic Matrix Control (DMC), Generalized Predictive Control (GPC), and Two-Step Model Predictive Control Identifies important general approaches to synthesis Discusses open-loop and closed-loop optimization in synthesis approaches Covers output feedback synthesis approaches with and without a finite switching horizon This book gives researchers a variety of models for use with one- and two-step control. The author clearly explains the variations between predictive control methods—and the root of these differences—to illustrate that there is no one ideal MPC and that one should remain open to selecting the best possible model in each unique circumstance.




Architecture of Computing Systems – ARCS 2015


Book Description

This book constitutes the proceedings of the 28th International Conference on Architecture of Computing Systems, ARCS 2015, held in Porto, Portugal, in March 2015. The 19 papers presented together with three invited papers were carefully reviewed and selected from 45 submissions. The papers are organized in six sessions covering the topics: hardware, design, applications, trust and privacy, real-time issues and a best papers session.