129 citations · 349 across the 72 of their papers we have counts for
Showing 2016Show all
3 papers · 1 filter
math.OC2016★ 1 cited
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…
eess.SY2016
Backstepping Design for Incremental Stability of Stochastic Hamiltonian Systems with Jumps
Pushpak Jagtap, Majid Zamani
Incremental stability is a property of dynamical systems ensuring the uniform asymptotic stability of each trajectory rather than a fixed equilibrium point or trajectory. Here, we…
eess.SY2016
Towards Scalable Synthesis of Stochastic Control Systems
Majid Zamani, Ilya Tkachev, Alessandro Abate
Formal control synthesis approaches over stochastic systems have received significant attention in the past few years, in view of their ability to provide provably correct controll…