Publications

Export 245 results:
Author Keyword [ Title(Desc)] Type Year
Filters: First Letter Of Last Name is S  [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
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.PDF icon 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.
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.
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 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, 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.
C. P. van Buskirk, Dawant, B., Karsai, G., Sprinkle, J., Szokoli, G., Suwanmongkol, K., and Currer, R., Computer-aided aircraft maintenance scheduling, 2002.
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.
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.
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.
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.
D
R. E. Stern, Wu, F., Churchill, M., Work, D. B., Monache, M. Laura Dell, Piccoli, B., Pohlmann, H., Cui, S., Seibold, B., Hamilton, N., Haulcy, R. ’mani, Bhadani, R., Bunting, M., and Sprinkle, J., Dampening traffic waves with autonomous vehicles, in ITRL Conference on Integrated Transport: Connected and Automated Transport Systems, 2016.
R. E. Stern, Wu, F., Churchill, M., Work, D. B., Monache, M. Laura Dell, Piccoli, B., Pohlmann, H., Cui, S., Seibold, B., Hamilton, N., Haulcy, R. ’mani, Bhadani, R., Bunting, M., and Sprinkle, J., Dampening traffic waves with autonomous vehicles, in ITRL Conference on Integrated Transport: Connected and Automated Transport Systems, 2016.
R. E. Stern, Wu, F., Churchill, M., Work, D. B., Monache, M. Laura Dell, Piccoli, B., Pohlmann, H., Cui, S., Seibold, B., Hamilton, N., Haulcy, R. ’mani, Bhadani, R., Bunting, M., and Sprinkle, J., Dampening traffic waves with autonomous vehicles, in ITRL Conference on Integrated Transport: Connected and Automated Transport Systems, 2016.
B. Upcroft, Moser, M., Makarenko, A., Johnson, D., Donikan, A., Alempijevic, A., Fitch, R., Uther, W., Biermeyer, J., Gonzalez, H., Grøtli, E. Ingar, Templeton, T., Srini, V. P., and Sprinkle, J., DARPA Urban Challenge Technical Paper: Sydney-Berkeley Driving Team, 2007.
B. Upcroft, Moser, M., Makarenko, A., Johnson, D., Donikan, A., Alempijevic, A., Fitch, R., Uther, W., Biermeyer, J., Gonzalez, H., Grøtli, E. Ingar, Templeton, T., Srini, V. P., and Sprinkle, J., DARPA Urban Challenge Technical Paper: Sydney-Berkeley Driving Team, 2007.
X. Qin, Lysecky, S., and Sprinkle, J., A Data-Driven Linear Approximation of HVAC Utilization for Predictive Control and Optimization, IEEE Transactions on Control Systems Technology, vol. 99, p. 1, 2014.
J. Sprinkle, J. Eklund, M., and S. Sastry, S., Deciding to Land a UAV Safely in Real Time, in Proceedings of American Control Conference (ACC) 2005, 2005, pp. 3506–3511.
J. Sprinkle, J. Eklund, M., and S. Sastry, S., Deciding to Land a UAV Safely in Real Time, in Proceedings of American Control Conference (ACC) 2005, 2005, pp. 3506–3511.
N. Risso and Sanfelice, R. G., Detectability and Invariance Properties for Set Dynamical Systems, IFAC-PapersOnLine, vol. 49, pp. 1030–1035, 2016.
R. Bhadani, Piccoli, B., Seibold, B., Sprinkle, J., and Work, D. B., Dissipation of Emergent Traffic Waves in Stop-and-Go Traffic Using a Supervisory Controller, 57th IEEE Conference on Decision and Control, vol. 57. IEEE, Fontainbleau, Miami Beach, USA, 2018.PDF icon Preprint (1.5 MB)PDF icon Slides at CDC '18 (6.58 MB)