Jonathan Sprinkle

Orcid: 0000-0003-4176-1212

According to our database1, Jonathan Sprinkle authored at least 112 papers between 2000 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

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

A Middle Way to Traffic Enlightenment.
CoRR, 2024

So you think you can track?
Proceedings of the IEEE/CVF Winter Conference on Applications of Computer Vision, 2024

2023
Robustness Verification for Knowledge-Based Logic of Risky Driving Scenes.
CoRR, 2023

Enabling Mixed Autonomy Traffic Control.
CoRR, 2023

Traffic smoothing using explicit local controllers.
CoRR, 2023

SAILing CAVs: Speed-Adaptive Infrastructure-Linked Connected and Automated Vehicles.
CoRR, 2023

Prototyping Vehicle Control Applications Using the CAT Vehicle Simulator.
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

Parameter Estimation for Decoding Sensor Signals.
Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, 2023

WiP Abstract: Edge-Based Privacy of Naturalistic Driving Data Collection.
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

Middleware for a Heterogeneous CAV Fleet.
Proceedings of Cyber-Physical Systems and Internet of Things Week 2023, 2023

2022
Semantic Tagging of CAN and Dash Camera Data from Naturalistic Drives.
Proceedings of the 13th ACM/IEEE International Conference on Cyber-Physical Systems, 2022

Model-based Design of NEMA-Compliant Dual-ring-barrier Traffic Signal Controller.
Proceedings of the 13th ACM/IEEE International Conference on Cyber-Physical Systems, 2022

2021
Are Commercially Implemented Adaptive Cruise Control Systems String Stable?
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

Reachability Analysis for FollowerStopper: Safety Analysis and Experimental Results.
Proceedings of the IEEE International Conference on Robotics and Automation, 2021

CAN coach: vehicular control through human cyber-physical systems.
Proceedings of the ICCPS '21: ACM/IEEE 12th International Conference on Cyber-Physical Systems, 2021

Safer adaptive cruise control for traffic wave dampening.
Proceedings of the ICCPS '21: ACM/IEEE 12th International Conference on Cyber-Physical Systems, 2021

Challenges in set-valued model-predictive control.
Proceedings of the CAADCPS '21: Proceedings of the Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems, 2021

Set-Valued Model Predictive Control.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

2020
Automated Model-Based Optimization of Data-Adaptable Embedded Systems.
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

A meta-metamodel for dynamic constraint feedback in modeling languages.
Proceedings of the 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling, 2019

String stability of commercial adaptive cruise control vehicles: WIP abstract.
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

Autonomous vehicles: From vehicular control to traffic contro.
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

A LiDAR Error Model for Cooperative Driving Simulations.
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
Task Transition Scheduling for Data-Adaptable Systems.
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

WiP Abstract: Stabilizing Traffic with a Single Autonomous Vehicle.
Proceedings of the 7th ACM/IEEE International Conference on Cyber-Physical Systems, 2016

Model-Driven Optimization of Data-Adaptable Embedded Systems.
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

Experience report: constraint-based modeling of autonomous vehicle trajectories.
Proceedings of the Workshop on Domain-Specific Modeling, 2015

Workshop preview of the 15th workshop on domain specific modeling (DSM 2015).
Proceedings of the Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, 2015

A hybrid model predictive controller for path planning and path following.
Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems, 2015

2014
DSM'14: the 14th workshop on domain-specific modeling.
Proceedings of the SPLASH'14, 2014

A hybrid controller for autonomous vehicle lane changing with epsilon dragging.
Proceedings of the American Control Conference, 2014

2013
Modeling Autonomous Systems.
J. Aerosp. Inf. Syst., 2013

Generating a ROS/JAUS bridge for an autonomous ground vehicle.
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

Model Based Development with the Skeleton Design Method.
Proceedings of the 20th IEEE International Conference and Workshops on Engineering of Computer Based Systems, 2013

Mobile Device Software: Model-Based Architectures and Examples.
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

The 12th workshop on domain-specific modeling.
Proceedings of the SPLASH'12, 2012

Heterogeneous multi-core systems: UML profiles vs. DSM approaches.
Proceedings of the 2012 Workshop on Domain-Specific Modeling, 2012

An overseer control methodology for data adaptable embedded systems.
Proceedings of the 6th International Workshop on Multi-Paradigm Modeling, 2012

Summary of the 6th International Workshop on Models and Evolution (ME 2012).
Proceedings of the 6th International Workshop on Models and Evolution, 2012

Summary of the 6th International Workshop on Multi-Paradigm Modeling (MPM'12).
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

A passenger comfort controller for an autonomous ground vehicle.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

2011
Time-triggered buffers for event-based middleware systems.
Innov. Syst. Softw. Eng., 2011

A generic in-place transformation-based approach to structured model co-evolution.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

Constrained data acquisition for mobile citizen science applications.
Proceedings of the SPLASH'11 Workshops, 2011

The 11th workshop on domain-specific modeling.
Proceedings of the Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Teaching students to learn to learn mobile phone programming.
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

Summary of the Second International Workshop on Models and Evolution.
Proceedings of the Models in Software Engineering, 2011

Message Modeling for the Joint Architecture for Unmanned Systems (JAUS).
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

Hardware/Software Communication Middleware for Data Adaptable Embedded Systems.
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

Modeling of Data Adaptable Reconfigurable Embedded Systems.
Proceedings of the 18th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2011

2010
The 10th workshop on domain-specific modeling.
Proceedings of the Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Analysis of a metamodel to estimate complexity of using a domain-specific language.
Proceedings of the DSM@SPLASH 2010: Proceedings of the 10th Workshop on Domain-Specific Modeling, 2010

UAV Search: Maximizing Target Acquisition.
Proceedings of the 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2010

2009
Model-based design: a report from the trenches of the DARPA Urban Challenge.
Softw. Syst. Model., 2009

Guest Editors' Introduction: What Kinds of Nails Need a Domain-Specific Hammer?
IEEE Softw., 2009

Synthesizing Executable Simulations from Structural Models of Component-Based Systems.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

The 9th OOPSLA workshop on domain-specific modeling.
Proceedings of the Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

Using Integrative Models in an Advanced Heterogeneous System Simulation.
Proceedings of the 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2009

2008
The 8th OOPSLA workshop on domain-specific modeling.
Proceedings of the Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

Reachability calculations for automated aerial refueling.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008

2007
Domain-Specific Modeling.
Proceedings of the Handbook of Dynamic System Modeling., 2007

The 7th OOPSLA workshop on domain-specific modeling.
Proceedings of the Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

Metamodelling - State of the Art and Research Challenges.
Proceedings of the Model-Based Engineering of Embedded Real-Time Systems, 2007

Model Evolution and Management.
Proceedings of the Model-Based Engineering of Embedded Real-Time Systems, 2007

2006
The 6th OOPSLA workshop on domain-specific modeling.
Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

2005
Online safety calculations for glide-slope recapture.
Innov. Syst. Softw. Eng., 2005

Fault Tolerant Data Flow Modeling Using the Generic Modeling Environment.
Proceedings of the 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 2005

Computing MEG Signal Sources.
Proceedings of the Fourth International IEEE Computer Society Computational Systems Bioinformatics Conference Workshops & Poster Abstracts, 2005

On the Partitioning of Syntax and Semantics For Hybrid Systems Tools.
Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

Deciding to land a UAV safely in real time.
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
A domain-specific visual language for domain model evolution.
J. Vis. Lang. Comput., 2004

Generative Components for Hybrid Systems Tools.
J. Object Technol., 2004

Improving CBS Tool Development with Technological Spaces.
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

ANEMIC: Automatic Interface Enabler for Model Integrated Computing.
Proceedings of the Generative Programming and Component Engineering, 2003

Domain Model Translation Using Graph Transformations.
Proceedings of the 10th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2003), 2003

2001
Composing Domain-Specific Design Environments.
Computer, 2001

The New Metamodeling Generation.
Proceedings of the 8th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2001), 2001

2000
Modeling agent negotiation.
Proceedings of the IEEE International Conference on Systems, 2000

Towards a standard for model specification and storage.
Proceedings of the IEEE International Conference on Systems, 2000


  Loading...