Automatic Verification of Dynamic Constraints in LTI Control Systems Through Model TransformationsJan 1, 2014·Sean Whitsitt· 0 min read CiteTypeConference paperPublicationNSF Young Professionals Workshop on Exploring New Frontiers in Cyber-Physical SystemspublicationsLast updated on Jan 1, 2014 AuthorsSean WhitsittFormer Undergraduate Researcher← A symbolic simulator for hybrid equations Jan 1, 2014Generating Model Transformations for Mending Dynamic Constraint Violations in Cyber Physical Systems Jan 1, 2014 →
·
0 min read