Title: Symbolic Control Design of Nonlinear Networked Control Systems

Abstract: Networked Control Systems (NCS) are distributed control systems where the communication among plants, sensors, actuators and controllers occurs in a shared communication network. NCS have been the subject of intensive study in the last few years. Important results have been obtained, mainly on stability and stabilizability of these systems. While stability is a basic property and as such very important, the design of these systems requires considering other properties that can be captured by logical requirements or automata. In this paper, we propose an approach based on symbolic models, which are abstract descriptions of continuous systems where one symbol corresponds to an "aggregate" of continuous states. We use symbolic models for NCS control design where specifications are expressed in terms of non-deterministic automata.