Publications

Export 6 results:
Author Keyword Title [ Type(Asc)] Year
Filters: Author is Kun Zhang  [Clear All Filters]
Conference Paper
K. Zhang and Sprinkle, J., Model-Based Software Synthesis for Self-Reconfigurable Sensor Network in Water Monitoring, in Engineering of Computer Based Systems (ECBS), 2013 20th IEEE International Conference and Workshops on the, 2013, pp. 40-48.
K. Zhang, Sprinkle, J., and Sanfelice, R. G., A Hybrid Model Predictive Controller for Path Planning and Path Following, in International Conference on Cyber-Physical Systems (ICCPS), Seattle, WA, 2015, pp. 139-148.
K. Zhang and Sprinkle, J., A Closed-loop Model-based Design Approach Based On Automatic Verification and Transformation, in The 14th Workshop on Domain-Specific Modeling, 2014, pp. 1-6.