Publications

Export 187 results:
[ Author(Asc)] Keyword Title Type Year
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 
Z
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 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., 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.
K. Zhang and Sprinkle, J., Automobile Localization with Commodity Sensors, (under review).
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.
W
F. Wu, Stern, R. E., Cui, S., Monache, M. Laura Dell, Bhadani, R., Bunting, M., Churchill, M., Hamilton, N., Wu, F., Piccoli, B., Seibold, B., Sprinkle, J., and Work, D. B., The Arizona Ring Experiments Dataset (ARED). 2018.
F. Wu, Stern, R. E., Cui, S., Monache, M. Laura Dell, Bhadani, R., Bunting, M., Churchill, M., Hamilton, N., Piccoli, B., Seibold, B., Sprinkle, J., and Work, D. B., Tracking vehicle trajectories and fuel rates in phantom traffic jams: Methodology and data, Transportation Research Part C: Emerging Technologies, vol. 99, pp. 82–109, 2019.
D. B. Work, Stern, R. E., Wu, F., Churchill, M., Cui, S., Pohlmann, H., Seibold, B., Piccoli, B., Bhadani, R., Bunting, M., Sprinkle, J., Monache, M. Laura Dell, Hamilton, N., and Haulcy, R., Controlling for Unsafe Events in Dense Traffic Through Autonomous Vehicles: Invited Talk Abstract, in Proceedings of the 1st International Workshop on Safe Control of Connected and Autonomous Vehicles, New York, NY, USA, 2017, pp. 7–7.
S. Whitsitt, Modeling the Messaging and Component Interfaces of Autonomous Systems, University of Arizona, 2011.
S. Whitsitt, Gopalan, A., Cho, S., Sprinkle, J., Ramasubramanian, S., Suantak, L., and Rozenblit, J., On the Extraction and Analysis of a Social Network with Partial Organizational Observation, in Proceedings of the 19th IEEE International Conference and Workshops on Engineering of Computer-Based Systems, 2012, pp. 249-256.
S. Whitsitt and Sprinkle, J., A Passenger Comfort Controller for an Autonomous Ground Vehicle, in 51st IEEE Conference on Decision and Control, 2012, pp. 3380-3385.
S. Whitsitt and Sprinkle, J., Modeling Autonomous Systems, AIAA Journal of Aerospace Information Systems, vol. 10, pp. 396-413, 2013.
S. Whitsitt, Automatic Verification of Dynamic Constraints in LTI Control Systems Through Model Transformations, in NSF Young Professionals Workshop on Exploring New Frontiers in Cyber-Physical Systems, Washington, DC, 2014.
S. Whitsitt, Sprinkle, J., and Lysecky, R., An Overseer Control Methodology for Data Adaptable Embedded Systems, in International Workshop on Multi-Paradigm Modeling (MPM), 2012, pp. 1-6.
S. Whitsitt, Sprinkle, J., and Lysecky, R., Generating Model Transformations for Mending Dynamic Constraint Violations in Cyber Physical Systems, in The 14th Workshop on Domain-Specific Modeling, 2014, pp. 35-40.
S. Whitsitt, Barreto, A., Hudson, M., Al-Helal, H., Chu, D., Didan, K., and Sprinkle, J., Constrained data acquisition for mobile citizen science applications, in Proceedings of the compilation of the co-located workshops on DSM’11, TMC’11, AGERE!’11, AOOPES’11, NEAT’11, & VMIL’11, New York, NY, USA, 2011, pp. 267–272.
S. Whitsitt, Sprinkle, J., and Lysecky, R., Model Based Development with the Skeleton Design Method, in 20th IEEE International Conference and Workshops on the Engineering of Computer Based Systems, 2013, pp. 12-19.
S. Whitsitt, Barreto, A., Ram, S., Al-Helal, H., Hudson, M., Chu, D., Sprinkle, J., and Didan, K., Citizen Science in Support of Vegetation Index and Phenology Research, in Phenology Research and Observations of Southwest Ecosystems Symposium (PROSE), 2010.
S. Whitsitt, Modeling and Code Generation with Autonomous Vehicles, in ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems Doctoral Symposium, Innsbruck Austria, 2012.
S. Whitsitt, A Methodology for Mending Dynamic Constraint Violations in Cyber Physical Systems By Generating Model Transformations, University of Arizona, Tucson, AZ, 2014.
S. Whitsitt and Sprinkle, J., Message Modeling for the Joint Architecture for Unmanned Systems (JAUS), in Proceedings of the 8th IEEE Workshop on Model-Based Development for Computer-Based Systems, 2011, pp. 251–259.
S. Whitsitt and Sprinkle, J., A Hybrid Controller for Autonomous Vehicle Lane Changing with Epsilon Dragging, in American Control Conference, Portland, Oregon, 2014, pp. 5307-5312.