129 citations · 349 across the 72 of their papers we have counts for
17 papers · 1 filter
On a notion of entropy for reachability properties
Mahendra Singh Tomar, Majid Zamani
In this work, we introduce a notion of reachability entropy to characterize the smallest data rate which is sufficient enough to enforce reach-while-stay specification. We also def…
A small-gain theory for infinite networks via infinite-dimensional gain operators
Christoph Kawan, Majid Zamani
In this paper, we develop a new approach to study gain operators built from the interconnection gains of infinite networks of dynamical systems. Our focus is on the construction of…
Verification of Approximate Opacity via Barrier Certificates
Siyuan Liu, Majid Zamani
This paper is motivated by the increasing security concerns of cyber-physical systems. Here, we develop a discretization-free verification scheme targeting an information-flow secu…
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…
A Lyapunov-based ISS small-gain theorem for infinite networks of nonlinear systems
Christoph Kawan, Andrii Mironchenko, Majid Zamani
In this paper, we show that an infinite network of input-to-state stable (ISS) subsystems, admitting ISS Lyapunov functions, itself admits an ISS Lyapunov function, provided that t…
A Lyapunov-based small-gain theorem for infinite networks
Christoph Kawan, Andrii Mironchenko, Abdalla Swikir +2
This paper presents a small-gain theorem for networks composed of a countably infinite number of finite-dimensional subsystems. Assuming that each subsystem is exponentially input-…
Approximate abstractions of control systems with an application to aggregation
Stanley W. Smith, Murat Arcak, Majid Zamani
Previous approaches to constructing abstractions for control systems rely on geometric conditions or, in the case of an interconnected control system, a condition on the interconne…
Symbolic Models for Retarded Jump-Diffusion Systems
Pushpak Jagtap, Majid Zamani
In this paper, we provide for the first time an automated, correct-by-construction, controller synthesis scheme for a class of infinite dimensional stochastic systems, namely, reta…
Compositional abstraction for networks of control systems: A dissipativity approach
Majid Zamani, Murat Arcak
In this paper we propose a compositional scheme for the construction of abstractions for networks of control systems using the interconnection matrix and joint dissipativity-type p…
Approximations of Stochastic Hybrid Systems: A Compositional Approach
Majid Zamani, Matthias Rungger, Peyman Mohajerin Esfahani
In this paper we propose a compositional framework for the construction of approximations of the interconnection of a class of stochastic hybrid systems. As special cases, this cla…
Compositional Construction of Approximate Abstractions of Interconnected Control Systems
Matthias Rungger, Majid Zamani
We consider a compositional construction of approximate abstractions of interconnected control systems. In our framework, an abstraction acts as a substitute in the controller desi…
Symbolic Models for Stochastic Switched Systems: A Discretization and a Discretization-Free Approach
Majid Zamani, Alessandro Abate, Antoine Girard
Stochastic switched systems are a relevant class of stochastic hybrid systems with probabilistic evolution over a continuous domain and control-dependent discrete dynamics over a f…
Symbolic control of stochastic systems via approximately bisimilar finite abstractions
Majid Zamani, Peyman Mohajerin Esfahani, Rupak Majumdar +2
Symbolic approaches to the control design over complex systems employ the construction of finite-state models that are related to the original control systems, then use techniques…
Backstepping controller synthesis and characterizations of incremental stability
Majid Zamani, Nathan van de Wouw, Rupak Majumdar
Incremental stability is a property of dynamical and control systems, requiring the uniform asymptotic stability of every trajectory, rather than that of an equilibrium point or a…
Coordinate-invariant incremental Lyapunov functions
Majid Zamani, Rupak Majumdar
In this note, we propose coordinate-invariant notions of incremental Lyapunov function and provide characterizations of incremental stability in terms of existence of the proposed…
Backstepping design for incremental stability
Majid Zamani, Paulo Tabuada
Stability is arguably one of the core concepts upon which our understanding of dynamical and control systems has been built. The related notion of incremental stability, however, h…
Symbolic models for nonlinear control systems without stability assumptions
Majid Zamani, Giordano Pola, Manuel Mazo +1
Finite-state models of control systems were proposed by several researchers as a convenient mechanism to synthesize controllers enforcing complex specifications. Most techniques fo…