Publications

Export 10 results:

Author Keyword Title [ Type

] Year

Filters: First Letter Of Last Name is Z [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. McKeever, Zeleke, Y., Bunting, M., and Sprinkle, J., “Experience Report: Constraint-based Modeling of Autonomous Vehicle Trajectories”, in Proceedings of the Workshop on Domain-Specific Modeling, New York, NY, USA, 2015, pp. 17–22.

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.

B. P. Malladi, Risso, N., and Zeleke, Y., “Model Predictive Control for Space Missions”, in The First American Model Predictive Control Summer School, 2017.

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.

J. Sprinkle, Ames, A. D., Pinto, A., Zheng, H., and S. Sastry, S., “On the Partitioning of Syntax and Semantics For Hybrid Systems Tools”, in 44th IEEE Conference on Decision and Control and European Control Conference ECC 2005 (CDC-ECC’05), 2005, pp. 4694–4699.

M. Bunting, Zeleke, Y., McKeever, K., and Sprinkle, J., “A Safe Autonomous Vehicle Trajectory Domain Specific Modeling Language For Non-Expert Development”, in Proceedings of the International Workshop on Domain-Specific Modeling (DSM 2016), Amsterdam, Netherlands, 2016, pp. 42–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.