11/11/14: The 5th ADHS will take place on the Georgia Tech campus in Atlanta, GA. Consider submitting your best papers!
04/17/14: Prof. Tabuada and co-workers win the best paper award at ICCPS 2014.
04/05/13: CyPhyLab part of a $4M NSF CPS Frontier award to study correct-by-construction synthesis of control software with applications to automotive safety.
Here we present the MATLAB code describing how the labeling was done in the "Not Stable System" example in Section 6.2 of the manuscript "Underminer: A Framework for Automatically Identifying Non-converging Behaviors in Black Box System Models".