Ameneh Nejati

18 papers C 1Journal 10Unranked 6
YearRankTypeTitle / Venue / Authors
2024 — conf
Context-triggered Games for Reactive Synthesis over Stochastic Systems via Control Barrier Certificates.
HSCC
Ameneh Nejati, Satya Prakash Nayak, Anne-Kathrin Schmuck
2024 C conf
Data-Driven Safety Controller Synthesis for Unknown Systems with Wireless Communication Networks.
CoDIT
Omid Akbarzadeh, Ameneh Nejati, Abolfazl Lavaei
2023 J jnl
Data-Driven Synthesis of Safety Controllers via Multiple Control Barrier Certificates.
IEEE Control. Syst. Lett.
Ameneh Nejati, Majid Zamani
2023 J jnl
Estimation of Infinitesimal Generators for Unknown Stochastic Hybrid Systems via Sampling: A Formal Approach.
IEEE Control. Syst. Lett.
Ameneh Nejati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
2023 — —
Formal Verification and Control of Stochastic Hybrid Systems: Model-based and Data-driven Techniques.
Ameneh Nejati
2023 J jnl
Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven Approach.
IEEE Trans. Autom. Control.
Ameneh Nejati, Abolfazl Lavaei, Pushpak Jagtap, Sadegh Soudjani, Majid Zamani
2022 J jnl
Compositional construction of control barrier functions for continuous-time stochastic hybrid systems.
Autom.
Ameneh Nejati, Sadegh Soudjani, Majid Zamani
2022 — conf
Data-Driven Controller Synthesis of Unknown Nonlinear Polynomial Systems via Control Barrier Certificates.
L4DC
Ameneh Nejati, Bingzhuo Zhong, Marco Caccamo, Majid Zamani
2022 J jnl
From Dissipativity Theory to Compositional Construction of Control Barrier Certificates.
Leibniz Trans. Embed. Syst.
Ameneh Nejati, Majid Zamani
2021 J jnl
Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems.
Eur. J. Control
Ameneh Nejati, Sadegh Soudjani, Majid Zamani
2021 — conf
Data-Driven Estimation of Infinitesimal Generators of Stochastic Systems.
ADHS
Ameneh Nejati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
2021 — conf
Estimating infinitesimal generators of stochastic systems with formal error bounds: a data-driven approach.
HSCC
Abolfazl Lavaei, Ameneh Nejati, Sadegh Soudjani, Majid Zamani
2021 — conf
Formal safety verification of unknown continuous-time systems: a data-driven approach.
HSCC
Abolfazl Lavaei, Ameneh Nejati, Pushpak Jagtap, Majid Zamani
2020 J jnl
Compositional Construction of Control Barrier Certificates for Large-Scale Stochastic Switched Systems.
CoRR
Ameneh Nejati, Sadegh Soudjani, Majid Zamani
2020 J jnl
Compositional Construction of Control Barrier Certificates for Large-Scale Stochastic Switched Systems.
IEEE Control. Syst. Lett.
Ameneh Nejati, Sadegh Soudjani, Majid Zamani
2020 J jnl
Compositional Construction of Control Barrier Functions for Continuous-Time Stochastic Hybrid Systems.
CoRR
Ameneh Nejati, Sadegh Soudjani, Majid Zamani
2020 J jnl
Compositional Construction of Finite MDPs for Continuous-Time Stochastic Systems: A Dissipativity Approach.
CoRR
Ameneh Nejati, Majid Zamani
2019 — conf
Abstraction-based Synthesis of Continuous-Time Stochastic Control Systems.
ECC
Ameneh Nejati, Sadegh Soudjani, Majid Zamani