A Closed-loop Model-based Design Approach Based On Automatic Verification and TransformationJan 1, 2014·Kun ZhangJonathan Sprinkle· 0 min read Cite DOITypeConference paperPublicationThe 14th Workshop on Domain-Specific ModelingpublicationsLast updated on Jan 1, 2014 AuthorsKun ZhangPhD StudentAuthorsJonathan SprinkleProfessor and Chair of Computer ScienceProfessor of Computer Science at Vanderbilt University. Research in cyber-physical systems, autonomous vehicles, and domain-specific modeling.← Intersection Management via the Opportunistic Organization of Platoons by Route Jan 1, 2015A Data-Driven Approach for System Approximation and Set Point Optimization, with a Focus in HVAC Systems Jan 1, 2014 →
·
0 min read