File
SmartUSA Challenge - Sokwoo Rhee
Submitted by Anonymous on October 22nd, 2013
File
Efficient Control Synthesis and Learning in Distributed CPS - Bert Tanner
Herbert Tanner Submitted by Herbert Tanner on October 17th, 2013
File
A New Computation Task Model for Cyber-Physical Systems - Kang Shin
Kang Shin Submitted by Kang Shin on October 17th, 2013
File
Embedded Fault Detection for Low-Cost,Safety-Critical Systems - Peter Seiler
Submitted by Peter Seiler on October 17th, 2013
File
Credible autocoding and model-based control design and validation - Eric Feron
Eric Feron Submitted by Eric Feron on October 17th, 2013
File
Formal Synthesis with Learning of Environmental Dynamics - Calin Belta
Calin Belta Submitted by Calin Belta on October 17th, 2013
Subscribe to Session 3: CPS PI Talks