Publications

Export 6 results:
Author Keyword Title [ Type(Desc)] Year
Filters: Author is Kun Zhang  [Clear All Filters]
Conference Paper
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.
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., “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.
Journal Article
K. Zhang and Sprinkle, J., “Automobile Localization with Commodity Sensors”, (under review).
K. Zhang, Sprinkle, J., and Sanfelice, R. G., “Computationally-Aware Control of Autonomous Vehicles: A Hybrid Model Predictive Control Approach”, Autonomous Robots, pp. 503-517, 2015.
K. Zhang, Sprinkle, J., and Sanfelice, R. G., “Computationally-Aware Switching Criteria for Hybrid Model Predictive Control Of Cyber-Physical Systems”, IEEE Transactions on Automation Science and Engineering, vol. 13, pp. 479-490, 2016.