Presentation

file

Visible to the public Safety Certification Challenges for Future Air Force Systems

Submitted by TimTh on Thu, 06/30/2011 - 9:05am. Contributor:
file

Visible to the public BitBlaze: Binary Analysis for Computer Security

Submitted by TimTh on Thu, 06/30/2011 - 9:01am. Contributor:
file

Visible to the public Updatable Security Views

Submitted by TimTh on Thu, 06/30/2011 - 9:00am. Contributors:

Presented as part of the 2009 HCSS conference.

file

Visible to the public Improving Undergraduate Programming Language Curriculum

Submitted by kathleen.fisher on Thu, 06/30/2011 - 7:33am. Contributor:

Presented as part of the 2009 HCSS conference.

file

Visible to the public Extending Passivity to Guarantee Properties in CPS design - Presentation from the NSF Kickoff on November 29, 2010 .pdf

Submitted by jmdermody on Fri, 06/03/2011 - 2:46pm

The slides that were presented at the NSF Kickoff meeting on November 29, 2010. Contributors to the presentation include P. Antsaklis, V. Gupta, and B. Goodwine. Topics discussed within the presentation include Passivity & Dissipativity in Dynamical Systems, Event-Triggered Control, and Passivity Indices - Cascade.