Students and faculty in the Department of Electrical, Computer, Software, and Systems Engineering are some of the more prolific researchers in the Embry-Riddle family. The department's research expenditures are nearly one-half those of the entire College of Engineering, with support from federal agencies including NSF, FAA, and NOAA as well as industry partners. The department is heavily involved in projects managed by ERAU's NEAR Lab and by the COE's Eagle Flight Research Center.

Strategic department research directions include three areas critical for the future of aerospace. These are:

  • Detect and avoid technologies for unmanned aircraft systems;
  • Assured systems for aerospace, including cybersecurity and development assurance;
  • Modeling and simulation for aviation and aerospace.

Detect and avoid technologies enable unmanned aircraft systems to "see and be seen" by other aircraft and by air traffic controllers on the ground. Of particular challenge is detect and avoid of uncooperative aircraft, those aircraft that aren't equipped to announce their position either automatically or in response to interrogations from the ground.

Assured systems are those that are robust in the face of cybersecurity challenges, with assured development being system design approaches that yield assured systems without high overhead.

Modeling and simulation for aviation involves everything from the logistics of getting passengers onto aircraft to planning how to get all air traffic around predicted bad weather without upsetting arrival times and locations.

PolyVerif: Open-Source Environment for Autonomous Vehicle Validation and Verification

PI M. Ilhan Akbas

​Validation and Verification (V&V) of Artificial Intelligence (AI) based cyber physical systems such as Autonomous Vehicles (AVs) is currently a vexing and unsolved problem.

Validation and Verification (V&V) of Artificial Intelligence (AI) based cyber physical systems such as Autonomous Vehicles (AVs) is currently a vexing and unsolved problem. PolyVerif is an open-source solution focused on V&V researchers with the objective of accelerating the state-of-the-art for AV V&V research. PolyVerif provides an AI design and verification framework consisting of a digital twin creation process, an open-source AV engine, access to several open-source physics-based simulators, and open-source symbolic test generation engines. PolyVerif’s objective is to arm V&V researchers with a framework which extends the state-of-the-art on any one of the many major axes of interest and use the remainder of the infrastructure to quickly demonstrate the viability of their solution. 

Researchers

  • M. Ilhan Akbas

    M. Ilhan Akbas

    Department
    Electrical Engineering and Computer Science Dept
    Degrees
    Ph.D., University of Central Florida