Lecture Notes in Control and Information Sciences

Part I Case Studies in Control of Distributed Systems.- C4C Case Studies.- A Coordination Approach to Formation Flying for AUVs.- Leader-Follower Coordination Control for Urban Traffic.- Prediction of Traffic Flow in a Road Network.- Zone-Control-Based Traffic Control of Automated Guided Vehicles.- Coordination Control of Complex Machines.- Coordinated Model Predictive Control for Avoiding Voltage Collapse in an Electric Power Transmission Net.- Part II Architectures of Distributed Systems and Their Control.- System Architectures of Distributed and of Multilevel Systems.- Control Architectures.- Part III Coordination Control: What is Coordination Control.- Introduction to Coordinated Linear Systems.- Coordinated Linear Systems.- Control for Coordination of Linear Systems.- LQ Optimal Control for Coordinated Linear Systems.- Supervisory Control of Discrete-Event Systems.- Coordination of Distributed Discrete-Event Systems.- Part IV Distributed Control.- Distributed Control of Manufacturing Networks: Machines and Production Lines with Unbounded Buffers.- Distributed Control of Manufacturing Networks: lines with Bounded Buffers and Re-Entrant Machines.- What is Team Theory?.- Team Theory and Information Structures of Stochastic Differential Decentralized Decision Systems.- Signaling of Information.- Part V Distributed Control with Communication.- What is Distributed Control with Communication between Controllers.- Communication Constrainst in Control and Observation of Distributed Systems.- Distributed State Estimation with Communication of Observations.- Control of the Observation Stream of a Gaussian System with an Energy Constraint for Communication.- Information Structures.- Common and Private Informaiton in Control of Decentralized Systems.- Control Theory with Information Structures.- Part VI Hierarchical Control.- Part VII: Communication and Control of Distributed Systems.- Directed Information on Abstract Spaces: Properties and Extremum Problems.- Information Nonanticipative Rate Distortion Function and Its Applications.- Symbol-by-Symbol Joint Source-Changel Coding for Memory Sources with Applications to Real-Time Communication and Control.- Part VIII Informatics of Distributed Systems.- Formal Verification Applied to Robotic Surgery.- A SystemC/MATLAB(R) Co-Simulation Tool for Networked Control Systems.- Model Predictive Controllers over Differential Services Packet Networks.- An Introduction to the Verification of Hybrid Systems Using ARIADNE.- Computing Reachable Sets of Differential Inclusions.- Modeling Objects Moving in a Complex Environment with World Automata.- Distributed Average Consensus in Digraphs.- Part IX Research Program.- Research Program for Control of Distributed and of Multilevel Systems.