This book develops a systematic view of a new systems technology aiming to control our complex technical systems of the future It explains basic concepts in quantitative terms, shows how such systems can be constructed and applied in areas like traffic control, grid computing, or sensor networks The book addresses students and professionals in computer science, scientists of other technical disciplines, and an interested general public