A. (Armin) Pirastehzad, MSc

PhD student

Faculty of Science and Engineering

Telephone:

+31 50 36 33939

E-mail:

a.pirastehzad@rug.nl

ORCID Research Portal

Publications

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

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

Research output: Thesis › Thesis fully internal (DIV)

Comparison of Non-deterministic Stable Linear Systems by (&#x03B3;,&#x03B4;)-Similarity

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

Research output: Contribution to journal › Article › Academic › 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., p. 1692-1697 6 p. (Proceedings of the IEEE Conference on Decision and Control).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

All (3) publications

View full research profile

A. (Armin) Pirastehzad, MSc

Publications

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

Comparison of Non-deterministic Stable Linear Systems by (&amp;#x03B3;,&amp;#x03B4;)-Similarity

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

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