Publications

Export 12 results:

Author Keyword [ Title

Filters: First Letter Of Title is C and Author is Sprinkle, Jonathan [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

C

M. Nice, Elmadani, S., Bhadani, R., Bunting, M., Sprinkle, J., and Work, D., “CAN Coach: Vehicular Control through Human Cyber-Physical Systems”, in Proceedings of the ACM/IEEE 12th International Conference on Cyber-Physical Systems, New York, NY, USA, 2021.

R. Bhadani, Sprinkle, J., and Bunting, M., “The CAT Vehicle Testbed: A Simulator with Hardware in the Loop for Autonomous Vehicle Applications”, in Proceedings 2nd International Workshop on Safe Control of Autonomous Vehicles (SCAV 2018), Porto, Portugal, Electronic Proceedings in Theoretical Computer Science , 2018, vol. 269.

CAT Vehicle Testbed Slides (5.53 MB)

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.

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.

R. Poovendran, Rajkumar, R., Corman, D., Paunicka, J., Milam, W. P., K Prasad, V., Wang, S., Barhorst, J., Gill, C., Gupta, S., Sampigethaya, K., Sprinkle, J., Stuart, D., Wolf, W., and Mangharam, R., “A Community Report of the 2008 High Confidence Transportation Cyber-Physical Systems (HCTCPS) Workshop”, 2009.

Á. Lédeczi, Bakay, Á., Maroti, M., Volgyesi, P., Nordstrom, G., Sprinkle, J., and Karsai, G., “Composing Domain-Specific Design Environments”, IEEE Computer, vol. 34, pp. 44–51, 2001.

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.

C. P. van Buskirk, Dawant, B., Karsai, G., Sprinkle, J., Szokoli, G., Suwanmongkol, K., and Currer, R., “Computer-aided aircraft maintenance scheduling”, 2002.

M. J. Eklund, Bajcsy, R., Sprinkle, J., and Simpson, G. V., “Computing Inverse MEG Signals in the Brain”, in 2005 IEEE Computational Systems Bioinformatics Conference, Controlling Complexity, 2005, pp. 332–335.

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.

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.