Mechanical and Aerospace Engineering

Hyundai Distinguished Lecturer: Jyo Deshmukh, Ph.D.

Speaker: Jyo Deshmukh, Ph.D.

Researcher/Engineer, Toyota Technical Center

Toyota Motor Engineering & Manufacturing


Title: Formal Verification and Model-based Development in Automotive Powertrains



At the heart of an automobile is its powertrain, and the operation of powertrain components

such as the engine is controlled by embedded software on electronic control units (ECUs). The

paradigm of model-based development (MBD) has become the de facto standard for designing

such control software. MBD designs of control software range from feature-level models to

application-level and even entire system-level models. On the other hand, models of the plant

(e.g. the engine), can range from simple physics-based models to high-fidelity models

incorporating test-data. The advantage of MBD is in its ability to design, validate, and analyze

the closed-loop model of the plant and the controller, often well before the actual hardware

components become available. Unfortunately, even the simplest closed-loop model of an

automotive powertrain subsystem is a complex cyber-physical system with highly nonlinear and

hybrid dynamics, and reasoning about the correctness of such closed-loop models is a

formidable task. In this talk, we introduce two challenges in reasoning about industrial-scale

closed-loop control models: (1) scaling verification or bug-finding techniques to closed-loop

engine control systems, and (2) formalisms to express correctness and performance

requirements for such models. We survey some of the existing work done to answer these

challenges, and present some promising directions for future work.


Refreshments will be provided!

Date(s) - 11/05/2015
4:10 pm - 5:00 pm

1062 Bainer Classroom


Loading Map....