Compositional Symbolic Models for Networks of Incrementally Stable Control Systems
From MaRDI portal
Publication:6250331
arXiv1404.0048MaRDI QIDQ6250331FDOQ6250331
P. Pepe, Giordano Pola, Maria D. Di Benedetto
Publication date: 31 March 2014
Abstract: Symbolic models have recently spurred the interest of the research community because they offer a correct-by-design approach to the control of embedded and cyber-physical systems. In this paper we address construction of symbolic models for networks of discrete-time nonlinear control systems. The main result of the paper shows that under some small gain theorem-type conditions, a network of symbolic models can be constructed which approximates a network of incrementally stable control systems in the sense of approximate bisimulation with any desired accuracy. Compositional design of quantization parameters of the symbolic models is also derived and based on the topological properties of the network.
This page was built for publication: Compositional Symbolic Models for Networks of Incrementally Stable Control Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6250331)
