Skip to ContentSkip to Navigation
Rijksuniversiteit Groningenfounded in 1614  -  top 100 university
Over ons Praktische zaken Waar vindt u ons A. (Armin) Pirastehzad, PhD

Research interests

  • Formal Methods in Control Theory: Signal Temporal Logic Control, Contract Theory, System Abstraction, Hierarchical Control, Modular Verification, Validation, and Design, Compositional Reasoning, Symbolic Control, Model Order Reduction
  • Linear/Nonlinear Control: Geometric Control, Output Regulation/Agreement, Immersion & Invariance

  • Approximation Theory: Approximation Techniques in Control Theory, Error Analysis

  • Optimal Control: H/H2 Theory, Linear Matrix Inequality (LMI) in Control Theory

  • Robust Control: Robust Control Techniques in Optimization

Publicaties

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

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

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

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

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

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

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

RoboParrot 2.0: A multi-purpose social robot