Pushpak JagtapCSAuthors
www.csauthors.net
Ameneh Nejati. ,. Abolfazl Lavaei. ,. Pushpak Jagtap. ,. Sadegh Soudjani. ,. Majid Zamani. IEEE Trans. Autom. Control., May, Approximation-Free Prescribed ... Ameneh Nejati. ,. Abolfazl Lavaei. ,. Pushpak Jagtap. ,. Sadegh Soudjani. ,. Majid Zamani. IEEE Trans. Autom. Control., May, Approximation-Free Prescribed ...
Compositional Abstraction-based Synthesis of General MDPs via ...
www.connectedpapers.com
Ameneh Nejati, S. Soudjani, Majid Zamani , IFAC-PapersOnLine. Automated verification and synthesis of stochastic hybrid systems: A survey. Abolfazl Lavaei ... Ameneh Nejati, S. Soudjani, Majid Zamani , IFAC-PapersOnLine. Automated verification and synthesis of stochastic hybrid systems: A survey. Abolfazl Lavaei ...
Model-Based and Data-Driven Formal Synthesis of Power ...
theses.ncl.ac.uk
von BJ Wooding · — [96] Abolfazl Lavaei, Ameneh Nejati, Pushpak Jagtap, and Majid Zamani. Formal safety verification of unknown continuous-time systems: A data- driven ... von BJ Wooding · — [96] Abolfazl Lavaei, Ameneh Nejati, Pushpak Jagtap, and Majid Zamani. Formal safety verification of unknown continuous-time systems: A data- driven ...
Safety-Critical Control for Dynamical Systems under ...
www.uwspace.uwaterloo.ca
von C Wang · — [98] Ameneh Nejati, Abolfazl Lavaei, Sadegh Soudjani, and Majid Zamani. Data-driven estimation of infinitesimal generators of stochastic systems. IFAC ... von C Wang · — [98] Ameneh Nejati, Abolfazl Lavaei, Sadegh Soudjani, and Majid Zamani. Data-driven estimation of infinitesimal generators of stochastic systems. IFAC ...
IEEE Control Systems Society
ieeecss.org
— Authors: Ameneh Nejati ; Abolfazl Lavaei ; Pushpak Jagtap ; Sadegh Soudjani ; Majid Zamani. Abstract: This article is concerned with a formal ...
Abolfazl Lavaei
dblp.org
— Ameneh Nejati , Abolfazl Lavaei , Sadegh Soudjani , Majid Zamani : Estimation of Infinitesimal Generators for Unknown Stochastic Hybrid — Ameneh Nejati , Abolfazl Lavaei , Sadegh Soudjani , Majid Zamani : Estimation of Infinitesimal Generators for Unknown Stochastic Hybrid ...
DBLPhttps://dblp.uni-trier.de › rec › tacFormal Verification of Unknown Discrete- and Continuous-Time ...
dblp.uni-trier.de
Ameneh Nejati , Abolfazl Lavaei , Pushpak Jagtap , Sadegh Soudjani , Majid Zamani : Formal Verification of Unknown Discrete- and Continuous-Time Systems: A ...
DBLPhttps://dblp.org › PersonsSadegh Esmaeil Zadeh Soudjani
dblp.org
vor 5 Tagen — Ameneh Nejati , Abolfazl Lavaei , Sadegh Soudjani , Majid Zamani : Estimation of Infinitesimal Generators for Unknown Stochastic Hybrid ...
7th IFAC Conference on Analysis and Design of Hybrid ...
researchr.org
Data-Driven Estimation of Infinitesimal Generators of Stochastic SystemsAmeneh Nejati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani [doi] · Bounds ... Data-Driven Estimation of Infinitesimal Generators of Stochastic SystemsAmeneh Nejati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani [doi] · Bounds ...
Estimating infinitesimal generators of stochastic systems ...researchr.org
researchr.org
Estimating infinitesimal generators of stochastic systems with formal error bounds: a data-driven approach. Abolfazl Lavaei, Ameneh Nejati, Sadegh Soudjani, ... Estimating infinitesimal generators of stochastic systems with formal error bounds: a data-driven approach. Abolfazl Lavaei, Ameneh Nejati, Sadegh Soudjani, ...
Alle Infos zum Namen "Ameneh Nejati"
ADHS - researchr conference series publications
researchr.org
Data-Driven Estimation of Infinitesimal Generators of Stochastic SystemsAmeneh Nejati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani. adhs 2021: Data-Driven Estimation of Infinitesimal Generators of Stochastic SystemsAmeneh Nejati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani. adhs 2021:
Accepted Papers
sites.uclouvain.be
Ameneh Nejati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani. Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates. Ali Salamati ... Ameneh Nejati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani. Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates. Ali Salamati ...
Compositional Construction of Finite MDPs for Continuous-Time ...
ouci.dntb.gov.ua
Ameneh Nejati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani. https://doi.org j.ifacol · , IFAC-PapersOnLine, № 5, p Scopus. Ameneh Nejati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani. https://doi.org j.ifacol · , IFAC-PapersOnLine, № 5, p Scopus.
Data-Driven Estimation of Infinitesimal Generators ...
ouci.dntb.gov.ua
Authors: Ameneh Nejati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani. List of references. Awan, From dissipativity theory to compositional abstractions of ... Authors: Ameneh Nejati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani. List of references. Awan, From dissipativity theory to compositional abstractions of ...
Data-driven estimation of infinitesimal generators of ...
www.research-collection.ethz.ch
von A Nejati · · Zitiert von: 11 — Ameneh Nejati , Abolfazl Lavaei , Sadegh Soudjani. ,. Page Ameneh Nejati et al. / IFAC PapersOnLine (2021) 277–282 unknown dynamics. To do so, we ... von A Nejati · · Zitiert von: 11 — Ameneh Nejati , Abolfazl Lavaei , Sadegh Soudjani. ,. Page Ameneh Nejati et al. / IFAC PapersOnLine (2021) 277–282 unknown dynamics. To do so, we ...
Estimation of Infinitesimal Generators for Unknown Stochastic ...
discovery.researcher.life
... Ameneh Nejati+3. Read the article Estimation of Infinitesimal Ameneh Nejati, et. al.Ameneh Nejati ... Abolfazl Lavaei. 01 Jan Save Ameneh Nejati+3. Read the article Estimation of Infinitesimal Ameneh Nejati, et. al.Ameneh Nejati ... Abolfazl Lavaei. 01 Jan Save.
and Continuous-Time Systems: A Data-Driven Approach
par.nsf.gov
von A Nejati · · Zitiert von: 15 — Ameneh Nejati , Student Member, IEEE, Abolfazl Lavaei , Senior Member, IEEE ... Ameneh Nejati is with the Electrical Engineering Department, Techni-. von A Nejati · · Zitiert von: 15 — Ameneh Nejati , Student Member, IEEE, Abolfazl Lavaei , Senior Member, IEEE ... Ameneh Nejati is with the Electrical Engineering Department, Techni-.
Sufficient Conditions for Robust Probabilistic Reach-Avoid- ...
www.connectedpapers.com
— Ameneh Nejati, Abolfazl Lavaei, S. Soudjani, Majid Zamani , IFAC Conference on Analysis and Design of Hybrid Systems. Sufficient — Ameneh Nejati, Abolfazl Lavaei, S. Soudjani, Majid Zamani , IFAC Conference on Analysis and Design of Hybrid Systems. Sufficient ...
HSCC2021 Proceedings of the 24th International Conference on - PDF...
docplayer.net
Abolfazl Lavaei, Ameneh Nejati, Sadegh Soudjani, Majid Zamani, Poster: Estimating Infinitesimal Generators of Stochastic Systems with Formal Error Bounds: A ...
MPG.PuRe
pure.mpg.de
von M Kazemi · · Zitiert von: 22 — [18] Abolfazl Lavaei, Ameneh Nejati, Pushpak Jagtap, and Majid Zamani. Formal safety verification of unknown continuous-time systems: A data ...
National Science Foundation (.gov)
par.nsf.gov
von A Nejati · · Zitiert von: 1 — Ameneh Nejati, Student Member, IEEE, Abolfazl Lavaei, Sadegh Soudjani, Members, IEEE, and Majid Zamani, Senior Member, IEEE. Abstract—In this work, we ...
Semantic Scholar
www.semanticscholar.org
Abolfazl Lavaei, Ameneh Nejati, +1 author. Majid Zamani · Published in International Conference on… 19 May · Engineering, Computer Science.
Verwandte Suchanfragen zu Ameneh Nejati
| Prakash Nayak |
Personen Vorname "Ameneh" (10) Name "Nejati" (51) |
sortiert nach Relevanz / Datum