Ameneh Nejati

According to our database, Ameneh Nejati authored at least 16 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Context-triggered Games for Reactive Synthesis over Stochastic Systems via Control Barrier Certificates.

Ameneh Nejati, Satya Prakash Nayak, Anne-Kathrin Schmuck

Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, 2024

Data-Driven Safety Controller Synthesis for Unknown Systems with Wireless Communication Networks.

Omid Akbarzadeh, Ameneh Nejati, Abolfazl Lavaei

Proceedings of the 10th International Conference on Control, 2024

2023

Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven Approach.

Ameneh Nejati, Abolfazl Lavaei, Pushpak Jagtap, Sadegh Soudjani, Majid Zamani

IEEE Trans. Autom. Control., May, 2023

Formal Verification and Control of Stochastic Hybrid Systems: Model-based and Data-driven Techniques.

Ameneh Nejati

PhD thesis, 2023

Data-Driven Synthesis of Safety Controllers via Multiple Control Barrier Certificates.

Ameneh Nejati, Majid Zamani

IEEE Control. Syst. Lett., 2023

Estimation of Infinitesimal Generators for Unknown Stochastic Hybrid Systems via Sampling: A Formal Approach.

Ameneh Nejati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani

IEEE Control. Syst. Lett., 2023

2022

From Dissipativity Theory to Compositional Construction of Control Barrier Certificates.

Ameneh Nejati, Majid Zamani

Leibniz Trans. Embed. Syst., 2022

Compositional construction of control barrier functions for continuous-time stochastic hybrid systems.

Ameneh Nejati, Sadegh Soudjani, Majid Zamani

Autom., 2022

Data-Driven Controller Synthesis of Unknown Nonlinear Polynomial Systems via Control Barrier Certificates.

Ameneh Nejati, Bingzhuo Zhong, Marco Caccamo, Majid Zamani

Proceedings of the Learning for Dynamics and Control Conference, 2022

2021

Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems.

Ameneh Nejati, Sadegh Soudjani, Majid Zamani

Eur. J. Control, 2021

Estimating infinitesimal generators of stochastic systems with formal error bounds: a data-driven approach.

Abolfazl Lavaei, Ameneh Nejati, Sadegh Soudjani, Majid Zamani

Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021

Formal safety verification of unknown continuous-time systems: a data-driven approach.

Abolfazl Lavaei, Ameneh Nejati, Pushpak Jagtap, Majid Zamani

Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021

Data-Driven Estimation of Infinitesimal Generators of Stochastic Systems.

Ameneh Nejati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani

Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021

2020

Compositional Construction of Control Barrier Certificates for Large-Scale Stochastic Switched Systems.

Ameneh Nejati, Sadegh Soudjani, Majid Zamani

IEEE Control. Syst. Lett., 2020

Compositional Construction of Finite MDPs for Continuous-Time Stochastic Systems: A Dissipativity Approach.

Ameneh Nejati, Majid Zamani

CoRR, 2020

2019

Abstraction-based Synthesis of Continuous-Time Stochastic Control Systems.

Ameneh Nejati, Sadegh Soudjani, Majid Zamani

Proceedings of the 17th European Control Conference, 2019