Skip to main content

The University of Arizona

UA Search
UA Phonebook
UA Calendar/Events
UA Campus Map

Home
News
Multimedia
2016
2017
2018
2019
2020
2021
2022
Apply!

CAT Vehicle REU 2019 - DSML 4 Kidz

Alex Day's experience: This video outlines the project that I was a part of during the University of Arizona's CAT Vehicle REU.

Tags:

2019-verification-trajectories

Related Articles

Verification and Creation of Autonomous Vehicle Trajectories for Non-Experts with Reactive Design-Time Feedback and Sensor-Based Response

Alex Day (Clarion University of Pennsylvania)
Sam Hum (Colorado College)
Riley Wagner (the University of Arizona)

Sam Hum's CAT Vehicle 2019 Experience

In 2019 summer, I worked on the CAT Vehicle REU at the University of Arizona. My group created a specialized language that will be used at local Tucson elementary schools to code Lego EV3 robots and the CAT Vehicle (an autonomous vehicle). I want to thank the University of Arizona, the NSF, and the other members of CAT Vehicle and HF projects.

Riley Wagner: CATVehicle REU 2019

Video experience of Riley's project on the use of a domain-specific modeling language (DSML) designed in WebGME — a server-based generic modeling environment. The language mirrors the curriculum of non-expert programmers and incorporates the use of sensor data, which is to be deployed on both the Cognitive and Autonomous Test Vehicle (CATVehicle) and Lego EV3 robots. However, maintaining safety within these DSML-designed CPS can be an issue.

About the CAT Vehicle REU Site

This opportunity is supported by the National Science Foundation under Award IIS-1950359, managed Prof. Loukas Lazos (PI). Professors Gregory Ditzler and Jonathan Sprinkle was the prior PI of IIS-1950359. Previous sponsorship by NSF and the Air Force Office of Scientific Research, was under Awards CNS-1659428, IIS-1262960, and CNS-1253334, managed by Prof Jonathan Sprinkle, Prof. Larry Head, and Prof. Tamal Bose. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the National Science Foundation. Copyright (c) 2013-2020, Arizona Board of Regents. Contact Us.