9 citations · 14 across the 12 of their papers we have counts for
4 papers · 1 filter
Compositional Construction of Abstractions for Infinite Networks of Switched Systems
Maryam Sharifi, Abdalla Swikir, Navid Noroozi +1
We construct compositional continuous approximations for an interconnection of infinitely many discrete-time switched systems. An approximation (known as abstraction) is itself a c…
ISS small-gain criteria for infinite networks with linear gain functions
Andrii Mironchenko, Navid Noroozi, Christoph Kawan +1
This paper provides a Lyapunov-based small-gain theorem for input-to-state stability (ISS) of networks composed of infinitely many finite-dimensional systems. We model these networ…
Symbolic Models for Infinite Networks of Control Systems: A Compositional Approach
Siyuan Liu, Navid Noroozi, Majid Zamani
This paper presents a compositional framework for the construction of symbolic models for a network composed of a countably infinite number of finite-dimensional discrete-time cont…
Compositional Construction of Abstractions for Infinite Networks of Discrete-Time Switched Systems
Maryam Sharifi, Abdalla Swikir, Navid Noroozi +1
In this paper, we develop a compositional scheme for the construction of continuous approximations for interconnections of infinitely many discrete-time switched systems. An approx…