Publications

Export 10 results:

Author Keyword [ Title

Filters: First Letter Of Last Name is Z [Clear All Filters]

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

S

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.

P

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

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.

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

H

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.

E

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.

C

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.

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 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.

A

K. Zhang and Sprinkle, J., “Automobile Localization with Commodity Sensors”, (under review).