Independent procedures that are used together for checking that a product, service, or system meets requirements and specifications and that it fulfills its intended purpose.
Sponsor(s)
National Science Foundation
University of Arizona
Contributor(s)
Jonathan Sprinkle
Remote Video
Submitted by Jonathan Sprinkle on October 31st, 2013
Sponsor(s)
National Science Foundation
University of Michigan
Contributor(s)
Jessy Grizzle
Remote Video
Submitted by Jessy Grizzle on October 31st, 2013
Sponsor(s)
National Science Foundation
UNC - Chapel Hill
Contributor(s)
James Anderson
Remote Video
Submitted by Frank Mueller on October 31st, 2013
Event
ODES-11
Optimizations are crucial to meet the performance, power and cost requirements that DSP and embedded systems have. The aim of the ODES workshop is to give the opportunity to researchers and practitioners working on this, to share their findings and get feedback.
Submitted by Anonymous on October 31st, 2013
Sponsor(s)
National Science Foundation
Georgia Institute of Technology
Contributor(s)
Eric Feron
Remote Video
Submitted by Eric Feron on October 30th, 2013
Sponsor(s)
National Science Foundation
Boston University
Contributor(s)
Christos Cassandras
Remote Video
Submitted by Christos Cassandras on October 30th, 2013
Sponsor(s)
National Science Foundation
Carnegie Mellon University
Contributor(s)
Bruce H. Krogh
Remote Video
Submitted by Bruce Krogh on October 30th, 2013
Video
Distributed Asynchronous Algorithms & Software Systems For Wide‐Area Monitoring of Power Systems
Sponsor(s)
National Science Foundation
North Carolina State University
Contributor(s)
Aranya Chakrabortty
Remote Video
Submitted by Aranya Chakrabortty on October 30th, 2013
Video
Distributed Hybrid Systems - Compositionality and Reconfiguration for Distributed Hybrid Systems
Sponsor(s)
National Science Foundation
Carnegie Mellon University
Contributor(s)
Andre Platzer
Remote Video
Submitted by Andre Platzer on October 30th, 2013
Abstract:
Analytically predicting the behavior of physical systems is generally not possible. For example, the three dimensional nature of physical systems makes it provably impossible to express closed-‐form analytical solutions even simple systems. This limitation makes experimentation the primary modality for designing new cyber-‐physical systems.
Submitted by Walid Taha on October 28th, 2013