Ameneh Nejati

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 16

Top Topics

Stochastic Systems

Conservation Laws

Top Venues

IEEE Control. Syst. Lett.

Eur. J. Control

Publications

Ameneh Nejati, Satya Prakash Nayak, Anne-Kathrin Schmuck
Context-triggered Games for Reactive Synthesis over Stochastic Systems via Control Barrier Certificates. HSCC (2024)
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)
Ameneh Nejati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
Estimation of Infinitesimal Generators for Unknown Stochastic Hybrid Systems via Sampling: A Formal Approach. IEEE Control. Syst. Lett. 7 (2023)
Ameneh Nejati, Majid Zamani
Data-Driven Synthesis of Safety Controllers via Multiple Control Barrier Certificates. IEEE Control. Syst. Lett. 7 (2023)
Ameneh Nejati, Bingzhuo Zhong, Marco Caccamo, Majid Zamani
Data-Driven Controller Synthesis of Unknown Nonlinear Polynomial Systems via Control Barrier Certificates. L4DC (2022)
Ameneh Nejati, Majid Zamani
From Dissipativity Theory to Compositional Construction of Control Barrier Certificates. Leibniz Trans. Embed. Syst. 8 (2) (2022)
Ameneh Nejati, Sadegh Soudjani, Majid Zamani
Compositional construction of control barrier functions for continuous-time stochastic hybrid systems. Autom. 145 (2022)
Ameneh Nejati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
Data-Driven Estimation of Infinitesimal Generators of Stochastic Systems. ADHS (2021)
Abolfazl Lavaei, Ameneh Nejati, Sadegh Soudjani, Majid Zamani
Estimating infinitesimal generators of stochastic systems with formal error bounds: a data-driven approach. HSCC (2021)
Ameneh Nejati, Sadegh Soudjani, Majid Zamani
Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems. Eur. J. Control 57 (2021)
Abolfazl Lavaei, Ameneh Nejati, Pushpak Jagtap, Majid Zamani
Formal safety verification of unknown continuous-time systems: a data-driven approach. HSCC (2021)
Ameneh Nejati, Sadegh Soudjani, Majid Zamani
Compositional Construction of Control Barrier Certificates for Large-Scale Stochastic Switched Systems. IEEE Control. Syst. Lett. 4 (4) (2020)
Ameneh Nejati, Sadegh Soudjani, Majid Zamani
Compositional Construction of Control Barrier Certificates for Large-Scale Stochastic Switched Systems. CoRR (2020)
Ameneh Nejati, Sadegh Soudjani, Majid Zamani
Compositional Construction of Control Barrier Functions for Continuous-Time Stochastic Hybrid Systems. CoRR (2020)
Ameneh Nejati, Majid Zamani
Compositional Construction of Finite MDPs for Continuous-Time Stochastic Systems: A Dissipativity Approach. CoRR (2020)
Ameneh Nejati, Sadegh Soudjani, Majid Zamani
Abstraction-based Synthesis of Continuous-Time Stochastic Control Systems. ECC (2019)