Concepedia

Ameneh Nejati

AN

6

Publications

121

Citations

6

H-Index

2019

Active since

Affiliations

University of Colorado Boulder(Current)

Ludwig-Maximilians-Universität München

Technical University of Munich

Newcastle University

LMU Klinikum

Ameneh Nejati is an author at University of Colorado Boulder specializing in process control, systems engineering, and engineering.

Top concepts

Process ControlSystems EngineeringEngineeringComputer ScienceControl SystemsMathematical ProgrammingAutomationVerificationFormal MethodsNetwork Analysis

Publications per year

2019–2023

6

Publications

6

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

Ameneh Nejati, Sadegh Soudjani, Majid Zamani · European Journal of Control · 2020 · 32 citations · Full text

Stochastic Hybrid System, Engineering, Compositional Abstraction-based Synthesis +5

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

Ameneh Nejati, Abolfazl Lavaei, Pushpak Jagtap et al. · IEEE Transactions on Automatic Control · 2023 · 28 citations

Mathematical Programming, Engineering, Verification +22

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

Ameneh Nejati, Sadegh Soudjani, Majid Zamani · Automatica · 2022 · 25 citations

Stochastic Hybrid System, Stochastic System, Process Control +6

Compositional Construction of Control Barrier Functions for Networks of Continuous-Time Stochastic Systems

Ameneh Nejati, Sadegh Soudjani, Majid Zamani · IFAC-PapersOnLine · 2020 · 14 citations · Full text

Mathematical Programming, Continuous-time Stochastic Systems, Engineering +17

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

Ameneh Nejati, Majid Zamani · IEEE Control Systems Letters · 2023 · 12 citations

Rows per page

1–5 of 6