A Methodology for Mending Dynamic Constraint Violations in Cyber Physical Systems By Generating Model TransformationsJan 1, 2014·Sean Whitsitt· 0 min read CiteTypeThesispublicationsLast updated on Jan 1, 2014 AuthorsSean WhitsittFormer Undergraduate Researcher← A Hybrid Controller for Autonomous Vehicle Lane Changing with Epsilon Dragging Jan 1, 2014A Mobile Interface designed for the Safety Verification of Autonomous Vehicle Trajectories Jan 1, 2014 →