Event-based control is a means to restrict the feedback in control loops to event time instants that are determined by a well-defined triggering mechanism. The aim of this control strategy is to adapt the communication over the feedback link to the system behavior. In this thesis, a state-feedback approach to event-based control is extended to systems that are composed of physically interconnected subsystems. The main concern of this thesis is disturbance rejection in interconnected systems, which is supposed to be best accomplished by a continuous state feedback. This consideration leads to the idea that the event-based state-feedback system should approximate the disturbance rejection behavior of a continuous state-feedback system with adjustable precision. Various methods for the event-based control of physically interconnected systems are investigated. In particular, decentralized, distributed and centralized state feedback is studied, which differ with respect to the effort for the communication between the components of the event-based controller over the communication network. The main results concern the design and analysis of event-based state-feedback control methods for physically interconnected systems. For all approaches the disturbance behavior of a continuous state-feedback system is shown to be approximated with adjustable accuracy by the event-based state-feedback system. The novel event-based control methods are tested and evaluated in experiments on a continuous flow process implemented on a large-scale pilot plant.

This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Haifa Verification Conference, HVC 2010, held in Haifa, Israel in October 2010. The 10 revised full papers presented together with 7 invited papers were carefully reviewed and selected from 30 submissions. The papers address all current issues, challenges and future directions of verification for hardware, software, and hybrid systems and have a research focus on hybrid methods and the migration of methods and ideas between hardware and software, static and dynamic analysis, pre- and post-silicon.

This eleventh edition was developed during the encyclopaedia's transition from a British to an American publication. Some of its articles were written by the best-known scholars of the time and it is considered to be a landmark encyclopaedia for scholarship and literary style.