Login / Signup
Armin Pirastehzad
ORCID
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 2
Top Topics
Controller Synthesis
Approximation Methods
Closed Form Solutions
Formal Verification
Top Venues
CDC
IEEE Trans. Autom. Control.
</>
Publications
</>
Armin Pirastehzad
,
Arjan van der Schaft
,
Bart Besselink
Specification Verification and Controller Synthesis Using (γ, δ)-Similarity.
CDC
(2023)
Armin Pirastehzad
,
Mohammad Javad Yazdanpanah
A Successive Pseudospectral-Based Approximation of the Solution of Regulator Equations.
IEEE Trans. Autom. Control.
67 (4) (2022)