• Contact Info
Publications in VIVO
 

Lahijanian, Morteza Assistant Professor

Positions

Research Areas research areas

Research

research overview

  • I am interested in both the theoretical and application sides of my field of study. My interests include dynamics, control theory, game theory, systems, and formal methods with applications in robotics, particularly, motion planning, strategy synthesis, model checking, hybrid systems, and human-robot interaction. The main theme of my work is safety and soundness, and the emphasis is on safe autonomy through correct-by-construction algorithmic approaches. In my research, I integrate control theory and formal methods to form powerful frameworks that enable autonomy in achieving complex tasks through high-level decision making with the awareness of low-level complexities and constraints of the physical systems.

keywords

  • Formal verification, formal synthesis, hybrid systems, planning under uncertainty, motion planning, model checking, dynamics

Publications

selected publications

Teaching

courses taught

  • ASEN 4018 - Senior Projects 1: Design Synthesis
    Primary Instructor - Fall 2019
    Focuses on the synthesis of technical knowledge, project management, design process, leadership, and communications within a team environment. Students progress through the design process beginning with requirements development, then preliminary design and culminating with critical design. Offered fall only.
  • ASEN 4028 - Senior Projects 2: Design Practicum
    Primary Instructor - Spring 2020
    Focuses on the fabrication, integration, verification and validation of designs produced in ASEN 4018. Students work within the same teams from ASEN 4018. Offered spring only.
  • ASEN 5519 - Selected Topics
    Primary Instructor - Fall 2019 / Fall 2020 / Fall 2021
    Reflects upon specialized aspects of aerospace engineering sciences. Course content is indicated in the online Class Search. May be repeated up to 9 total credit hours. Recommended prerequisite: varies.
  • ASEN 6519 - Special Topics
    Primary Instructor - Spring 2019 / Spring 2021
    Reflects upon specialized aspects of aerospace engineering sciences. Course content is indicated in the online Schedule Planner. May be repeated up to 9 total credit hours. Recommended prerequisite: varies.
  • ASEN 6950 - Master's Thesis
    Primary Instructor - Fall 2019 / Spring 2020 / Fall 2020
    -
  • MCEN 6949 - Master's Degree Candidacy
    Primary Instructor - Spring 2021
    -
  • MCEN 6959 - Master's Thesis
    Primary Instructor - Spring 2020 / Fall 2020
    -

Background

International Activities

global connections related to teaching and scholarly work (in recent years)

Other Profiles