Generating Model Transformations for Mending Dynamic Constraint Violations in Cyber Physical SystemsJan 1, 2014·Sean WhitsittJonathan Sprinkle,Roman Lysecky· 0 min read Cite DOITypeConference paperPublicationThe 14th Workshop on Domain-Specific ModelingpublicationsLast updated on Jan 1, 2014 AuthorsSean WhitsittFormer Undergraduate ResearcherAuthorsJonathan SprinkleProfessor and Chair of Computer ScienceProfessor of Computer Science at Vanderbilt University. Research in cyber-physical systems, autonomous vehicles, and domain-specific modeling.AuthorsRoman Lysecky← Automatic Verification of Dynamic Constraints in LTI Control Systems Through Model Transformations Jan 1, 2014Motorized mobility scooters: The Use of Training/Intervention and Technology for Improving Driving Skills in Aging Adults - A Mini-Review Jan 1, 2014 →
,·
0 min read
