Jonathan Sprinkle
Orcid: 0000-0003-4176-1212
According to our database1,
Jonathan Sprinkle
authored at least 119 papers
between 2000 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Modifying Adaptive Cruise Control Systems for String Stable Stop-and -Go Wave Control.
IEEE Robotics Autom. Lett., October, 2024
From Sim to Real: A Pipeline for Training and Deploying Traffic Smoothing Cruise Controllers.
IEEE Trans. Robotics, 2024
Designing, simulating, and performing the 100-AV field test for the CIRCLES consortium: Methodology and Implementation of the Largest mobile traffic control experiment to date.
CoRR, 2024
Reinforcement Learning Based Oscillation Dampening: Scaling up Single-Agent RL algorithms to a 100 AV highway field operational test.
CoRR, 2024
Traffic Control via Connected and Automated Vehicles: An Open-Road Field Experiment with 100 CAVs.
CoRR, 2024
Hierarchical Speed Planner for Automated Vehicles: A Framework for Lagrangian Variable Speed Limit in Mixed Autonomy Traffic.
CoRR, 2024
Proceedings of the IEEE/CVF Winter Conference on Applications of Computer Vision, 2024
Reinforcement Learning with Communication Latency with Application to Stop-and-Go Wave Dissipation.
Proceedings of the IEEE Intelligent Vehicles Symposium, 2024
Proceedings of the 15th ACM/IEEE International Conference on Cyber-Physical Systems, 2024
2023
CoRR, 2023
CoRR, 2023
Runtime Monitoring of Accidents in Driving Recordings with Multi-type Logic in Empirical Models.
Proceedings of the Runtime Verification - 23rd International Conference, 2023
Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, 2023
Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, 2023
Analysis of a Runtime Data Sharing Architecture over LTE for a Heterogeneous CAV Fleet.
Proceedings of Cyber-Physical Systems and Internet of Things Week 2023, 2023
Proceedings of Cyber-Physical Systems and Internet of Things Week 2023, 2023
2022
Proceedings of the 13th ACM/IEEE International Conference on Cyber-Physical Systems, 2022
Proceedings of the 13th ACM/IEEE International Conference on Cyber-Physical Systems, 2022
2021
IEEE Trans. Intell. Transp. Syst., 2021
Compromised ACC vehicles can degrade current mixed-autonomy traffic performance while remaining stealthy against detection.
CoRR, 2021
Integrated Framework of Vehicle Dynamics, Instabilities, Energy Models, and Sparse Flow Smoothing Controllers.
CoRR, 2021
Proceedings of the IEEE International Conference on Robotics and Automation, 2021
Proceedings of the ICCPS '21: ACM/IEEE 12th International Conference on Cyber-Physical Systems, 2021
Proceedings of the ICCPS '21: ACM/IEEE 12th International Conference on Cyber-Physical Systems, 2021
Proceedings of the CAADCPS '21: Proceedings of the Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems, 2021
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021
2020
ACM Trans. Embed. Comput. Syst., 2020
2019
Summary of the 17th ACM SIGPLAN international workshop on domain-specific modeling (DSM 2019).
Proceedings of the Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, 2019
Proceedings of the 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling, 2019
Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, 2019
Real-time distance estimation and filtering of vehicle headways for smoothing of traffic waves.
Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, 2019
Proceedings of the 58th IEEE Conference on Decision and Control, 2019
2018
The CAT Vehicle Testbed: A Simulator with Hardware in the Loop for Autonomous Vehicle Applications.
Proceedings of the Proceedings 2nd International Workshop on Safe Control of Autonomous Vehicles, 2018
Proceedings of the 2018 IEEE Vehicular Networking Conference, 2018
Dissipation of Emergent Traffic Waves in Stop-and-Go Traffic Using a Supervisory Controller.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018
2017
ACM Trans. Embed. Comput. Syst., 2017
Safe Control of Autonomous & Connected Vehicles (SCAV'17): Report from the 1st International Workshop at CPSWeek 2017.
ACM SIGSOFT Softw. Eng. Notes, 2017
Dissipation of stop-and-go waves via control of autonomous vehicles: Field experiments.
CoRR, 2017
Controlling for Unsafe Events in Dense Traffic through Autonomous Vehicles: Invited Talk Abstract.
Proceedings of the 1st International Workshop on Safe Control of Connected and Autonomous Vehicles, 2017
2016
Computationally Aware Switching Criteria for Hybrid Model Predictive Control of Cyber-Physical Systems.
IEEE Trans Autom. Sci. Eng., 2016
A safe autonomous vehicle trajectory domain specific modeling language for non-expert development.
Proceedings of the International Workshop on Domain-Specific Modeling, 2016
Proceedings of the 7th ACM/IEEE International Conference on Cyber-Physical Systems, 2016
Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016
2015
A Data-Driven Linear Approximation of HVAC Utilization for Predictive Control and Optimization.
IEEE Trans. Control. Syst. Technol., 2015
Computationally aware control of autonomous vehicles: a hybrid model predictive control approach.
Auton. Robots, 2015
Proceedings of the Workshop on Domain-Specific Modeling, 2015
Proceedings of the Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, 2015
Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems, 2015
2014
Proceedings of the SPLASH'14, 2014
Proceedings of the American Control Conference, 2014
2013
Proceedings of the 2013 ACM workshop on Domain-specific modeling, 2013
Runtime hardware/software task transition scheduling for data-adaptable embedded systems.
Proceedings of the 2013 International Conference on Field-Programmable Technology, 2013
Model-Based Software Synthesis for Self-Reconfigurable Sensor Network in Water Monitoring.
Proceedings of the 20th IEEE International Conference and Workshops on Engineering of Computer Based Systems, 2013
Proceedings of the 20th IEEE International Conference and Workshops on Engineering of Computer Based Systems, 2013
Proceedings of the 20th IEEE International Conference and Workshops on Engineering of Computer Based Systems, 2013
System Throughput Optimization and Runtime Communication Middleware Supporting Dynamic Software-Hardware Task Migration in Data Adaptable Embedded Systems.
Proceedings of the 20th IEEE International Conference and Workshops on Engineering of Computer Based Systems, 2013
How You Can Learn to Stop Worrying and Love Reconfigurable Embedded Systems: A Tutorial.
Proceedings of the 20th IEEE International Conference and Workshops on Engineering of Computer Based Systems, 2013
Efficient reconfiguration methods to enable rapid deployment of runtime reconfigurable systems.
Proceedings of the 2013 Asilomar Conference on Signals, 2013
2012
Switched and Symmetric Pursuit/Evasion Games Using Online Model Predictive Control With Application to Autonomous Aircraft.
IEEE Trans. Control. Syst. Technol., 2012
Acomni: an alternative smart thermostat interface to aid end users to visualize energy and cost tradeoffs.
Proceedings of the BuildSys '12 Proceedings of the Fourth ACM Workshop on Embedded Sensing Systems for Energy-Efficiency in Buildings, 2012
Proceedings of the 2012 Workshop on Domain-Specific Modeling, 2012
Proceedings of the 6th International Workshop on Multi-Paradigm Modeling, 2012
Proceedings of the 6th International Workshop on Models and Evolution, 2012
Proceedings of the 6th International Workshop on Multi-Paradigm Modeling, 2012
On the Extraction and Analysis of a Social Network with Partial Organizational Observation.
Proceedings of the IEEE 19th International Conference and Workshops on Engineering of Computer-Based Systems, 2012
Automated Software Generation and Hardware Coprocessor Synthesis for Data-Adaptable Reconfigurable Systems.
Proceedings of the IEEE 19th International Conference and Workshops on Engineering of Computer-Based Systems, 2012
Proceedings of the 51th IEEE Conference on Decision and Control, 2012
2011
Innov. Syst. Softw. Eng., 2011
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011
Proceedings of the SPLASH'11 Workshops, 2011
Proceedings of the SPLASH'11 Workshops, 2011
Proceedings of the SPLASH'11 Workshops, 2011
autoVHDL: a domain-specific modeling language for the auto-generation of VHDL core wrappers.
Proceedings of the SPLASH'11 Workshops, 2011
Proceedings of the Models in Software Engineering, 2011
Proceedings of the 18th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2011
On the Mitigation of MultiCore-Induced Behavioral Deviations of an Autonomous Ground Vehicle.
Proceedings of the 18th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2011
Proceedings of the 18th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2011
Simplification of Semantically-Rich Model Transformations through Generated Transformation Blocks.
Proceedings of the 18th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2011
Proceedings of the 18th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2011
2010
Proceedings of the Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010
Proceedings of the DSM@SPLASH 2010: Proceedings of the 10th Workshop on Domain-Specific Modeling, 2010
Proceedings of the 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2010
2009
Softw. Syst. Model., 2009
IEEE Softw., 2009
Synthesizing Executable Simulations from Structural Models of Component-Based Systems.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009
Proceedings of the Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009
Proceedings of the 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2009
2008
Proceedings of the Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008
Proceedings of the 47th IEEE Conference on Decision and Control, 2008
2007
Proceedings of the Handbook of Dynamic System Modeling., 2007
Proceedings of the Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007
Proceedings of the Model-Based Engineering of Embedded Real-Time Systems, 2007
Proceedings of the Model-Based Engineering of Embedded Real-Time Systems, 2007
2006
Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006
2005
Proceedings of the 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 2005
Proceedings of the Fourth International IEEE Computer Society Computational Systems Bioinformatics Conference Workshops & Poster Abstracts, 2005
Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005
Proceedings of the American Control Conference, 2005
Implementing and testing a nonlinear model predictive tracking controller for aerial pursuit/evasion games on a fixed wing aircraft.
Proceedings of the American Control Conference, 2005
2004
J. Vis. Lang. Comput., 2004
Proceedings of the 11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004), 2004
Encoding aerial pursuit/evasion games with fixed wing aircraft into a nonlinear model predictive tracking controller.
Proceedings of the 43rd IEEE Conference on Decision and Control, 2004
2003
On the Use of Graph Transformation in the Formal Specification of Model Interpreters.
J. Univers. Comput. Sci., 2003
Proceedings of the Generative Programming and Component Engineering, 2003
Proceedings of the 10th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2003), 2003
2001
Proceedings of the 8th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2001), 2001
2000
Proceedings of the IEEE International Conference on Systems, 2000
Proceedings of the IEEE International Conference on Systems, 2000