( en | de | ru )

 

Disambiguation of "Zamani, Majid"

Author of the publication

copydeleteadd this publication to your clipboard
Data-Driven Stability Verification of Homogeneous Nonlinear Systems with Unknown Dynamics*.

, , and . CDC, page 7296-7301. IEEE, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Majid Zamani

Rahim Zamani

Abbas Zamani

Mohammad Zamani

Sigrid Zamani

 

Other publications of authors with the same name

Automated verification and synthesis of stochastic hybrid systems: A survey., , , and . Autom., (2022)Compositional construction of control barrier functions for continuous-time stochastic hybrid systems., , and . Autom., (2022)Data-driven verification of stochastic linear systems with signal temporal logic constraints., , and . Autom., (2021)Compositional synthesis of finite abstractions for networks of systems: A small-gain approach., and . Autom., (2019)Invariance Feedback Entropy of Uncertain Control Systems., , and . IEEE Trans. Autom. Control., 66 (12): 5680-5695 (2021)Compositional (In)Finite Abstractions for Large-Scale Interconnected Stochastic Systems., , and . IEEE Trans. Autom. Control., 65 (12): 5280-5295 (2020)On Approximate Opacity of Cyber-Physical Systems., , and . IEEE Trans. Autom. Control., 66 (4): 1630-1645 (2021)Formal Synthesis of Controllers for Uncertain Linear Systems Against -Regular Properties: A Set-Based Approach., , and . IEEE Trans. Autom. Control., 69 (1): 214-229 (January 2024)Compositional Verification of Initial-State Opacity for Switched Systems., , and . CoRR, (2021)Compositional Synthesis of Large-Scale Stochastic Systems: A Relaxed Dissipativity Approach., , and . CoRR, (2019)