Design, Verification and Optimization of Embedded Control Systems: Applications in Autonomy, Sensor Networks and Traffic Control EventMonday, April 22, 2019 - 4:00pm to 5:00pm