Publications
Export 12 results:
Author Keyword Title Type [ Year
Filters: First Letter Of Title is C and Author is Sprinkle, Jonathan [Clear All Filters]
“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.
, “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)
, 
“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.
, “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.
, “Computationally-Aware Control of Autonomous Vehicles: A Hybrid Model Predictive Control Approach”, Autonomous Robots, pp. 503-517, 2015.
, “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.
, “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.
, “Citizen Science in Support of Vegetation Index and Phenology Research”, in Phenology Research and Observations of Southwest Ecosystems Symposium (PROSE), 2010.
, “Computing Inverse MEG Signals in the Brain”, in 2005 IEEE Computational Systems Bioinformatics Conference, Controlling Complexity, 2005, pp. 332–335.
, “Composing Domain-Specific Design Environments”, IEEE Computer, vol. 34, pp. 44–51, 2001.
,