Compositional Symbolic Models for Networks of Incrementally Stable Control Systems

From MaRDI portal
Publication:6250331