Title:Symbolic Models for Networked Control Systems

Abstract:The last decade has witnessed significant attention on networked control systems (NCS) due to their high architecture flexibility and low installation and maintenance costs. In a NCS, communication between sensors, controllers, and actuators is supported by a shared communication channel that is subject to variable communication delays, quantization errors, packet losses, limited bandwidth, and other practical non idealities leading to numerous technical challenges. Although stability properties of NCS have been investigated extensively in the past few years, there exist no remarkable results for NCS dealing with more complex and general objectives, such as verification or (controller) synthesis for logical specifications. This work investigates those complex objectives by constructively deriving symbolic models of NCS, while encompassing the mentioned network non-idealities: the obtained abstracted models can be employed to synthesize hybrid controllers enforcing rich logical specifications over NCS. Examples of such specifications include properties expressed as formulae in linear temporal logic (LTL) or as automata on infinite strings, as evidenced in a final example.