Majid Zamani

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 35

Top Topics

Lyapunov Stability

Transfer Learning

Controller Synthesis

Automated Verification

Top Venues

IEEE Control. Syst. Lett.

IEEE Trans. Autom. Control.

Publications

Siyuan Liu, Xiang Yin, Dimos V. Dimarogonas, Majid Zamani
On Approximate Opacity of Stochastic Control Systems. CoRR (2024)
Bingzhuo Zhong, Majid Zamani, Marco Caccamo
Formal Synthesis of Controllers for Uncertain Linear Systems Against -Regular Properties: A Set-Based Approach. IEEE Trans. Autom. Control. 69 (1) (2024)
Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
Data-driven verification and synthesis of stochastic systems via barrier certificates. Autom. 159 (2024)
Vishnu Murali, Ashutosh Trivedi, Majid Zamani
Closure Certificates. HSCC (2024)
Paul Griffioen, Bingzhuo Zhong, Murat Arcak, Majid Zamani, Marco Caccamo
Data-Driven Controlled Invariant Sets for Gaussian Process State Space Models. CoRR (2024)
Alireza Nadali, Ashutosh Trivedi, Majid Zamani
Transfer of Safety Controllers Through Learning Deep Inverse Dynamics Model. CoRR (2024)
Daniel Ajeleye, Majid Zamani
Data-Driven Controller Synthesis via Co-Büchi Barrier Certificates With Formal Guarantees. IEEE Control. Syst. Lett. 8 (2024)
Alireza Nadali, Vishnu Murali, Ashutosh Trivedi, Majid Zamani
Neural Closure Certificates. AAAI (2024)
Vishnu Murali, Shadi Tasdighi Kalat, Majid Zamani
A Data-Driven Approach to Approximate Opacity Verification. CDC (2023)
Asad Ullah Awan, Majid Zamani
Abstractions of networks of stochastic hybrid systems under randomly switched topologies: A compositional approach. Syst. Control. Lett. 175 (2023)
Bingzhuo Zhong, Siyuan Liu, Marco Caccamo, Majid Zamani
Towards Trustworthy AI: Sandboxing AI-Based Unverified Controllers for Safe and Secure Cyber-Physical Systems. CDC (2023)
Ameneh Nejati, Abolfazl Lavaei, Pushpak Jagtap, Sadegh Soudjani, Majid Zamani
Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven Approach. IEEE Trans. Autom. Control. 68 (5) (2023)
Mahendra Singh Tomar, Majid Zamani
Toward Minimal Data Rate Enforcing Regular Safety Properties: An Invariance Entropy Approach. IEEE Control. Syst. Lett. 7 (2023)
Bingzhuo Zhong, Abolfazl Lavaei, Majid Zamani, Marco Caccamo
Automata-based controller synthesis for stochastic systems: A game framework via approximate probabilistic relations. Autom. 147 (2023)
Junyao Hou, Siyuan Liu, Xiang Yin, Majid Zamani
Abstraction-Based Verification of Approximate Preopacity for Control Systems. IEEE Control. Syst. Lett. 7 (2023)
Mahmoud Khaled, Kuize Zhang, Majid Zamani
A Framework for Output-Feedback Symbolic Control. IEEE Trans. Autom. Control. 68 (9) (2023)
Vishnu Murali, Ashutosh Trivedi, Majid Zamani
Closure Certificates. CoRR (2023)
Ameneh Nejati, Majid Zamani
Data-Driven Synthesis of Safety Controllers via Multiple Control Barrier Certificates. IEEE Control. Syst. Lett. 7 (2023)
Niloofar Jahanshahi, Majid Zamani
Data-Driven Synthesis of Safety Controllers for Partially-Observable Systems with Unknown Models. CDC (2023)
Bingzhuo Zhong, Siyuan Liu, Marco Caccamo, Majid Zamani
Secure-by-Construction Synthesis for Control Systems. CoRR (2023)
Christoph Kawan, Majid Zamani
A Lyapunov-Based Small-Gain Theory for Infinite Networks via Infinite-Dimensional Gain Operators. SIAM J. Control. Optim. 61 (3) (2023)
Niloofar Jahanshahi, Abolfazl Lavaei, Majid Zamani
Compositional Construction of Safety Controllers for Networks of Continuous-Space POMDPs. IEEE Trans. Control. Netw. Syst. 10 (1) (2023)
Alireza Nadali, Ashutosh Trivedi, Majid Zamani
Transfer Learning for Barrier Certificates. CDC (2023)
Junyao Hou, Siyuan Liu, Xiang Yin, Majid Zamani
Abstraction-Based Synthesis of Controllers for Approximate Opacity. CDC (2023)
Christoph Kawan, Andrii Mironchenko, Majid Zamani
A Lyapunov-Based ISS Small-Gain Theorem for Infinite Networks of Nonlinear Systems. IEEE Trans. Autom. Control. 68 (3) (2023)
Bingzhuo Zhong, Hongpeng Cao, Majid Zamani, Marco Caccamo
Towards Safe AI: Sandboxing DNNs-Based Controllers in Stochastic Games. AAAI (2023)
Daniel Ajeleye, Abolfazl Lavaei, Majid Zamani
Data-Driven Controller Synthesis via Finite Abstractions With Formal Guarantees. IEEE Control. Syst. Lett. 7 (2023)
Asad Ullah Awan, Majid Zamani
Formal Synthesis of Safety Controllers for Unknown Systems Using Gaussian Process Transfer Learning. IEEE Control. Syst. Lett. 7 (2023)
Vishnu Murali, Ashutosh Trivedi, Majid Zamani
Co-Buchi Barrier Certificates for Discrete-time Dynamical Systems. CoRR (2023)
Abolfazl Lavaei, Sadegh Soudjani, Alessandro Abate, Majid Zamani
Automated verification and synthesis of stochastic hybrid systems: A survey. Autom. 146 (2022)
Siyuan Liu, Adnane Saoud, Pushpak Jagtap, Dimos V. Dimarogonas, Majid Zamani
Compositional Synthesis of Signal Temporal Logic Tasks via Assume-Guarantee Contracts. CDC (2022)
Ameneh Nejati, Majid Zamani
From Dissipativity Theory to Compositional Construction of Control Barrier Certificates. Leibniz Trans. Embed. Syst. 8 (2) (2022)
Mahendra Singh Tomar, Christoph Kawan, Majid Zamani
Numerical over-approximation of invariance entropy via finite abstractions. Syst. Control. Lett. 170 (2022)
Abolfazl Lavaei, Peyman Mohajerin Esfahani, Majid Zamani
. CDC (2022)
Bingzhuo Zhong, Majid Zamani, Marco Caccamo
Synthesizing Safety Controllers for Uncertain Linear Systems: A Direct Data-driven Approach. CCTA (2022)