Skip to ContentSkip to Navigation
breed in kennis  -  sterk in techniek
Sluiten
Over ons Praktische zaken Waar vindt u ons A. (Armin) Pirastehzad, PhD

A. (Armin) Pirastehzad, PhD

postdoctoraal onderzoeker
Research interests Publicaties Sustainable Development Goals

Research interests

  • Foundations: Temporal Logic Control, Symbolic Control, Reactive Synthesis, System Abstraction, Reachability Analysis, Data‑driven Verification and Control, Hierarchical Control, Modular Verification/Design, Model Order Reduction

  • Methods: Geometric Control (Set Invariance and Control Barrier Functions), Robust Control, Optimal Control, Linear/Nonlinear Control, Contract Theory, Approximation Theory (Spectral and Pseudo‑spectral Methods), Optimization (Linear and Mixed‑integer Linear Programming, and Semi‑definite Programming)

  • Applications: Cyber Physical Systems, Systems and Synthetic Biology, Multiagent Systems, Safety‑Critical Technologies, Mission‑Critical Facilities, Medical‑Critical Services

Publicaties

Assume-guarantee contracts on the asymptotic behavior of linear systems

Pirastehzad, A., van der Schaft, A. & Besselink, B., jul-2026, In: Automatica. 189, 13 blz., 113006.

Onderzoeksoutput: Article › › peer review

Hierarchical controller synthesis using (γ,δ)-Similarity

Pirastehzad, A., van der Schaft, A. & Besselink, B., jun-2026, In: Mathematics of Control, Signals, and Systems. 38, blz. 335-363 29 blz.

Onderzoeksoutput: Article › › peer review

Hierarchical Control of Non-deterministic Linear Systems Using (γ,δ,ρ)-Abstraction

Pirastehzad, A., Schaft, A. V. D. & Besselink, B., apr-2026, In: IEEE Transactions on Automatic Control. 71, 4, blz. 2590 - 2597 8 blz., 11206437.

Onderzoeksoutput: Article › › peer review

Modular verification and design of interconnected linear systems using (γ,δ)-similarity

Pirastehzad, A., van der Schaft, A. & Besselink, B., aug-2026, In: Automatica. 190, 12 blz., 113046.

Onderzoeksoutput: Article › › peer review

Complexity Reduction in Verification and Synthesis of Linear Control Systems: An Abstraction-based Approach

Pirastehzad, A., 2025, [Groningen]: University of Groningen. 202 blz.

Onderzoeksoutput

Comparison of Nondeterministic Stable Linear Systems by (γ,δ)-Similarity

Pirastehzad, A., van der Schaft, A. & Besselink, B., dec-2024, In: IEEE Transactions on Automatic Control. 69, 12, blz. 8617-8632 16 blz.

Onderzoeksoutput: Article › › peer review

Specification Verification and Controller Synthesis Using (γ, δ)-Similarity

Pirastehzad, A., Van Der Schaft, A. & Besselink, B., 19-jan-2023, 2023 62nd IEEE Conference on Decision and Control, CDC 2023. Institute of Electrical and Electronics Engineers Inc., blz. 1692-1697 6 blz. (Proceedings of the IEEE Conference on Decision and Control).

Onderzoeksoutput: Conference contribution › › peer review

A Successive Pseudospectral-Based Approximation of the Solution of Regulator Equations

Pirastehzad, A. & Yazdanpanah, M. J., 1-apr-2022, In: IEEE Transactions on Automatic Control. 67, 4, blz. 1760-1775 16 blz., 9428572.

Onderzoeksoutput: Article › › peer review

Immersion and invariance-based extended state observer design for a class of nonlinear systems

Hosseini-Pishrobat, M., Keighobadi, J., Pirastehzad, A. & Javad Yazdanpanah, M., 10-sep-2021, In: International Journal of Robust and Nonlinear Control. 31, 13, blz. 6233-6254 22 blz.

Onderzoeksoutput: Article › › peer review

The formation of cancer stem cells in EMT6/Ro tumor: Hybrid modeling within its micro-environment

Pirastehzad, A., Taghizadeh, A. & Jamshidi, A. A., 2020, In: Informatics in Medicine Unlocked. 18, 18 blz., 100247.

Onderzoeksoutput: Article › › peer review

Bekijk volledig onderzoeksprofiel

Sustainable Development Goals

SDG 2 – Geen hongerSDG 3 – Goede gezondheid en welzijn

Meer informatie over de Sustainable Development Goals.

Volg de RUG
Stel je cookievoorkeur in. Lees onze privacy en cookie disclaimer voor meer informatie.