OSU navbar

OSU Navbar



The research activities within the NSF supported Project can be summarized by Figure 2 below. Further details will be highlighted in these pages.

Design-to-Validation cycle
Figure 2: The Design-to-Validation cycle and the CPS research contribution


Sub Projects

Correctness of CPS Software

Software that manages situational awareness of the vehicle, and that controls it in response to various environmental demands, makes both absolute and probabilistic behavioral promises.  The former include guarantees about performance as well as functionality.  The latter arise because of the inherently stochastic environment, e.g., the actual future behavior of other vehicles is probabilistically related to externally sensed indicators such as its turn signals; see the related project work on HMMs and driver behavior.  The team is, therefore, investigating the application of both traditional software specification and verification principles and tools, and the use of probabilistic model checking, to verify properties of the kinds of software used in autonomous vehicles and in other CPS situations.

Related Research Projects and Activities

•    Multiple Autonomous Robot Cooperative Activity (MAGIC 2010) (www.ece.osu.edu/citr/magic2010)

•    Driver Intent Modeling for Intersection Access

•    The Grand Cooperative Driving Challenge (GCDC) (www.gcdc.net)