AI-Engine for Optimizing Integrated Service Mixed Fleet Transit Operations

In every public transit system, a trade-off has to be made between concentrating service into very useful routes that serve large numbers of people and spreading service out to ensure that people everywhere have access to at least some service. Improving the efficiency of an existing system while enhancing service in terms of both usefulness and coverage presents considerable challenges.

System Effectiveness using Data Modeling

Air Taxi (Hybrid or Electric) aero Nautical Simulation (ATHENS)

Automated design processes, especially using Machine Learning/AI techniques, require proposed systems to be evaluated across all relevant attributes, requirements, and concerns. Traditionally, teams create models in a set of engineering tools for design evaluation data.

CODES: Compositional DSLs for Enhancing Software

The goal of this project is to study how domain-specific languages (DSLs) can be used to represent components of legacy systems and to use the DSLs to enhance those components. The project involves formal methods, compilers, and program analysis, such as symbolic execution.

Design.R – AI-assisted CPS Design

The project is part of the Symbiotic Design for CPS (SDCPS) program, with a goal to develop AI-based approaches to enable correct-by-construction design of military-relevant CPS.

Subscribe to Design-space exploration