Taxonomic Search: karl OR hedrick

Results 1 - 10 of 33

Results

file

Verifiable Active Safety for Automotive Cyber-Physical Systems with Humans in the Loop

A recent trend in the automotive industry is the rapid inclusion of electronics, computers and controls that focus entirely on improved functionality and overall system robustness. This makes the automotive sector one of the richest targets for emerging innovations in Cyber-Physical Systems (CPS) [1]. While this trend has affected all of the vehicle areas, there is a particular interest in active safety that effectively complements passive safety. Passive safety is focused on the structural integrity of the vehicle.
profile
file

Active Safety Control in Automotive Cyber‐Physical Systems

The objective of this research is to study the formal design and verification of advanced vehicle dynamics control systems. The approach is to consider the vehicle-driver-road system as a cyber-physical system (CPS) by focusing on three critical components: (i) the tire-road interaction; (ii) the driver-vehicle interaction; and (iii) the controller design and validation.

 

file

NSF/IARPA/NSA Workshop on the Science of Security Agenda

NSF/IARPA/NSA Workshop on the Science of Security

PROGRAM AGENDA

file

High Confidence Active Safety Control in Automotive Cyber-Physical Systems

Abstract

Despite the enormous number of fatalities and injuries on US roads from automobile accidents, the design and development of active safety systems tend to be traditional in nature. Current industry standard practice resorts to extensive on-road vehicle tests to decrease the probability of failures. Given the uncertainty on environment conditions and drivers behavior, the statistical relevance of such tests is questionable.

event

9th DADS Track of the 29th ACM Symposium on Applied Computing
Mar 24, 2014 7:00:am - Mar 28, 2014 11:00:pm

 The Symposium on Applied Computing has been a primary gathering forum for applied computer scientists, computer engineers, software engineers, and application developers from around the world. SAC 2014 is sponsored by the ACM Special Interest Group on Applied Computing and is hosted by Seoul National University, Kyungpook National University, Soongsil University, and Dongguk University. The SRC Program is sponsored by Microsoft Research. 

project

Making Cloud Computing Sense, Act, and Move (SAM)

page

Management

The management structure includes the following three components:

1.      Industrial Executive Board (IEB)