%0 Conference Paper %B ACM/IEEE 12th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2021) %D 2021 %T Safer Adaptive Cruise Control for Traffic Wave Dampening %A Emily Baschab %A Savannah Ball %A Audrey Vazzana %A Jonathan Sprinkle %X
This project aims to develop an adaptive cruise controller for vehicles at low speeds in stop-and-go traffic. Current adaptive cruise controllers can use RADAR sensors to follow a vehicle at high speeds (greater than 18 mph), but reach their limits if the lead vehicle’s velocity dips below threshold, requiring the driver of the host vehicle to resume control over the car’s speed. Some cruise controllers adapt to stop-and-go traffic, but these are mostly experimental and have yet to see widespread commercial implementation. These experimental models often have issues because of their limited data; consequently, the acceleration and deceleration can be jarring and uncomfortable to passengers. In contrast, because of our reliable sensor data, and the sensor configuration unique to the CAT Vehicle, our cruise controller will be capable of following cars at low speeds and functioning continuously, even when the car is stopped.
%B ACM/IEEE 12th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2021) %I ACM %G eng %U http://dx.doi.org/10.1145/3450267.3452003 %R 10.1145/3450267.3452003 %0 Journal Article %J IEEE Transactions on Intelligent Transportation Systems %D 2020 %T Are commercially implemented adaptive cruise control systems string stable? %A George Gunter %A Derek Gloudemans %A Raphael E Stern %A Sean McQuade %A Rahul Bhadani %A Matt Bunting %A Maria Laura Dell Monache %A Benjamin Seibold %A Jonathan Sprinkle %A Benedetto Piccoli %A Daniel B. Work %K Adaptive Cruise Control %K String Stability %XIn this article, we assess the string stability of seven 2018 model year adaptive cruise control (ACC) equipped vehicles that are widely available in the US market. A total of seven distinct vehicle models from two different vehicle makes are analyzed using data collected from more than 1,200 miles of driving in designed car-following experiments with ACC engaged by the following vehicle. The data is used to identify the parameters of a linear second order delay differential equation model that approximates the behavior of the proprietary ACC systems. The string stability of the data fitted model associated with each vehicle is assessed, and the main finding is that all seven vehicle models have string unstable ACC systems. For one commonly available vehicle that offers ACC as a standard feature on all trim levels, we validate the string stability finding with a multi-vehicle platoon experiment in which all vehicles are the same year, make, and model. In the multi-vehicle platoon test, an initial disturbance of 6 mph is amplified by 19 mph to a 25 mph disturbance, at which point the last vehicle in the platoon is observed to disengage the ACC and return control to the human driver. The data collected the driving experiments is made available, representing the largest available driving dataset on ACC equipped vehicles.
%B IEEE Transactions on Intelligent Transportation Systems %P 12 pages %8 06/2020 %G eng %U http://dx.doi.org/10.1109/TITS.2020.3000682 %R 10.1109/TITS.2020.3000682 %0 Report %D 2020 %T Modeling Human Car-Following Behavior from Demonstration with Recurrent Neural Networks %A Iris Jones %A Megan Walter %E Rahul Bhadani %Y Jonathan Sprinkle %K car-following models %K driving behavior %K recurrent neural network %K simulation %K trajectory prediction %XThe validity of simulation testing for autonomous vehicles depends on the ability to accurately simulate human driving behavior. This project seeks to train a model on an individual’s driving data, and to test the ability of the model to predict trajectories that replicate the driver’s style by using the model in a realistic simulated environment. Specifically, we deployed Recurrent Neural Network (RNN) modeling techniques to create a black-box model of an individual’s driving behavior. We use our RNN-trained model to simulate a human-driven vehicle in the Robot Operating System (ROS) based CAT Vehicle simulator for autonomous vehicle validation. We hope this work is a step to improve testing environments for validating human behavior replicating car-following models and thereby improve testing environments for autonomous vehicles in general.
%G eng %0 Conference Paper %B Frontiers in Optics 2020 %D 2020 %T Programming the Kennedy Receiver for Capacity Maximization versus Minimizing One-shot Error Probability %A Rahul Bhadani %A Ivan B. Djordjevic %A Jonathan Sprinkle %A Saikat Guha %E Michael Grace %K Photonics %K Photonics Information Theory %K Quantum Optics %XWe find the capacity attained by the Kennedy receiver for coherent-state BPSK when the symbol prior $p$ and pre-detection displacement $\beta$ are optimized. The optimal $\beta$ is different than what minimizes error probability for single-shot BPSK state discrimination.
%B Frontiers in Optics 2020 %I The Optical Society of America %C Online %8 09/2020 %@ 978-1-943580-80-4 %G eng %U https://www.osapublishing.org/abstract.cfm?uri=FiO-2020-JM6B.29 %0 Report %D 2020 %T Safer Adaptive Cruise Control for Traffic Wave Dampening %A Emily Baschab %A Savannah Ball %A Audrey Vazzana %E Jonathan Sprinkle %K Adaptive Cruise Control %K stop-and-go %K Vehicle Autonomy %XOur goal is to develop an adaptive cruise controller for vehicles at low speeds in stop-and-go traffic. Current adaptive cruise controllers can use radar sensors to follow a vehicle at high speeds (greater than 18 mph), but reach their limits if the lead vehicle’s velocity dips below threshold, requiring the driver of the host vehicle to resume control over the car’s speed. Some cruise controllers adapt to stop-and-go traffic, but these are mostly experimental and have yet to see widespread commercial implementation. These experimental models often have issues because of their limited data; consequently, the acceleration and deceleration can be jarring and uncomfortable to passengers. In contrast, because of our reliable sensor data, and the sensor configuration unique to the CAT Vehicle, our cruise controller will be capable of following cars at low speeds and functioning continuously, even when the car is stopped.
This project has the potential to interest automobile companies who could implement this technology in future automobiles. If our technology were to be implemented in future automobiles, it would make driving considerably more convenient for drivers. This technology could also potentially reduce the number of traffic accidents, as well as making drivers feel safer when navigating traffic. However, if errors were to occur, they could potentially put the car’s passengers at risk, as well as the passengers in nearby vehicles.
Our project had a time frame of ten weeks during which we were able to model an adaptive cruise controller and test it in a simulation.
%G eng %0 Conference Paper %B American Control Conference %D 2020 %T Safety and Stability Analysis of the FollowerStopper Traffic Wave Dampening Controller (Late-Breaking Poster) %A Chris Kreienkamp %A Daniel Fishbein %A Rahul Bhadani %A Jonathan Sprinkle %B American Control Conference %8 07 %G eng %0 Journal Article %J ACM Transactions on Embedded Computing Systems %D 2019 %T Automated Model-based Optimization of Data-Adaptable Embedded Systems %A Adrian Lizarraga %A Jonathan Sprinkle %A Roman Lysecky %XThis paper presents a modeling and optimization framework that enables developers to model an application's data sources, tasks, and exchanged data tokens; specify application requirements through high-level design metrics and fuzzy logic based optimization rules; and define an estimation framework to automatically optimize the application at runtime. We demonstrate the modeling and optimization process via an example application for video-based vehicle tracking and collision avoidance. We analyze the benefits of runtime optimization by comparing the performance of static point solutions to dynamic solutions over five distinct execution scenarios, showing improvements of up to 74% for dynamic over static configurations.
%B ACM Transactions on Embedded Computing Systems %V 19 %P 22 pages %8 02/2020 %G eng %U https://doi.org/10.1145/3372142 %N 1 %R 10.1145/3372142 %0 Book Section %B Computational Intelligence and Optimization Methods for Control Engineering %D 2019 %T Feedback Control Algorithms for the Dissipation of Traffic Waves with Autonomous Vehicles %A Maria Laura Dell Monache %A Liard, Thibault %A Rat, Anaïs %A Raphael E Stern %A Rahul Bhadani %A Benjamin Seibold %A Jonathan Sprinkle %A Daniel B. Work %A Benedetto Piccoli %E Blondin, Maude Josée %E Pardalos, Panos M. %E Sanchis Sáez, Javier %XThis article considers the problem of traffic control in which an autonomous vehicle is used to regulate human-piloted traffic to dissipate stop-and-go traffic waves. We first investigated the controllability of well-known microscopic traffic flow models, namely, (i) the Bando model (also known as the optimal velocity model), (ii) the follow-the-leader model, and (iii) a combined optimal velocity follow-the-leader model. Based on the controllability results, we proposed three control strategies for an autonomous vehicle to stabilize the other, human-piloted traffics. We subsequently simulate the control effects on the microscopic models of human drivers in numerical experiments to quantify the potential benefits of the controllers. Based on the simulations, finally, we conduct a field experiment with 22 human drivers and a fully autonomous-capable vehicle, to assess the feasibility of autonomous vehicle-based traffic control on real human-piloted traffic. We show that both in simulation and in the field test that an autonomous vehicle is able to dampen waves generated by 22 cars, and that as a consequence, the total fuel consumption of all vehicles is reduced by up to 20{%}.
%B Computational Intelligence and Optimization Methods for Control Engineering %I Springer International Publishing %C Cham %P 275–299 %@ 978-3-030-25446-9 %G eng %U https://doi.org/10.1007/978-3-030-25446-9_12 %R 10.1007/978-3-030-25446-9_12 %0 Book Section %B Complexity Challenges in Cyber Physical Systems: Using Modeling and Simulation (M&S) to Support Intelligence, Adaptation and Autonomy %D 2019 %T Model-based engineering with application to autonomy %A Rahul Bhadani %A Matt Bunting %A Jonathan Sprinkle %XIn this chapter we focus on where models fit into the verification and validation design cycle of autonomous cyber-physical systems. These systems typically make decisions through myriad of sensing loops, have implementations in multiple languages, and may have their logic represented in several different kinds of formal models. The use of code generation, along with software-in-the-loop and hardware-in-the-loop simulation (discussed further in Section 4), permits system designers to apply various agile techniques for the validation and verification of systems as requirements are implemented, tested, and demonstrated. The work in this chapter explores such a design cycle with application to autonomous driving. Examples are given for the implementation of various components that describe vehicle dynamics, control models, system identification, sensor/data acquisition, etc., which can be functionally de- scribed in models, and explored in simulation before utilizing code generation to deploy final solutions. The integration of simulation tools during functional design, software-in-the-loop testing, and hardware-in-the-loop testing, permits regression evaluation of use case scenarios. In addition to functional testing, we also describe how high-level domain- specific models can be used to include verification-in-the-loop toolboxes as part of the design cycle. All the examples in this chapter are based on an autonomous Ford Escape, which has a Robotic Operating System (ROS) API for its control and the integration of autonomous components—however, the results are applicable to other event-based and time-triggered middleware platforms. The implementation models in use include Simulink, MATLAB, StateFlow, and other domain-specific languages that specify high-level behaviors.
%B Complexity Challenges in Cyber Physical Systems: Using Modeling and Simulation (M&S) to Support Intelligence, Adaptation and Autonomy %I Wiley %P 255-285 %@ 978-1-119-55239-0 %G eng %& 10 %0 Journal Article %J Transportation Research Part D: Transport and Environment %D 2019 %T Quantifying air quality benefits resulting from few autonomous vehicles stabilizing traffic %A Yuche Chen %A Miles Churchill %A Fangyu Wu %A Maria Laura Dell Monache %A Benedetto Piccoli %A Benjamin Seibold %A Jonathan Sprinkle %A Daniel B. Work %XIt is anticipated that in the near future, the penetration rate of vehicles with some autonomous capabilities (e.g., adaptive cruise control, lane following, full automation, etc.) will increase on roadways. This work investigates the potential reduction of vehicular emissions caused by the whole traffic stream, when a small number of autonomous vehicles (e.g., 5% of the vehicle fleet) are designed to stabilize the traffic flow and dampen stop-and-go waves. To demonstrate this, vehicle velocity and acceleration data are collected from a series of field experiments that use a single autonomous-capable vehicle to dampen traffic waves on a circular ring road with 20–21 human-piloted vehicles. From the experimental data, vehicle emissions (hydrocarbons, carbon monoxide, carbon dioxide, and nitrogen oxides) are estimated using the MOVES emissions model. This work finds that vehicle emissions of the entire fleet may be reduced by between 15% (for carbon dioxide) and 73% (for nitrogen oxides) when stop-and-go waves are reduced or eliminated by the dampening action of the autonomous vehicle in the flow of human drivers. This is possible if a small fraction (∼5%) of vehicles are autonomous and designed to actively dampen traffic waves. However, these reductions in emissions apply to driving conditions under which stop-and-go waves are present. Less significant reductions in emissions may be realized from a deployment of AVs in a broader range of traffic conditions.
%B Transportation Research Part D: Transport and Environment %V 67 %8 02/2019 %G eng %U https://doi.org/10.1016/j.trd.2018.12.008 %& 351 %R 10.1016/j.trd.2018.12.008 %0 Conference Proceedings %B International Conference on Cyber-Physical Systems 2019 %D 2019 %T Real-Time Distance Estimation and Filtering of Vehicle Headways for Smoothing of Traffic Waves %A Rahul Bhadani %A Matthew Bunting %A Benjamin Seibold %A Raphael E Stern %A Shumo Cui %A Jonathan Sprinkle %A Benedetto Piccoli %A Daniel B. Work %K autonomous vehicles %K Digital Filter %K simulation %K Traffic %XIn this paper, we describe an experience report and field deployment of real-time filtering algorithms used with a robotic vehicle to smooth emergent traffic waves. When smoothing these waves in simulation, a common approach is to implement controllers that utilize headway, relative velocity and even acceleration from smooth ground truth information, rather than from realistic data. As a result, many results may be limited in their impact when considering the dynamics of the vehicle under control and the discretized nature of the laser data as well as its periodic arrival. Our approach discusses trade-offs in estimation accuracy to provide both distance and velocity estimates, with ground-truth hardware-in-the-loop tests with a robotic car. The contribution of the work enabled an experiment with 21 vehicles, including the robotic car closing the loop at up to 8.0 m/s with this filtered estimate, stressing the importance of an algorithm that can deliver real-time results with acceptable accuracy for the safety of the drivers in the experiment.
%B International Conference on Cyber-Physical Systems 2019 %7 10 %C Montreal, Canada %8 04/2019 %G eng %U https://dl.acm.org/citation.cfm?doid=3302509.3314026 %R 10.1145/3302509.3314026 %0 Conference Paper %B CAT Vehicle Research Experience for Undergraduates %D 2019 %T Safety and stability analysis of FollowerStopper %A Chris Kreienkamp %A Daniel Fishbein %A Rahul Bhadani %A Jonathan Sprinkle %K autonomous vehicles %K control systems %K intelligent transportation %X
In this paper, we demonstrate that the velocity controller, FollowerStopper, is safe and string unstable. FollowerStopper is a controller that is meant to be implemented on an autonomous vehicle or in an adaptive cruise control (ACC) system. Through mathematical proof, simulation in Simulink, and hardware in the loop implementation on a real autonomous vehicle through the Robot Operating System (ROS) and Gazebo, several results are achieved. It is found that an autonomous vehicle controlled by FollowerStopper will never crash. FollowerStopper will dissipate larger traffic waves from human-driven vehicles but will amplify smaller velocity perturbations that are created within the controller. Given the maximum LiDAR range of 81 m, FollowerStopper will never command a velocity greater than 13.69 m/s
%B CAT Vehicle Research Experience for Undergraduates %I The University of Arizona %C Tucson %8 08/2019 %G eng %U http://csl.arizona.edu/content/safety-and-stability-analysis-followerstopper %0 Journal Article %J Transportation Research Part C: Emerging Technologies %D 2019 %T Tracking vehicle trajectories and fuel rates in phantom traffic jams: Methodology and data %A Fangyu Wu %A Raphael E Stern %A Shumo Cui %A Maria Laura Dell Monache %A Rahul Bhadani %A Matthew Bunting %A Miles Churchill %A Nathaniel Hamilton %A Benedetto Piccoli %A Benjamin Seibold %A Jonathan Sprinkle %A Daniel B. Work %B Transportation Research Part C: Emerging Technologies %I Elsevier %V 99 %P 82–109 %G eng %U https://doi.org/10.1016/j.trc.2018.12.012 %R 10.1016/j.trc.2018.12.012 %0 Conference Paper %B International Conference on Cyber-Physical Systems %D 2019 %T WiP Abstract: String stability of commercial adaptive cruise control vehicles %A George Gunter %A Y. Yang %A Raphael E Stern %A Daniel B. Work %A Maria Laura Dell Monache %A Rahul Bhadani %A Matt Bunting %A Roman Lysecky %A Jonathan Sprinkle %A Benjamin Seibold %A Benedetto Piccoli %K Adaptive Cruise Control %K String Stability %X In this work, we conduct a series of car-following experiments with seven different ACC vehicles and use the collected data to model the car-following behavior of each vehicle. Using a linear stability analysis, the string stability of each tested vehicle is analyzed. Addition- ally, platoon experiments with platoons of up to eight identical vehicles are conducted to validate the stability findings. Previously, only one commercial ACC system has been evaluated for string stability. %B International Conference on Cyber-Physical Systems %G eng %U https://dl.acm.org/citation.cfm?id=3313325 %R 10.1145/3302509.3313325 %0 Generic %D 2018 %T The Arizona Ring Experiments Dataset (ARED) %A Fangyu Wu %A Raphael E Stern %A Shumo Cui %A Maria Laura Dell Monache %A Rahul Bhadani %A Matthew Bunting %A Miles Churchill %A Nathaniel Hamilton %A Fangyu Wu %A Benedetto Piccoli %A Benjamin Seibold %A Jonathan Sprinkle %A Daniel B. Work %G eng %U http://hdl.handle.net/1803/9358 %0 Conference Paper %B Proceedings 2nd International Workshop on Safe Control of Autonomous Vehicles (SCAV 2018), Porto, Portugal, Electronic Proceedings in Theoretical Computer Science %D 2018 %T The CAT Vehicle Testbed: A Simulator with Hardware in the Loop for Autonomous Vehicle Applications %A Rahul Bhadani %A Jonathan Sprinkle %A Matthew Bunting %K autonomous vehicles %K simulation %K testbed %B Proceedings 2nd International Workshop on Safe Control of Autonomous Vehicles (SCAV 2018), Porto, Portugal, Electronic Proceedings in Theoretical Computer Science %V 269 %8 04/2018 %G eng %9 Workshop %R 10.4204/EPTCS.269.4 %0 Conference Proceedings %B 57th IEEE Conference on Decision and Control %D 2018 %T Dissipation of Emergent Traffic Waves in Stop-and-Go Traffic Using a Supervisory Controller %A Rahul Bhadani %A Benedetto Piccoli %A Benjamin Seibold %A Jonathan Sprinkle %A Daniel B. Work %K autonomous vehicles %K CPS %K Traffic %XThis paper presents the use of a quadratic band controller in an autonomous vehicle (AV) to regulate emergent traffic waves resulting from traffic congestion. The controller dampens the emergent traffic waves through modulating its velocity according to the relative distance and velocity of the immediately preceding vehicle in the flow. At the same time, it prevents any collision within the range specified by the design parameters. The approach is based on a configurable quadratic band that allows smooth transitions between (i) no modification to the desired velocity; (ii) braking to match the speed of the preceding vehicle; and (iii) braking to avoid collision with the lead vehicle. By assuming that the lead vehicle's velocity will be oscillatory, the controller's smooth transition between modes permits any vehicle following the AV to have a smoother reference velocity. The configurable quadratic band allows design parameters, such as actuator and computation delays as well as the dynamics of vehicle deceleration, to be taken into account when constructing the controller. Experimental data, software-in-the-loop distributed simulation, and results from physical platform performance in an experiment with 21 human-driven vehicles are presented. Analysis shows that the design parameters used in constructing the quadratic band controller are met, and assumptions regarding the oscillatory nature of emergent traffic waves are valid.
%B 57th IEEE Conference on Decision and Control %I IEEE %C Fontainbleau, Miami Beach, USA %V 57 %G eng %U https://ieeexplore.ieee.org/document/8619700 %R 10.1109/CDC.2018.8619700 %0 Journal Article %J Transportation Research Part C %D 2018 %T Dissipation of stop-and-go waves via control of autonomous vehicles: Field experiments %A Raphael E Stern %A Shumo Cui %A Maria Laura Dell Monache %A Rahul Bhadani %A Matthew Bunting %A Miles Churchill %A Nathaniel Hamilton %A Hannah Pohlmann %A Fangyu Wu %A Benedetto Piccoli %A Benjamin Seibold %A Jonathan Sprinkle %A Daniel B. Work %K autonomous vehicles %K cyber physical systems %B Transportation Research Part C %V 89 %8 04/2018 %G eng %9 Journal %& 205-221 %R 10.1016/j.trc.2018.02.005 %0 Conference Paper %B IEEE Vehicular Network Conference %D 2018 %T A LiDAR Error Model for Cooperative Driving Simulations %A Michele Segata %A Renato Lo Cigno %A Rahul Bhadani %A Matthew Bunting %A Jonathan Sprinkle %K autonomous vehicles %K AV %K CAV %K LiDAR %K self-driving cars %K sensor %K VNC %XCooperative driving and vehicular network simulations have done huge steps toward high realism. They have become essential tools for performance evaluation of any kind of vehicular networking application. Yet, cooperative vehicular applications will not be built on top of wireless networking alone, but rather fusing together different data sources including sensors like radars, LiDARs, or cameras. So far, these sensors have been assumed to be ideal, i.e., without any measurement error. This paper analyzes a set of estimated distance traces obtained with a LiDAR sensor and develops a stochastic error model that can be used in cooperative driving simulations. After implementing the model within the PLEXE simulation framework, we show the impact of the model on a set of cooperative driving control algorithms.
%B IEEE Vehicular Network Conference %I IEEE %C Taipei, Taiwan %8 12/2018 %G eng %0 Conference Paper %B Proceedings of the 1st International Workshop on Safe Control of Connected and Autonomous Vehicles %D 2017 %T Controlling for Unsafe Events in Dense Traffic Through Autonomous Vehicles: Invited Talk Abstract %A Daniel B. Work %A Raphael E Stern %A Fangyu Wu %A Miles Churchill %A Shumo Cui %A Hannah Pohlmann %A Benjamin Seibold %A Benedetto Piccoli %A Rahul Bhadani %A Matthew Bunting %A Jonathan Sprinkle %A Maria Laura Dell Monache %A Nathaniel Hamilton %A Haulcy, R. %K Sugiyama experiment %K Traffic flow %B Proceedings of the 1st International Workshop on Safe Control of Connected and Autonomous Vehicles %I ACM %C New York, NY, USA %P 7–7 %@ 978-1-4503-4976-5 %G eng %U http://doi.acm.org/10.1145/3055378.3055380 %R 10.1145/3055378.3055380 %0 Conference Paper %B CAT Vehicle Research Experience for Undergraduates %D 2017 %T A Fuzzy based approach to Dampen Emergent Traffic Waves %A R'mani Haulcy %A Nathaniel Hamilton %A Rahul Bhadani %A Jonathan Sprinkle %A Daniel B. Work %A Nathalie Risso %A Benedetto Piccoli %A Maria Laura Dell Monache %A Benjamin Seibold %K Autonomous Systems %K Control System %XAdaptive Cruise Control (ACC) and Traffic Aware Cruise Control (TACC) are recent advancements in cruise control design that allow a semi-autonomous vehicle to slow itself when approaching vehicles. The issue with these technologies is that they focus on keeping the distance from a leading vehicle constant. This may lead to unwanted dynamics in the following traffic flow, could result in the creation of traveling waves. This paper focuses on maintaining a reference velocity based on the relative position of the preceding vehicle instead of slowing down to maintain a certain following distance. Doing so could reduce the amount of braking the vehicles behind the autonomous vehicle will do. With this kind of technology implemented, the number and duration of traffic jams could be greatly reduced. Simulation results and tests run on the University of Arizona's Cognitive Autonomous Test (CAT) Vehicle illustrate the feasibility and success of this new controller.
%B CAT Vehicle Research Experience for Undergraduates %I CAT Vehicle Research Experience for Undergraduates %C The University of Arizona %8 01/2017 %G eng %0 Conference Paper %B Proceedings of the 2017 IEEE International Conference on Automatica (ICA-ACCA) %D 2017 %T Fuzzy Control of an Autonomous Car using a Smart Phone %A Elizabeth A. Olson %A Nathalie Risso %A Adam M. Johnson %A Jonathan Sprinkle %B Proceedings of the 2017 IEEE International Conference on Automatica (ICA-ACCA) %I IEEE %P 1–5 %G eng %0 Journal Article %J ACM Transactions on Embedded Computing Systems (TECS) %D 2017 %T Task Transition Scheduling for Data-Adaptable Systems %A Nathan Sandoval %A Casey Mackin %A Sean Whitsitt %A Gopinath, Vijay Shankar %A Sachidanand Mahadevan %A Milakovich, Andrew %A Merry, Kyle %A Jonathan Sprinkle %A Roman Lysecky %K Data adaptability %K hardware/software codesign %K model-based design %K runtime transition scheduling %XData-adaptable embedded systems operate on a variety of data streams, which requires a large degree of configurability and adaptability to support runtime changes in data stream inputs. Data-adaptable reconfigurable embedded systems, when decomposed into a series of tasks, enable a flexible runtime implementation in which a system can transition the execution of certain tasks between hardware and software while simultaneously continuing to process data during the transition. Efficient runtime scheduling of task transitions is needed to optimize system throughput and latency of the reconfiguration and transition periods. In this article, we provide an overview of a runtime framework enabling the efficient transition of tasks between software and hardware in response to changes in system inputs. We further present and analyze several runtime transition scheduling algorithms and highlight the latency and throughput tradeoffs for two data-adaptable systems. To evaluate the task transition selection algorithms, a case study was performed on an adaptable JPEG2000 implementation as well as three other synchronous dataflow systems characterized by transition latency and communication load.
%B ACM Transactions on Embedded Computing Systems (TECS) %V 16 %P 105:1–105:28 %G eng %U http://doi.acm.org/10.1145/3047498 %R 10.1145/3047498 %0 Journal Article %J IEEE Transactions on Automation Science and Engineering %D 2016 %T Computationally-Aware Switching Criteria for Hybrid Model Predictive Control Of Cyber-Physical Systems %A Kun Zhang %A Jonathan Sprinkle %A Ricardo G. Sanfelice %B IEEE Transactions on Automation Science and Engineering %V 13 %P 479-490 %8 04/2016 %G eng %U http://dx.doi.org/10.1109/TASE.2016.2523341 %R 10.1109/TASE.2016.2523341 %0 Conference Paper %B ITRL Conference on Integrated Transport: Connected and Automated Transport Systems %D 2016 %T Dampening traffic waves with autonomous vehicles %A Raphael E Stern %A Fangyu Wu %A Miles Churchill %A Daniel B. Work %A Maria Laura Dell Monache %A Benedetto Piccoli %A Hannah Pohlmann %A Shumo Cui %A Benjamin Seibold %A Nathaniel Hamilton %A R’mani Haulcy %A Rahul Bhadani %A Matthew Bunting %A Jonathan Sprinkle %X In congested traffic, minor disturbances or fluctuations in the velocity of a single vehicle may induce dynamically evolving traffic waves such as stop-and-go waves. These waves cause vehicles upstream to slow down or stop before accelerating back to the desired speed, resulting in increases in fuel consumption and risk of collisions. This work postulates that by intelligently controlling a small number (e.g., 1-5%) of autonomous vehicles (AVs) soon to be present in the traffic flow, it is possible to dampen or completely remove these speed fluctuations in the entire traffic stream. By only making small changes to the way the AV drives compared to human drivers near the dynamic wave, we can significantly improves the smoothness of the overall traffic flow, and reduces fuel consumption of all vehicles on the road. Due to the inherent instability of dense traffic flow, small disturbances in the speed of individual vehicles can generate large-scale disturbances in the traffic stream in the form of waves. Uncontrolled, these waves will propagate indefinitely until the traffic density decreases and the instability dissipates. This phenomenon was first experimentally demonstrated in the famous ring road experiment of Sugiyama et al., 2008. In that experiment, 22 vehicles were driven on a circular track to demonstrate that the uniform initial traffic flow (uniform speed and spacing) quickly devolves into a stop-and-go wave with vehicles at one side of the track at a complete standstill, while vehicles at the other side of the track are racing to keep up with the vehicle in front of them. To learn effective AV control strategies to dampen these traffic waves we must accurately simulate traffic in the specific conditions under which these waves arise. This will allow us to study how traffic responds to different control mechanisms implemented by the AV mathematically from a control prospective as well as in simulation. In this work, a microscopic car following model is used to simulate traffic with a mix of human-controlled and autonomous vehicles. We model human traffic flow using the combined optimal-velocity follow-the-leader (OV-FTL). This model is calibrated using trajectories of vehicles under human driving behavior such that the macroscopic quantities (average velocity, wave growth time, wave propagation speed) match those quantities observed in the Sugiyama experiment. Note that thus, the microscopic model is calibrated to reproduce real traffic waves, which is not commonly done in the traffic modelling community. Using linear stability theory, this model is shown to be unstable, since it has positive-valued eigenvalues. These manifest themselves in the form of stop-and-go waves when the calibrated model is used to simulated individual vehicle’s trajectories in time. In order to calibrate more realistic models of human drivers in dense, unstable, traffic conditions, field experiments are conducted using between 12 and 22 vehicles at the University of Illinois in Urbana, Illinois to re-create the traffic waves observed in the Sugiyama experiment, and probe the state space of traffic conditions under which such traffic instabilities will arise. This data is then used to calibrate more realistic models of human driving behavior that cover a broader range of traffic conditions. All vehicles used in the experiments are equipped with onboard diagnostics (OBD-II) scanners to record the vehicle’s velocity, engine speed, fuel rate, and fuel consumption throughout the experiment. This provides additional data that allows us to compare fuel consumption in traffic with stop-and-go waves to uniformly-flowing traffic. Furthermore, the trajectory of each vehicle is tracked using a 360-degree panoramic camera located at the center of the circular track. To begin, this research addresses the case of the 22-vehicle system recorded in the Sugiyama experiment and augment it by replacing one of the vehicles with an AV, which provides actuation in the system since it can be controlled to drive arbitrarily smoothly within the constraints set by the vehicle immediately in front of it. To apply linear stability theory, this augmented system is then linearized about an equilibrium traffic flow. We then use a feedback controller and pole placement to stabilize the system, and prevent traffic waves from emerging. Results from simulating the stabilized system in time indicate that a single AV using realistic control gains is able to dampen traffic waves in a 22-vehicle system without decreasing the average speed. The societal implications of this work are broad since most drivers experience delays and increased fuel consumption due to unstable and non-uniformly flowing traffic. While complete automation of the entire vehicle fleet may be many years away, in the short term, it is likely that some vehicles will be capable of driving autonomously in the near future. This research demonstrates then even with only a small percentage of vehicles driving autonomously, it is possible alter the traffic flow and prevent instabilities from arising. This results are lower fuel consumption and a shorter driving time not only for the autonomous vehicles, but all vehicles in the traffic stream. %B ITRL Conference on Integrated Transport: Connected and Automated Transport Systems %G eng %0 Conference Proceedings %B International Conference on InfoSymbiotics/DDDAS, 2016 %D 2016 %T Model-based Fuzzy Logic Classifier Synthesis for Optimization of Data-Adaptable Embedded Systems %A Adrian Lizarraga %A Roman Lysecky %A Jonathan Sprinkle %B International Conference on InfoSymbiotics/DDDAS, 2016 %C Hartford, CT %P 293-302 %G eng %R 10.1109/COMPSAC.2016.156 %0 Conference Paper %B COMPSAC %D 2016 %T Model-driven Optimization of Data-Adaptable Embedded Systems %A Adrian Lizarraga %A Roman Lysecky %A Jonathan Sprinkle %XComplex sensing and decision applications such as object tracking and classification, video surveillance, unmanned aerial vehicle flight decisions, and others operate on vast data streams with dynamic characteristics. As the availability and quality of the sensed data changes, the underlying models and decision algorithms should continually adapt in order to meet desired high-level requirements. Due to the complexity of such dynamic data-driven systems, traditional design time techniques are often incapable of producing a solution that remains optimal in the face of dynamically changing data, algorithms, and even availability of computational resources. To assist developers of these systems, we present a modeling and optimization methodology that enables developers to capture application task flows and data sources, define associated quality metrics with data types, specify each algorithm’s data and quality requirements, and define a data quality estimation framework to optimize the application at runtime. We demonstrate each facet of the modeling and optimization process via a video-based vehicle tracking and collision avoidance application, and show how such an approach results in efficient design space exploration when selecting the optimal set of algorithm modalities. When searching for an application configuration within 1% to 5% of optimal, our model-guided approach can achieve speedups of up to 9.3X versus a standard genetic algorithm and speedups of up to 80X relative to a brute force algorithm.
%B COMPSAC %I IEEE %P 293-302 %G eng %U http://dx.doi.org/10.1109/COMPSAC.2016.156 %R 10.1109/COMPSAC.2016.156 %0 Conference Paper %B 2016 IEEE 40th Annual Computer Software and Applications Conference (COMPSAC) %D 2016 %T Model-Driven Optimization of Data-Adaptable Embedded Systems %A Adrian Lizarraga %A Roman Lysecky %A Jonathan Sprinkle %B 2016 IEEE 40th Annual Computer Software and Applications Conference (COMPSAC) %I IEEE %G eng %0 Conference Proceedings %B WInnComm %D 2016 %T Power Efficient Vehicular Ad Hoc Networks %A Sterling Holcomb %A Audrey Knowlton %A Juan Guerra %A Hamed Asadi %A Haris Volos %A Jonathan Sprinkle %A Tamal Bose %X Inter-vehicular communication is a growing plat- form for improving roadway safety. The highly mobile nature of Vehicle to Vehicle communications causes rapid changes in network topologies and propagation conditions. Since the advent of Vehicular Ad-Hoc Networks (VANETs), over fifty routing protocols with attendant topologies have been proposed. Despite these protocols’ merits, many of them are not optimized for power management and frequency reuse. Our approach utilizes the one dimensional dynamic of divided highways to simplify the routing problem and reduce energy consumption. Since each car is aware of only two types of connections, up-road and down-road, we can form low power, line of sight links between adjacent vehicles. We also utilize a fuzzy logic algorithm that predicts the location of up-road cars to reduce interference from request for link signals. Once these links have been established, up-road vehicles send data down-road for a length of time based on the relative speed of the two vehicles. After this time period has expired the down-road vehicle must request additional information, restarting the timer. Data sent through the network will include information on up-road vehicles, and when required, messages such as accident notifications, alerts, and traffic warnings. Through simulation, we show that our approach to VANETs maintains its update frequency despite bumper to bumper traffic and uses two to five orders of magnitude less power than an IEEE 802.11 network with clustering and 1 mW transmit power. Overall, the network performs well and is a viable improvement to the standard. %B WInnComm %C Reston, VA %P 26-31 %8 03/2016 %G eng %0 Conference Paper %B AIMS %D 2016 %T Robust Control of Autonomous Vehicle Trajectories %A Jonathan Sprinkle %A Rahul Bhadani %A Shumo Cui %A Benjamin Seibold %XIn this paper we describe a robust treatment of tracking trajectories with an autonomous vehicle. In employing autonomous behaviors for traffic control there will inevitably be disturbances introduced through model error, non-planar surfaces, sensor noise, and delay in both sensing and actuation. We describe how we address these issues through robust control techniques. The trajectories we follow include position and orientation as part of their specification: but the most interesting aspect of these trajectories is the time-varying description of the state. This is opposed to a traditional approach of following a trajectory at any speed (with expected error in all dimensions of the state vector), as long as the speed does not exceed a maximum value. However, for traffic control to reduce traffic waves, most of the dampening approaches are time-varying trajectories. With this in mind, it becomes necessary to consider the delay of following the reference trajectory, and how this may affect drivers in the flow. We include simulation data demonstrating the results, as well as data from a full-sized robotic Ford Escape.
%B AIMS %8 07/2016 %G eng %0 Conference Paper %B Proceedings of the International Workshop on Domain-Specific Modeling (DSM 2016) %D 2016 %T A Safe Autonomous Vehicle Trajectory Domain Specific Modeling Language For Non-Expert Development %A Matthew Bunting %A Yegeta Zeleke %A Kennon McKeever %A Jonathan Sprinkle %B Proceedings of the International Workshop on Domain-Specific Modeling (DSM 2016) %I ACM %C Amsterdam, Netherlands %P 42–48 %G eng %U http://doi.acm.org/10.1145/3023147.3023154 %R 10.1145/3023147.3023154 %0 Conference Paper %B 2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS) %D 2016 %T WiP Abstract: Stabilizing traffic with a single autonomous vehicle %A Raphael E Stern %A Daniel B. Work %A Shumo Cui %A Hannah Pohlmann %A Benjamin Seibold %A Maria Laura Dell Monache %A Benedetto Piccoli %A Jonathan Sprinkle %B 2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS) %P 1-1 %G eng %U http://dx.doi.org/10.1109/ICCPS.2016.7479130 %R 10.1109/ICCPS.2016.7479130 %0 Conference Paper %B Wireless Innovation Forum Conference on Wireless Communication Technologies and Software Defined Radio (WInnComm) %D 2015 %T Adaptive Multifactor Routing with Constrained Data Sets %A Torger Miller %A Cody Ross %A Matheus Marques Barbosa %A Mohammed Hirzallah %A Haris Volos %A Jonathan Sprinkle %XAutonomous Vehicles can benefit greatly from the use of cellular infrastructure. Consequently, it may be desirable at times to consider the availability of this infrastructure when planning autonomous vehicle routes. In order to make such decisions it is necessary to have up-to-date knowledge of signal strength in surrounding areas. We consider the quality of routing possible when using incomplete knowledge of signal strength along a route. As our motivation for how signal strength information would be constrained we consider Vehicle to Vehicle communications. Such communications offer great promise in creating real-time signal maps through a decentralized data collection and aggregation process. One might envision such a process involving the transfer of signal reception information between cars within an area. Such a process, while low-latency and low-cost, could suffer from limited data availability beyond relatively short ranges. In order to route based on signal strength we employ a weighting formula to combine distance and signal strength into a single cost quantity. Then, we apply this formula to a city grid map with signal strength information. We replace the distance values with the formula’s aggregate cost values. The cost values are then presented to a shortest path routing algorithm to determine the lowest cost path. Finally, we simulate a vehicle which regularly updates a signal map of its surroundings and continuously updates its route in response. The costs of its chosen path and the cost of the ideal path are then recorded. In order to rigorously test our routing formula’s performance with varying degrees of information we employ a Matlab program that randomly generates thousands of city signal maps to run the routing formula and algorithms on. The routing algorithms are run with route signal knowledge between 0% and 100%. We chart the average ratio between partial knowledge and full knowledge path costs. We consider the performance of a variety of algorithms and conclude that using Dijkstra we may produce routes that are 95% optimal using a signal knowledge window only 1/10 of our total route size. These results indicate the potential for excellent routing even when V2V communication can only offer highly constrained data sets. However, the use of random maps potentially weakens our results as real world signal maps tend to be patterned and non-random. Such patterns are extremely problematic as there is great potential for scenarios that do not occur frequently in a randomly generated map and that require extensive map knowledge. For example, the need to find an exit to a signal dead-zone One might view our randomized maps as presenting the signal knowledge limited algorithm a series of local minima optimization problems. In a random map with extremely high signal value variance there is likely to be a variety of immediately visible signal dead-zones and strong signal zones that all have small sizes and are consistently intermixed. As a result, a knowledge limited algorithm can easily avoid a high cost path by moving between small strong signal zones while avoiding the interspersed dead zones with little advanced knowledge. We expect that the most relevant metric for signal formula routing performance may be the ratio between the median size of extreme signal zones and the size of the signal knowledge window. This ratio directly determines the ability of the path cost minimization algorithm to solve path cost as a series of local minima. In order to test the potential value of this metric we tweak our random map generation algorithm to assign a random signal values to increasing numbers of intersections. For example, we might assign each random value to 4x4 intersection grids. Then, we would apply that single value to 8x8 grids. This modification allows us to directly alter the size of extreme signal zones and test the performance of the routing algorithm as extreme signal zones outsize the size of the signal knowledge window
%B Wireless Innovation Forum Conference on Wireless Communication Technologies and Software Defined Radio (WInnComm) %C San Diego, CA %8 03/2015 %G eng %0 Journal Article %J Autonomous Robots %D 2015 %T Computationally-Aware Control of Autonomous Vehicles: A Hybrid Model Predictive Control Approach %A Kun Zhang %A Jonathan Sprinkle %A Ricardo G. Sanfelice %B Autonomous Robots %P 503-517 %G eng %U http://dx.doi.org/10.1007/s10514-015-9469-5 %R 10.1007/s10514-015-9469-5 %0 Conference Proceedings %D 2015 %T DSM 2015: Proceedings of the Workshop on Domain-Specific Modeling %A Jeffrey Gray %A Jonathan Sprinkle %A Juka-Pekka Tolvanen %A Matti Rossi %I ACM %C New York, NY, USA %@ 978-1-4503-3903-2 %G eng %0 Conference Paper %B Proceedings of the Workshop on Domain-Specific Modeling %D 2015 %T Experience Report: Constraint-based Modeling of Autonomous Vehicle Trajectories %A Kennon McKeever %A Yegeta Zeleke %A Matthew Bunting %A Jonathan Sprinkle %K Autonomous Systems %K cyber-physical systems %K metamodeling %B Proceedings of the Workshop on Domain-Specific Modeling %I ACM %C New York, NY, USA %P 17–22 %@ 978-1-4503-3903-2 %G eng %U http://doi.acm.org/10.1145/2846696.2846706 %R 10.1145/2846696.2846706 %0 Conference Paper %B International Conference on Cyber-Physical Systems (ICCPS) %D 2015 %T A Hybrid Model Predictive Controller for Path Planning and Path Following %A Kun Zhang %A Jonathan Sprinkle %A Ricardo G. Sanfelice %XThe use of nonlinear model-predictive methods for path planning and following has the advantage of concurrently solving problems of obstacle avoidance, feasible trajectory selection, and trajectory following, while obeying constraints on control inputs and state values.
However, such approaches are computationally intensive, and may not be guaranteed to return a result in bounded time when performing a nonconvex optimization. This problem is an interesting application to cyber-physical systems due to their reliance on computation to carry out complex control. The computational burden can be addressed through model reduction, at a cost of potential (bounded) model error over the prediction horizon. In this paper we introduce a metric called uncontrollable divergence, and discuss how the selection of the model to use for the predictive controller can be addressed by evaluating this metric, which reveals the divergence between predicted and true states caused by return time and model mismatch. A map of uncontrollable divergence plotted over the state space gives the criterion to judge where reduced models can be tolerated when high update rate is preferred (e.g. at high speed and small steering angles), and where high-fidelity models are required to avoid obstacles or make tighter curves (e.g. at large steering angles). With this metric, we design a hybrid controller that switches at runtime between predictive controllers in which respective models are deployed.
Domain-specific modeling languages effectively constrain struc- tural concepts, but constraints that are not easily captured with structural constraints are still important to fix at design time. In practice these kinds of constraints are implicitly left to be carried out by the domain modelers. This paper explores the process of in- corporating system behavioral (not just structural) constraints into a DSML, and studies the way of generating feasible transformation solutions if those constraints fail, based on a transformation library constructed in advance. Our approach is to carry out the verifica- tion process through code generation, but utilize the results of veri- fication as an input to a model transformation generator. The output transformation then operates on the original model. As a case study, we applied the approach to finite state machine (FSM) models that control a cyber-physical system.
%B The 14th Workshop on Domain-Specific Modeling %P 1-6 %8 2014 %G eng %U http://dx.doi.org/10.1145/2688447.2688448 %R 10.1145/2688447.2688448 %0 Journal Article %J IEEE Transactions on Control Systems Technology %D 2014 %T A Data-Driven Linear Approximation of HVAC Utilization for Predictive Control and Optimization %A Xiao Qin %A Susan Lysecky %A Jonathan Sprinkle %B IEEE Transactions on Control Systems Technology %V 99 %P 1 %G eng %U http://dx.doi.org/10.1109/TCST.2014.2332873 %R 10.1109/TCST.2014.2332873 %0 Conference Paper %B The 14th Workshop on Domain-Specific Modeling %D 2014 %T Generating Model Transformations for Mending Dynamic Constraint Violations in Cyber Physical Systems %A Sean Whitsitt %A Jonathan Sprinkle %A Roman Lysecky %XCyber physical systems by definition involve design constraints addressing the computation and communication necessary to control physical systems. These systems have been modeled using domain specific modeling languages, but some limitations exist in the continued application of such a modeling approach to more complex, or safety-critical, systems. Specifically, it is well known how to formulate constraints in a domain-specific modeling language in order to prevent users from building invalid structures, but existing constraint-based techniques do not take into consideration design requirements that may require analysis in the physical domain (i.e. dynamic constraints). Those analysis results, when interpreted by a domain expert, can inform changes to the model: unfortunately, this process does not scale. This paper presents an approach to integrating dynamic constraints that cannot be enforced using structural model constraints. The technique uses expert blocks to analyze systems and generates model transformations specific to the system using the results of those analyses to fix constraint violations. The paper describes a Dynamic Constraint Feedback (DCF) methodology for integrating this technique into existing systems from a generic perspective. Specific examples in this paper are derived from the domain of data adaptable reconfigurable embedded systems (DARES).
%B The 14th Workshop on Domain-Specific Modeling %P 35-40 %8 2014 %G eng %U http://dx.doi.org/10.1145/2688447.2688454 %R 10.1145/2688447.2688454 %0 Conference Paper %B International Conference on Electronics, Communications, and Networks %D 2014 %T A Heterogeneity Based Method to Identify Major Variability Components %A Fahd Shaikh %A Wei He %A Jonathan Sprinkle %A K. Chen %A Janet Roveda %B International Conference on Electronics, Communications, and Networks %C Beijing %8 12/2014 %G eng %0 Conference Paper %B American Control Conference %D 2014 %T A Hybrid Controller for Autonomous Vehicle Lane Changing with Epsilon Dragging %A Sean Whitsitt %A Jonathan Sprinkle %XTrajectory control for a ground vehicle typically utilizes the error from the desired path or trajectory (i.e., crosstrack error) to produce velocity and steering commands. If an obstacle is in the path, previous techniques have synthesized a new trajectory that avoids the obstacles, and the vehicle directly follows this new path. This approach has drawbacks at high velocity, because the synthesized trajectory must satisfy the stability criteria of the vehicle. This paper introduces a technique which we call epsilon dragging The approach modifies the existing trajectory by some value ε in order to avoid an obstacle at high speeds, while preserving the original trajectory as the desired path. Epsilon dragging is performed by inducing an additional error to the crosstrack error of the vehicle; this induced error can be bounded in order to stay within the velocity/turnrate profile that governs safe behavior at high speeds. The paper provides a method to construct epsilon such that a vehicle can avoid an obstacle at high speeds without the need to verify the trajectory’s curvature before it is synthesized. The technique is demonstrated in completing a lane-change maneuver at different velocities, and verifying that the velocity/turnrate profiles are not exceeded.
%B American Control Conference %I IEEE %C Portland, Oregon %P 5307-5312 %8 06/2014 %G eng %U http://dx.doi.org/10.1109/ACC.2014.6859450 %R 10.1109/ACC.2014.6859450 %0 Journal Article %J Energy Systems %D 2014 %T A Modular Framework to Enable Rapid Evaluation and Exploration of Energy Management Methods in Smart Home Platforms %A Xiao Qin %A Lin Lin %A Susan Lysecky %A Janet Roveda %A Young-Jun Son %A Jonathan Sprinkle %XNumerous efforts focus on developing smart grid and smart home plat- forms to provide monitoring, management, and optimization solutions. In order to more effectively manage energy resources, a holistic view is needed; however the involved platforms are complex and require integration of a multitude of parameters such as the end-user behavior, underlying hardware components, environment, etc., many of which operate on varying time scale at various levels of detail. A general and modular framework is presented to enable designers to focus on modeling, simulating, analyzing, or optimizing specific sub-components without requiring a detailed imple- mentation across all levels. We incorporate two case studies in which the proposed framework is utilized to help an end user evaluate platform configurations given an energy usage model, as well as integrate an energy optimization module to investigate rescheduling of appliance usage times in an effort to lower cost.
Robotic systems have truly benefitted from standardized middleware that can componentize the development of new capabilities for a robot. The popularity of these robotic middleware systems has resulted in sizable libraries of components that are now available to roboticists. However, many robotic systems (such as autonomous vehicles) must adhere to externally defined standards that are not blessed with such a large repository of components. Due to the real-time and safety concerns that accompany the domain of unmanned systems, it is not trivial to interface these middleware systems, and previous attempts to do so have succeeded at the cost of ad hoc design and implementation. This paper describes a domain-specific approach to the synthesis of a bridge between the popular Robotic Operating System (ROS) and the Joint Architecture for Unmanned Systems (JAUS). The domain-specific nature of the approach permits the bridge to be limited in scope by the application’s specific messages (and their attribute mappings between JAUS/ROS), resulting in smaller code size and overhead than would be incurred by a generic solution. Our approach is validated by tests performed on an unmanned vehicle with and without the JAUS/ROS bridge.
%B Proceedings of the 2013 ACM workshop on Domain-specific modeling (DSM ’13) %I ACM %C Indianapolis, IN %P 13-18 %G eng %U http://dx.doi.org/10.1145/2541928.2541931 %R 10.1145/2541928.2541931 %0 Conference Paper %B Engineering of Computer Based Systems (ECBS), 2013 20th IEEE International Conference and Workshops on the %D 2013 %T How You Can Learn to Stop Worrying and Love Reconfigurable Embedded Systems: A Tutorial %A Nathan Sandoval %A Casey Mackin %A Roman Lysecky %A Jonathan Sprinkle %K C++ language %K C/C++ code %K codesign %K Computers %K Conferences %K data streams %K embedded hardware %K embedded systems %K Hardware %K hardware tasks %K hardware-software codesign %K image processing algorithms %K JPEG2000 standards %K middleware %K middleware framework %K modeling infrastructure %K reconfigurable embedded systems %K runtime behaviors %K software tasks %K software tool %K software tools %K Transform coding %K Tutorials %B Engineering of Computer Based Systems (ECBS), 2013 20th IEEE International Conference and Workshops on the %P 213-214 %8 April %G eng %R 10.1109/ECBS.2013.27 %0 Conference Paper %B Engineering of Computer Based Systems (ECBS), 2013 20th IEEE International Conference and Workshops on the %D 2013 %T Mobile Device Software: Model-Based Architectures and Examples %A Jonathan Sprinkle %K API %K application program interfaces %K canonical UML models %K Computational modeling %K computer science education %K Computers %K Conferences %K high-level software concepts %K mobile computing %K mobile device apps %K mobile device programming %K mobile device software %K Mobile handsets %K model-based architectures %K model-based design %K model-based examples %K object-oriented programming %K Software %K software architecture %K software engineering %K terminology points %K Tutorials %K unclear starting points %K Unified modeling language %B Engineering of Computer Based Systems (ECBS), 2013 20th IEEE International Conference and Workshops on the %P 215 %8 April %G eng %R 10.1109/ECBS.2013.28 %0 Conference Paper %B 20th IEEE International Conference and Workshops on the Engineering of Computer Based Systems %D 2013 %T Model Based Development with the Skeleton Design Method %A Sean Whitsitt %A Jonathan Sprinkle %A Roman Lysecky %B 20th IEEE International Conference and Workshops on the Engineering of Computer Based Systems %P 12-19 %G eng %U http://dx.doi.org/10.1109/ECBS.2013.16 %R 10.1109/ECBS.2013.16 %0 Conference Paper %B Engineering of Computer Based Systems (ECBS), 2013 20th IEEE International Conference and Workshops on the %D 2013 %T Model-Based Software Synthesis for Self-Reconfigurable Sensor Network in Water Monitoring %A Kun Zhang %A Jonathan Sprinkle %K accelerometers %K Code Generation %K communication task %K computation task %K Computational modeling %K concurrent engineering %K concurrent tasks specification %K control tasks %K cyber-physical systems %K domain-specific modeling language %K drifters %K embedded programming %K environmental monitoring (geophysics) %K environmental science computing %K floating sensor testbed %K formal specification %K Global Positioning System %K GPS sensors %K hand-written code %K Instruction sets %K mobile computing %K mobile phone %K mobile radio %K mobile sensing platforms %K model-based software synthesis %K model-integrated computing %K program compilers %K Programming %K self-reconfigurable sensor network %K Smart phones %K software synthesis %K ubiquitous mobile device %K Unified modeling language %K water flow monitoring %K wireless sensor networks %B Engineering of Computer Based Systems (ECBS), 2013 20th IEEE International Conference and Workshops on the %P 40-48 %8 April %G eng %U http://dx.doi.org/10.1109/ECBS.2013.34 %R 10.1109/ECBS.2013.34 %0 Journal Article %J AIAA Journal of Aerospace Information Systems %D 2013 %T Modeling Autonomous Systems %A Sean Whitsitt %A Jonathan Sprinkle %B AIAA Journal of Aerospace Information Systems %V 10 %P 396-413 %G eng %U http://dx.doi.org/10.2514/1.I010039 %R 10.2514/1.I010039 %0 Conference Paper %B International Conference on Field-Programmable Technology (ICFPT) %D 2013 %T Runtime Hardware/Software Task Transition Scheduling for Runtime-Adaptable Embedded Systems %A Nathan Sandoval %A Casey Mackin %A Sean Whitsitt %A Roman Lysecky %A Jonathan Sprinkle %B International Conference on Field-Programmable Technology (ICFPT) %P 342-345 %G eng %U http://dx.doi.org/10.1109/FPT.2013.6718382 %R 10.1109/FPT.2013.6718382 %0 Conference Paper %B Engineering of Computer Based Systems (ECBS), 2013 20th IEEE International Conference and Workshops on the %D 2013 %T System Throughput Optimization and Runtime Communication Middleware Supporting Dynamic Software-Hardware Task Migration in Data Adaptable Embedded Systems %A Nathan Sandoval %A Casey Mackin %A Sean Whitsitt %A Roman Lysecky %A Jonathan Sprinkle %K combinatorial explosion %K Data adaptability %K data adaptable design methodology %K data adaptable embedded systems %K data configurations %K data handling %K Data models %K data profile correlation %K design time optimization %K dynamic software-hardware task migration %K embedded systems %K Field programmable gate arrays %K FIFO queues %K Firing %K Hardware %K hardware accelerators %K hardware-software codesign %K hardware-software communication wrapper %K hardware/software codesign %K hardware/software communication middleware %K heuristic programming %K heuristic search methodology %K middleware %K model-based design %K Pareto optimal configurations %K Pareto optimisation %K Runtime %K runtime communication middleware %K search problems %K simulation-based methodology %K system throughput optimization %B Engineering of Computer Based Systems (ECBS), 2013 20th IEEE International Conference and Workshops on the %P 59-68 %8 April %G eng %R 10.1109/ECBS.2013.25 %0 Conference Paper %B Proceedings of the 3rd Annual Conference on Systems, Programming, and Applications: Software for Humanity %D 2012 %T The 12th Workshop on Domain-specific Modeling %A Juka-Pekka Tolvanen %A Jonathan Sprinkle %A Matti Rossi %A Jeffrey Gray %K Code Generation %K domain-specific languages %K metamodeling %K modeling languages %B Proceedings of the 3rd Annual Conference on Systems, Programming, and Applications: Software for Humanity %I ACM %C New York, NY, USA %@ 978-1-4503-1563-0 %G eng %U http://doi.acm.org/10.1145/2384716.2384784 %R 10.1145/2384716.2384784 %0 Conference Paper %B Engineering of Computer Based Systems (ECBS), 2012 IEEE 19th International Conference and Workshops on %D 2012 %T Automated Software Generation and Hardware Coprocessor Synthesis for Data-Adaptable Reconfigurable Systems %A Milakovich, Andrew %A Vijay Gopinath %A Roman Lysecky %A Jonathan Sprinkle %K Data adaptability %K hardware/software codesign %K model-based design %XWe present an overview of a data-adaptable reconfigurable embedded systems design methodology. The paper presents a novel paradigm for hardware/software code sign and reconfigurable computing driven by data-adaptability. The data-adaptable approach allows designers to directly model the data configurability of the target application, thereby enabling a solution that permits dynamic reconfiguration based on the data profile of the incoming data stream. This approach permits low-power, small form-factor hardware implementations of algorithms that might otherwise consume significant resources, or perhaps exceed the available space of the reconfigurable hardware.
%B Engineering of Computer Based Systems (ECBS), 2012 IEEE 19th International Conference and Workshops on %P 15-23 %G eng %U http://dx.doi.org/10.1109/ECBS.2012.16 %R 10.1109/ECBS.2012.16 %0 Conference Paper %B Proceedings of the 19th IEEE International Conference and Workshops on Engineering of Computer-Based Systems %D 2012 %T On the Extraction and Analysis of a Social Network with Partial Organizational Observation %A Sean Whitsitt %A Abishek Gopalan %A Sangman Cho %A Jonathan Sprinkle %A Srinivasan Ramasubramanian %A Liana Suantak %A Jerzy Rozenblit %XThe behavior of an organization may be inferred based on the behavior of its members, their contacts, and their connectivity. One approach to organizational analysis is the construction and interpretation of a social network graph, where entities of an organization (persons, vehicles, locations, events, etc.) are nodes, and edges represent varying kinds of connectivity between entities. This paper describes a transformation based approach to the extraction of a social network graph, where the original data comprising (partial) observation of the organization are embedded on a graph with a different ontology, and with many entities and edges that are unrelated to the organization of interest. Social network extraction allows the inference of implied relationships, and the selection of relationships relevant for intended analysis techniques. The analysis of the resulting social network graph is based on organizational and individual analysis, in order to permit an advanced user to draw conclusions regarding the behavior of the organization, based on established social network graph metrics. The results of the paper include a discussion of the complexity of analysis, and how the observation data graph is pruned in order to scale the application of analysis algorithms.
%B Proceedings of the 19th IEEE International Conference and Workshops on Engineering of Computer-Based Systems %P 249-256 %G eng %U http://dx.doi.org/10.1109/ECBS.2012.33 %R 10.1109/ECBS.2012.33 %0 Journal Article %J Electronic Communications of the European Association of Software Science and Technology (EASST) %D 2012 %T A generic in-place transformation-based approach to structured model co-evolution %A Bart Meyers %A Manuel Wimmer %A Antonio Cicchetti %A Jonathan Sprinkle %X In MDE not only models but also metamodels are subject to evolution. More specifically, they need to be adapted to correct errors, support new and/or update language features. The direct consequence of such evolutionary steps comprises the problem of managing the co-evolution of existing model instances, which may no longer conform to the new metamodel version. This model migration is intrinsically complex and results in a time-consuming and error-prone process if no adequate support is provided. For tackling this problem, we introduce a new technique to guide the user in solving migration issues in a step-wise manner. The aims are manifold, notably the simplification of the migration specification, the reduction of the effort for the evolver, the control of user intervention, and the optimization of the migration execution itself by allowing in-place adaptation of the existing instances. %B Electronic Communications of the European Association of Software Science and Technology (EASST) %I ECEASST %V 42 %P 1–13 %8 April %G eng %U http://journal.ub.tu-berlin.de/eceasst/article/view/608 %0 Conference Paper %B The 2012 Workshop on Variability Modeling and Characterization (VMC) %D 2012 %T Identifying key components of variability using Energy based Control %A Fahd Shaikh %A Wei He %A Jonathan Sprinkle %A Janet Meiling Wang-Roveda %X This paper proposes a method to estimate the reliability of a circuit based on the energy distribution of that circuit. A circuit with a widespread energy distribution is more unreliable in comparison with one with uniform energy distribution. A gate within a circuit that has a major contribution to energy distribution will have a greater impact on the variability within the circuit as opposed to a component with a minor contribution. %B The 2012 Workshop on Variability Modeling and Characterization (VMC) %P 2 pages %G eng %0 Conference Proceedings %D 2012 %T ME ’12: Proceedings of the 6th International Workshop on Models and Evolution %E Tamzalit, Dalila %E Bernhard Schätz %E Jonathan Sprinkle %E Pierantonio, Alfonso %I ACM %C New York, NY, USA %@ 978-1-4503-1798-6 %G eng %0 Journal Article %J Software and Systems Modeling %D 2012 %T Metamodel-Based Metrics for Complexity of Using a DSML %A Jonathan Sprinkle %B Software and Systems Modeling %V TBD %P (in preparation) %G eng %0 Journal Article %J tbd %D 2012 %T Model-Based Configuration of a Heterogeneous Human-in-the-loop Command and Control Simulation Environment %A Diyang Chu %A Jacob Gulotta %A Jonathan Sprinkle %A Himanshu Neema %A Harmon Nine %A Nicholas Kottenstette %A Graham Hemingway %A Janos Sztipanovits %B tbd %V tbd %P (in preparation) %G eng %0 Conference Proceedings %D 2012 %T MPM ’12: Proceedings of the 6th International Workshop on Multi-Paradigm Modeling %E Hardebolle, Cécile %E Syriani, Eugene %E Jonathan Sprinkle %E Mészáros, Tamás %I ACM %C New York, NY, USA %@ 978-1-4503-1805-1 %G eng %0 Conference Paper %B International Workshop on Multi-Paradigm Modeling (MPM) %D 2012 %T An Overseer Control Methodology for Data Adaptable Embedded Systems %A Sean Whitsitt %A Jonathan Sprinkle %A Roman Lysecky %B International Workshop on Multi-Paradigm Modeling (MPM) %P 1-6 %8 08/2012 %G eng %U http://dx.doi.org/10.1145/2508443.2508448 %R 10.1145/2508443.2508448 %0 Conference Paper %B 51st IEEE Conference on Decision and Control %D 2012 %T A Passenger Comfort Controller for an Autonomous Ground Vehicle %A Sean Whitsitt %A Jonathan Sprinkle %B 51st IEEE Conference on Decision and Control %P 3380-3385 %G eng %U http://dx.doi.org/10.1109/CDC.2012.6426049 %R 10.1109/CDC.2012.6426049 %0 Conference Proceedings %B 3rd Annual Conference on Systems, Programming, and Applications: Software for Humanity %D 2012 %T Proceedings of the 12th Workshop on Domain-specific Modeling %A Juka-Pekka Tolvanen %A Jonathan Sprinkle %A Matti Rossi %A Jeffrey Gray %B 3rd Annual Conference on Systems, Programming, and Applications: Software for Humanity %I ACM %C New York, NY, USA %8 10/2012 %G eng %0 Journal Article %J AIAA Journal of Guidance, Control, and Dynamics %D 2012 %T Reachability Calculations for Vehicle Safety during Manned/Unmanned Vehicle Interaction %A Jerry Ding %A Jonathan Sprinkle %A Claire Tomlin %A S. Shankar Sastry %A James L. Paunicka %B AIAA Journal of Guidance, Control, and Dynamics %V 35 %P 138-152 %G eng %U http://dx.doi.org/10.2514/1.53706 %R 10.2514/1.53706 %0 Conference Paper %B Proceedings of the 6th International Workshop on Multi-Paradigm Modeling %D 2012 %T Summary of the 6th International Workshop on Multi-Paradigm Modeling (MPM’12) %A Hardebolle, Cécile %A Syriani, Eugene %A Jonathan Sprinkle %A Mészáros, Tamás %K heterogeneous modeling %K metamodeling %K model driven engineering %K multi-modeling %K multi-paradigm modeling %B Proceedings of the 6th International Workshop on Multi-Paradigm Modeling %I ACM %C New York, NY, USA %@ 978-1-4503-1805-1 %G eng %U http://doi.acm.org/10.1145/2508443.2508444 %R 10.1145/2508443.2508444 %0 Journal Article %J IEEE Transactions on Control Systems Technology %D 2012 %T Switched and Symmetric Pursuit/Evasion Games With Online Model Predictive Control %A J. Mikael Eklund %A Jonathan Sprinkle %A S. Shankar Sastry %XThis paper describes a supervisory controller for pursuit and evasion of two fixed-wing autonomous aircraft. Novel contributions of the work include the real-time use of model- predictive control, specifically nonlinear model predictive tracking control, for predictions of the vehicle under control, as well as predictions for the adversarial aircraft. In addition to this inclusion, the evasive controller is a hybrid system, providing switching criteria to change modes to become a pursuer based on the current and future state of the vehicle under control, and that of the adversarial aircraft. Results of the controller for equally matched platforms in actual flight tests against a US Air Force trained F-15 test pilot are given. Extensive simulation analysis of the symmetric games is provided, including regressive analysis based on initial conditions of height advantage, and relative velocity vectors, and in particular the effect of allowing the evading aircraft to switch modes between "evader" and "pursuer" during the game.
%B IEEE Transactions on Control Systems Technology %V 20 %P 604-620 %G eng %U http://dx.doi.org/10.1109/TCST.2011.2136435 %R 10.1109/TCST.2011.2136435 %0 Conference Paper %B Proceedings of the ACM International Conference Companion on Object Oriented Programming Systems Languages and Applications Companion %D 2011 %T The 11th Workshop on Domain-specific Modeling %A Juka-Pekka Tolvanen %A Jonathan Sprinkle %A Matti Rossi %A Jeffrey Gray %K Code Generation %K domain-specific languages %K metamodeling %K modeling languages %B Proceedings of the ACM International Conference Companion on Object Oriented Programming Systems Languages and Applications Companion %I ACM %C New York, NY, USA %@ 978-1-4503-0942-4 %G eng %U http://doi.acm.org/10.1145/2048147.2048227 %R 10.1145/2048147.2048227 %0 Conference Paper %B Proceedings of the Compilation of the Co-located Workshops on DSM'11, TMC'11, AGERE! 2011, AOOPES'11, NEAT'11, & VMIL'11 %D 2011 %T The 11th Workshop on Domain-specific Modeling %A Juka-Pekka Tolvanen %A Jonathan Sprinkle %A Jeffrey Gray %A Matti Rossi %K Code Generation %K domain-specific languages %K metamodeling %K modeling languages %B Proceedings of the Compilation of the Co-located Workshops on DSM'11, TMC'11, AGERE! 2011, AOOPES'11, NEAT'11, & VMIL'11 %I ACM %C New York, NY, USA %@ 978-1-4503-1183-0 %G eng %U http://doi.acm.org/10.1145/2095050.2095052 %R 10.1145/2095050.2095052 %0 Conference Paper %B Proceedings of the compilation of the co-located workshops on DSM’11, TMC’11, AGERE!’11, AOOPES’11, NEAT’11, &\#38; VMIL’11 %D 2011 %T autoVHDL: a domain-specific modeling language for the auto-generation of VHDL core wrappers %A Erica Jones %A Jonathan Sprinkle %K code synthesis %K domain-specific modeling %K embedded systems %K reconfigurable computing %XReconfigurable embedded hardware is a staple of many applications in defense technology and applied engineering. The integration of various embedded hardware "cores" (i.e., the computing units) is complicated by the unintended complexities inherent in the consistent and correct construction of communication pathways–-specified using VHDL. This paper presents a domain-specific modeling approach to reducing this complexity. The results include demonstration of the tool, where generated VHDL code with complex data and processing requirements is simulated.
%B Proceedings of the compilation of the co-located workshops on DSM’11, TMC’11, AGERE!’11, AOOPES’11, NEAT’11, &\#38; VMIL’11 %S SPLASH ’11 Workshops %I ACM %C New York, NY, USA %P 71–76 %@ 978-1-4503-1183-0 %G eng %U http://dx.doi.org/10.1145/2095050.2095063 %R 10.1145/2095050.2095063 %0 Conference Paper %B Proceedings of the compilation of the co-located workshops on DSM’11, TMC’11, AGERE!’11, AOOPES’11, NEAT’11, & VMIL’11 %D 2011 %T Constrained data acquisition for mobile citizen science applications %A Sean Whitsitt %A Armando Barreto %A Maribel Hudson %A Hussain Al-Helal %A Diyang Chu %A Kamel Didan %A Jonathan Sprinkle %K citizen scientist %K domain-specific modeling %K iphone %K mobile phone programming %XThe popularity and ubiquity of personal mobile computing devices–-coupled with their powerful sensing capabilities–-allow their application in the structured collection of data for societal benefit and science applications. Citizen scientists are willing users and active contributors to scientific research and applications, but if they gather data in an unconstrained or ad hoc manner, their efforts may be of little scientific value. In this paper, we present a user interface for a mobile device which is properly constrained to permit the gathering of valid scientific data. This helps to achieve the goal that any individual with a basic familiarity of the device (but not of the science) should be able to obtain useful data with little learning required. As a use case for this concept, we present a mobile application that allows users to collect location-stamped images to supplement satellite data for climate change research.
%B Proceedings of the compilation of the co-located workshops on DSM’11, TMC’11, AGERE!’11, AOOPES’11, NEAT’11, & VMIL’11 %S SPLASH ’11 Workshops %I ACM %C New York, NY, USA %P 267–272 %@ 978-1-4503-1183-0 %G eng %U http://dx.doi.org/10.1145/2095050.2095095 %R 10.1145/2095050.2095095 %0 Conference Paper %B Proceedings of the 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems %D 2011 %T Hardware/Software Communication Middleware for Data Adaptable Embedded Systems %A Sachidanand Mahadevan %A Vijay Gopinath %A Roman Lysecky %A Jonathan Sprinkle %A Jerzy Rozenblit %A Michael Marcellin %XRecent trends toward increased flexibility and configurability in emerging applications present demanding challenges for implementing systems that incorporate such capabilities. The resulting application configuration space is generally much larger than any one hardware implementation can support. We provide an overview of a new data-adaptive approach to the rapid design and implementation of such highly configurable applications. In support of this data-adaptable approach, we present and detail an efficient and flexible hardware/software communication middleware to support the seamless communication between hardware and software tasks at runtime. We highlight the flexibility of this interface and present an initial case study and results demonstrating the performance capabilities and area requirements.
%B Proceedings of the 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems %I IEEE Computer Society Press %P 34-43 %G eng %U http://dx.doi.org/10.1109/ECBS.2011.12 %R 10.1109/ECBS.2011.12 %0 Conference Paper %B Proceedings of the 8th IEEE Workshop on Model-Based Development for Computer-Based Systems %D 2011 %T Message Modeling for the Joint Architecture for Unmanned Systems (JAUS) %A Sean Whitsitt %A Jonathan Sprinkle %X The Joint Architecture for Unmanned Systems (JAUS) is a standard for sensing, control, and computational communication of components for unmanned systems. This paper presents a modeling environment capable of producing a domain-specific prototype of the software necessary for inter-computer communications. A metamodel is used to provide the domain-specific modeling language to model both the messages used in JAUS, and the shell interfaces for components that transmit and receive those messages. The produced artifacts are C and C++ code that can be used in unmanned systems and simulations of such systems, including tests that validate the structure and behavior of the generated code. The generated code is compatible with standard JAUS implementations, and is validated using the OpenJAUS open source API and framework. Future work describes the second spiral of features and behaviors (currently in the design phase). The case study and test environment for the software generated by this project is an autonomous ground vehicle, modeled on a Ford Escape Hybrid that is used in laboratory experiments. %B Proceedings of the 8th IEEE Workshop on Model-Based Development for Computer-Based Systems %P 251–259 %8 April %G eng %U http://dx.doi.org/10.1109/ECBS.2011.17 %R 10.1109/ECBS.2011.17 %0 Conference Paper %B Proceedings of the 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems %D 2011 %T On the Mitigation of MultiCore-Induced Behavioral Deviations of an Autonomous Ground Vehicle %A Jonathan Sprinkle %A Brandon Eames %XComplex systems such as autonomous vehicles frequently utilize a distributed network of computers for sensing, control, and supervisory tasks. A common way to abstract the deployment of the computational nodes that implement the system’s behavior is through the utilization of middleware, which treats each atomic processing element as a component. Multiple components may execute on a single node, and nodes are typically heterogeneous in their processing power. For component implementations that use an event-driven model of computation, however, significant behavioral deviations may occur when a single-core computational node is replaced with a multicore node, especially if that computational node is running more than one component. This paper discusses the observed behavioral deviations through a series of simulations with identical initial conditions, performed on various single core and multicore processing platforms. In addition to the empirical demonstration, the paper provides a technique to mitigate the behavioral deviations by inserting a time-triggered buffer between a key set of components, enforcing a loosely time-triggered execution even though the system is still defined through event-triggered components. This preserves existing legacy code, but provides a time-triggered execution.
%B Proceedings of the 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems %I IEEE %P 159-168 %G eng %U http://dx.doi.org/10.1109/ECBS.2011.29 %R 10.1109/ECBS.2011.29 %0 Conference Paper %B Proceedings of the 8th IEEE Workshop on Model-Based Development for Computer-Based Systems %D 2011 %T Modeling of Data Adaptable Reconfigurable Embedded Systems %A Vijay Gopinath %A Jonathan Sprinkle %A Roman Lysecky %XMany applications require high flexibility, high configurability and high processing speeds. The physical constraints of a highly flexible system’s hardware implementation preclude a hardware solution that satisfies all configuration options. Similarly for pure software implementations, even if configurability is satisfied, process efficiency will be sacrificed. Thus for applications of any significant size, there can be no single hardware or software configuration that can efficiently support all the configurability options of the applications. The Data-Adaptable Reconfigurable Embedded System (DARES) approach tackles this problem through combination of the hardware-software co-design and reconfigurable computing methodologies. Data-adaptability means that as data streams change, the system is reconfigured along the baselines defined within the system’s specifications. In this project we use the concepts of Model-Integrated Computing to implement a domain-specific modeling language for the DARES approach. The language captures all the configurability options of the application task(s), performs design-space exploration, and provides a template for source code generation.
%B Proceedings of the 8th IEEE Workshop on Model-Based Development for Computer-Based Systems %P 276-285 %8 April %G eng %U http://dx.doi.org/10.1109/ECBS.2011.31 %R 10.1109/ECBS.2011.31 %0 Conference Proceedings %B ACM International Conference Companion on Object Oriented Programming Systems Languages and Applications %D 2011 %T Proceedings of the 11th Workshop on Domain-Specific Modeling %A Juka-Pekka Tolvanen %A Jonathan Sprinkle %A Matti Rossi %A Jeffrey Gray %B ACM International Conference Companion on Object Oriented Programming Systems Languages and Applications %I ACM %C Portland, OR %G eng %0 Conference Proceedings %D 2011 %T Proceedings of the 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems %A Jonathan Sprinkle %A Sterritt, Roy %A Breitman, Karin %I IEEE Computer Society %C Las Vegas, NV %P 292 %8 2011 %G eng %0 Conference Paper %B Proceedings of the 8th IEEE Workshop on Model-Based Development for Computer-Based Systems %D 2011 %T Simplification of Semantically-Rich Model Transformations Through Generated Transformation Blocks %A Maribel Hudson %A Jonathan Sprinkle %X This paper demonstrates a novel concept for the simplification of model transformations in which composite or complex objects are inserted into an existing model through a well-defined interface. The technique utilizes a model transformation from the domain of the modeling language into the domain of model transformation languages. The user specifies these semantically rich blocks using the original domain-specific modeling language. Then, a transformation generates the necessary model transformation graph to create an instance of the semantically rich, user-defined pattern. Users insert these generated patterns into their customized transformations. The approach is helpful for endogenous transformations in which existing objects may be refactored. It will also serve as a teaching tool for users who are unfamiliar with model transformations: specifically how to represent a newly-created model in the transformation domain. Finally, the approach is designed to reduce specification errors of model transformations in which new (semantically rich) blocks are inserted at key points, as the correctness of the semantically rich blocks is guaranteed, based on their construction in the original domain. %B Proceedings of the 8th IEEE Workshop on Model-Based Development for Computer-Based Systems %P 260-268 %8 April %G eng %U http://dx.doi.org/10.1109/ECBS.2011.28 %R 10.1109/ECBS.2011.28 %0 Conference Paper %B Proceedings of the compilation of the co-located workshops on DSM’11, TMC’11, AGERE!’11, AOOPES’11, NEAT’11, &\#38; VMIL’11 %D 2011 %T Teaching students to learn to learn mobile phone programming %A Jonathan Sprinkle %K learning styles %K mobile phone programming %K software engineering %X This paper describes experiences of the instructor of a course dealing with mobile phone programming. This instance of the course (offered yearly since 2010) reuses the academic content of a traditional software engineering course, but requires mobile phone application development for concrete deliverables that exemplify competency of the academic concepts of the course. The paper describes the tradeoffs between teaching the material vs. students learning the material, group dynamics and constraints, as well as technical recommendations for faculty who are considering offering a course that concentrates on mobile phone applications. %B Proceedings of the compilation of the co-located workshops on DSM’11, TMC’11, AGERE!’11, AOOPES’11, NEAT’11, &\#38; VMIL’11 %S SPLASH ’11 Workshops %I ACM %C New York, NY, USA %P 261–266 %@ 978-1-4503-1183-0 %G eng %U http://dx.doi.org/10.1145/2095050.2095094 %R 10.1145/2095050.2095094 %0 Journal Article %J Innovations in Systems and Software Engineering %D 2011 %T Time-Triggered Buffers for Event-Based Middleware Systems %A Jonathan Sprinkle %A Brandon Eames %XApplication developers utilizing event-based middleware have sought to leverage domain-specific modeling for the advantages of intuitive specification, code synthesis, and support for design evolution. For legacy and cyber-physical systems, the use of event-based middleware may mean that changes in computational platform can result anomalous system behavior, due to the presence of implicit temporal dependencies. These anomalies are a function not of the component implementation, but of the model of computation employed for supporting system composition. In order to address these behavioral anomalies, the paper presents an approach where time-based blocks are inserted into the system to account for the temporal dependencies. An advantage of capturing the system composition in a domain-specific modeling language is the ability to efficiently refactor an application to include time-triggered, event-based schedulers. This paper describes how an existing event-based component topology can be modified to permit a time triggered model of computation, with no changes to the existing component software. Further, the time-triggered components can be deployed alongside standard publish/subscribe methodologies. This strategy is beneficial to the maintenance of existing legacy systems upon upgrade, since the current operational mode could be maintained with minimal changes to the legacy software even under changes to the target platform which alter execution speed. These time-triggered layers are discussed in three permutations: fully triggered, start triggered and release triggered. A discussion is provided regarding the limitations of each approach, and a brief example is given. The example shows how to apply these triggering approaches without the modification of existing components, but instead through the insertion of triggered buffers between legacy components.
%B Innovations in Systems and Software Engineering %I Springer London %V 7 %P 9–22 %G eng %U http://dx.doi.org/10.1007/s11334-010-0139-7 %R 10.1007/s11334-010-0139-7 %0 Conference Proceedings %D 2010 %T 10th Workshop on Domain-Specific Modeling (DSM’10) %E Matti Rossi %E Juka-Pekka Tolvanen %E Jonathan Sprinkle %E Steven Kelly %I OOPSLA/SPLASH %8 October %G eng %0 Conference Paper %B Proceedings of the 10th Workshop on Domain-Specific Modeling %D 2010 %T Analysis of a metamodel to estimate complexity of using a domain-specific language %A Jonathan Sprinkle %K metamodel %K metric %K usability %K user interface %B Proceedings of the 10th Workshop on Domain-Specific Modeling %S DSM ’10 %I ACM %C New York, NY, USA %P 13:1–13:6 %@ 978-1-4503-0549-5 %G eng %U http://dx.doi.org/10.1145/2060329.2060359 %R 10.1145/2060329.2060359 %0 Conference Paper %B Phenology Research and Observations of Southwest Ecosystems Symposium (PROSE) %D 2010 %T Citizen Science in Support of Vegetation Index and Phenology Research %A Sean Whitsitt %A Armando Barreto %A Sundaresh Ram %A Hussain Al-Helal %A Maribel Hudson %A Diyang Chu %A Jonathan Sprinkle %A Kamel Didan %XVegetation indices (VIs) are simple transformations of images into proxy measures of greenness and vegetation health and change over time. They are also used to derive information about the land surface phenology status, providing extensive spatial coverage and direct support for global ecosystem models. These measurements however contain large uncertainties and errors. A new suite of mobile devices, equipped with geo-location, image capture, and transmission capabilities could aid with vegetation phenology observations and documentation. The iPhone, with its wide distribution and array of sensors, can contribute significantly to the field of citizen science. In this project we are developing an end-to-end system for the collection, processing, and visualization of land surface vegetation phenology. The system consists of a client-server application and a Google Earth based visualization model. The client side (an iPhone app) intuitively guides the observer to capture up to three images per location: a close-up image of leaves, flowers, or fruits, an individual plant image, and a panoramic landscape image. The iPhone automatically embeds location, orientation, date/time, and other metadata with the images and allows the observer to add text comments. The images are then transmitted to the server, where they are validated, post-processed, archived, and made available to the interactive visualization system. The images are separated into primary colors and processed into a greenness index comparable to the classical VI. These measurements are then plotted against satellite based VI time series to aid in their validation and the characterization of the location phenology. With this effort we hope to recruit global observers into contributing to the field of land surface vegetation change detection and characterization.
%B Phenology Research and Observations of Southwest Ecosystems Symposium (PROSE) %8 October %G eng %0 Book Section %B Model-Based Engineering of Embedded Real-Time Systems %D 2010 %T Metamodelling %A Jonathan Sprinkle %A Bernhard Rumpe %A Hans Vangheluwe %A Gábor Karsai %B Model-Based Engineering of Embedded Real-Time Systems %S Lecture Notes in Computer Science %I Springer %V 6100 %P 59–78 %G eng %U http://www.springer.com/computer/swe/book/978-3-642-16276-3 %& 4 %0 Book Section %B Model-Based Engineering of Embedded Real-Time Systems %D 2010 %T Model Evolution and Management %A Tíhamer Levendovszky %A Bernhard Rumpe %A Bernhard Schätz %A Jonathan Sprinkle %A Hans Vangheluwe %B Model-Based Engineering of Embedded Real-Time Systems %S Lecture Notes in Computer Science %I Springer %V 6100 %P 243–272 %G eng %U http://www.springer.com/computer/swe/book/978-3-642-16276-3 %& 10 %0 Conference Paper %B Seventh IEEE International Conference and Workshops on Engineering of Autonomic and Autonomous Systems (EAsE 2010) %D 2010 %T Modeling Languages Applied to Decision Controllers for Embedded Human Systems %A Jonathan Sprinkle %A Diyang Chu %B Seventh IEEE International Conference and Workshops on Engineering of Autonomic and Autonomous Systems (EAsE 2010) %I IEEE %P 129–136 %8 March %G eng %U http://dx.doi.org/10.1109/EASe.2010.24 %R 10.1109/EASe.2010.24 %0 Journal Article %J International Journal of Micro Air Vehicles %D 2010 %T Simulations and Flight Experiments of Transition Maneuvers of a VTOL Micro Air Vehicle %A Diyang Chu %A Jonathan Sprinkle %A Ryan Randall %A Sergey Shkarayev %B International Journal of Micro Air Vehicles %V 2 %P 69–89 %8 June %G eng %U http://dx.doi.org/10.1260/1756-8293.2.2.69 %R 10.1260/1756-8293.2.2.69 %0 Conference Paper %B 17th IEEE Conference on the Engineering of Computer Based Systems %D 2010 %T UAV Search : Maximizing Target Acquisition %A Hussain Al-Helal %A Jonathan Sprinkle %B 17th IEEE Conference on the Engineering of Computer Based Systems %I IEEE %P 9–19 %8 March %G eng %U http://dx.doi.org/10.1109/ECBS.2010.9 %R 10.1109/ECBS.2010.9 %0 Conference Proceedings %D 2009 %T 9th OOPSLA Workshop on Domain-Specific Modeling (DSM’09) %E Matti Rossi %E Jonathan Sprinkle %E Jeffrey Gray %E Juka-Pekka Tolvanen %I OOPSLA %8 October %G eng %U http://hsepubl.lib.hse.fi/FI/publ/hse/b108 %0 Conference Paper %B AIAA Guidance, Navigation and Control Conference %D 2009 %T Automatic Control of VTOL Micro Air Vehicle During Transition Maneuver %A Diyang Chu %A Jonathan Sprinkle %A Ryan Randall %A Sergey Shkarayev %B AIAA Guidance, Navigation and Control Conference %I AIAA %P 16 pages %8 August %G eng %U http://pdf.aiaa.org/preview/CDReadyMGNC09_1998/PV2009_5875.pdf %0 Journal Article %D 2009 %T A Community Report of the 2008 High Confidence Transportation Cyber-Physical Systems (HCTCPS) Workshop %A Radha Poovendran %A Raj Rajkumar %A David Corman %A Jim Paunicka %A William P. Milam %A K Venkatesh Prasad %A Shige Wang %A Jim Barhorst %A Christopher Gill %A Sandeep Gupta %A Krishna Sampigethaya %A Jonathan Sprinkle %A Doug Stuart %A Wayne Wolf %A Rahul Mangharam %C High Confidence Transportation Cyber-Physical Systems (HCTCPS) %8 July 22 %G eng %U http://www.ee.washington.edu/research/nsl/aar-cps/ %0 Journal Article %D 2009 %T Fundamental Limitations in Domain-Specific Language Evolution %A Jonathan Sprinkle %A Jeffrey Gray %A Marjan Mernik %XIn this paper we address language engineering issues surrounding domain-specific modeling languages (DSMLs). By definition, such languages track the domain, meaning that changes to the domain require changes to the DSML in order to provide an intuitive specification of domain-specific programs or models. For this work, our primary focus is on fundamental limitations that affect the preservation of semantics during domain model evolution. We specifically address fundamental limitations in semantics-preserving transformations, and/or the implementation of algorithms that specify such transformations. This work has profound implications for language engineers who are planning for the maintenance of models, or designing model transformations for the purpose of preserving semantics. We provide a brief representative example from the discipline of hybrid systems, where such results can be interpreted.
%I University of Arizona %C 1230 E. Speedway Blvd., Bldg. 104 %8 August %G eng %U http://www.ece.arizona.edu/ sprinkjm/wiki/uploads/Publications/sprinkle-tse2009-domainevolution-submitted.pdf %0 Journal Article %J IEEE Software %D 2009 %T Guest Editors’ Introduction: What Kinds of Nails Need a Domain-Specific Hammer? %A Jonathan Sprinkle %A Marjan Mernik %A Juka-Pekka Tolvanen %A Diomidis Spinellis %B IEEE Software %I IEEE Computer Society %C Los Alamitos, CA, USA %V 26 %P 15-18 %G eng %U http://dx.doi.org/10.1109/MS.2009.92 %R 10.1109/MS.2009.92 %0 Conference Paper %B 9th OOPSLA Workshop on Domain-Specific Modeling %D 2009 %T Model-Based Autosynthesis of Time-Triggered Buffers for Event-Based Middleware Systems %A Jonathan Sprinkle %A Brandon Eames %B 9th OOPSLA Workshop on Domain-Specific Modeling %P 119–124 %8 October %G eng %U http://www.dsmforum.org/events/DSM09/Papers/Sprinkle.pdf %0 Journal Article %J Software and Systems Modeling %D 2009 %T Model-based design: a report from the trenches of the DARPA Urban Challenge %A Jonathan Sprinkle %A J. Mikael Eklund %A Humberto Gonzalez %A Esten Ingar Grøtli %A Ben Upcroft %A Alex Makarenko %A Will Uther %A Michael Moser %A Robert Fitch %A Hugh Durrant-Whyte %A S. Shankar Sastry %X The impact of model-based design on the software engineering community is impressive, and recent research in model transformations, and elegant behavioral specifications of systems has the potential to revolutionize the way in which systems are designed. Such techniques aim to raise the level of abstraction at which systems are specified, to remove the burden of producing application-specific programs with general-purpose programming. For complex real-time systems, however, the impact of model-driven approaches is not nearly so widespread. In this paper, we present a perspective of model-based design researchers who joined with software experts in robotics to enter the DARPA Urban Challenge, and to what extent model-based design techniques were used. Further, we speculate on why, according to our experience and the testimonies of many teams, the full promises of model-based design were not widely realized for the competition. Finally, we present some thoughts for the future of model-based design in complex systems such as these, and what advancements in modeling are needed to motivate small-scale projects to use model-based design in these domains. %B Software and Systems Modeling %I Springer Berlin / Heidelberg %V 8 %P 551-566 %8 September %G eng %U http://dx.doi.org/10.1007/s10270-009-0116-5 %R 10.1007/s10270-009-0116-5 %0 Journal Article %J Electronic Communications of the European Association of Software Science and Technology (EASST) %D 2009 %T Synthesizing Executable Simulations from Structural Models of Component-Based Systems %A Andreas Schuster %A Jonathan Sprinkle %B Electronic Communications of the European Association of Software Science and Technology (EASST) %V 21 %P 10 pages %G eng %U http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/289/280 %0 Conference Paper %B IEEE International Conference on the Engineering of Computer-Based Systems %D 2009 %T Using Integrative Models in an Advanced Heterogeneous System Simulation %A Jacob Gulotta %A Diyang Chu %A Ximing Yu %A Hussain Al-Helal %A Tapasya Patki %A Jason Hansen %A Maribel Hudson %A Jonathan Sprinkle %B IEEE International Conference on the Engineering of Computer-Based Systems %I IEEE Computer Society %C Los Alamitos, CA, USA %P 3-10 %@ 978-0-7695-3602-6 %G eng %U http://doi.ieeecomputersociety.org/10.1109/ECBS.2009.42 %R 10.1109/ECBS.2009.42 %0 Conference Proceedings %D 2008 %T 8th OOPSLA Workshop on Domain-Specific Modeling (DSM’08) %E Jeffrey Gray %E Jonathan Sprinkle %E Matti Rossi %E Juka-Pekka Tolvanen %I OOPSLA %8 October %G eng %U http://www.dsmforum.org/events/DSM08/Papers/DSM08-proceedings.pdf %0 Conference Paper %B 47th IEEE Conference on Decision and Control %D 2008 %T Reachability Calculations for Automated Aerial Refueling %A Jerry Ding %A Jonathan Sprinkle %A S. Shankar Sastry %A Claire J. Tomlin %B 47th IEEE Conference on Decision and Control %P 3706-3712 %8 December %G eng %U http://dx.doi.org/10.1109/CDC.2008.4738998 %R 10.1109/CDC.2008.4738998 %0 Journal Article %D 2008 %T Recovering Models of a Four-Wheel Vehicle Using Vehicular System Data %A Jonathan Sprinkle %A J. Mikael Eklund %A Humberto Gonzalez %A Esten Ingar Grøtli %A Pannag R Sanketi %A Michael Moser %A S. Shankar Sastry %XThis paper discusses efforts to parameterize the actuation models of a four-wheel automobile for the purposes of closed-loop control. As a novelty, the authors used the equipment already available or in use by the vehicle, rather than expensive equipment used solely for the purpose of system identification. After rudimentary measurements were taken of wheelbase, axle width, etc., the vehicle was driven and data were captured using a controller area network (CAN) interface. Based on this captured data, we were able to estimate the feasibility of certain closed-loop controllers, and the models they assumed (i.e., linear, or nonlinear) for control. Examples were acceleration and steering. This work served to inform the separation of differences in simulation and vehicle behavior during vehicle testing.
%I University of California, Berkeley %8 August %G eng %U http://chess.eecs.berkeley.edu/pubs/405.html %0 Conference Paper %B AAET: Automation, Assistance, and Embedded Systems for Transportation %D 2008 %T Transitioning Control and Sensing Technologies from Fully-autonomous Driving to Driver Assistance Systems %A Humberto Gonzalez %A Esten I. Grøtli %A Todd R. Templeton %A Jan O. Biermeyer %A Jonathan Sprinkle %A S. Shankar Sastry %B AAET: Automation, Assistance, and Embedded Systems for Transportation %I Technical University, Braunschweig %8 February 13–14 %G eng %0 Conference Paper %B The 8th OOPSLA Workshop on Domain-Specific Modeling %D 2008 %T Using Integrative Modeling for Advanced Heterogeneous System Simulation %A Tapasya Patki %A Hussain Al-Helal %A Jacob Gulotta %A Jason Hansen %A Jonathan Sprinkle %B The 8th OOPSLA Workshop on Domain-Specific Modeling %P 80-85 %8 October 19-20 %G eng %U http://www.dsmforum.org/events/DSM08/Papers/14-Patki.pdf %0 Conference Proceedings %D 2007 %T 7th OOPSLA Workshop on Domain-Specific Modeling (DSM’07) %E Jonathan Sprinkle %E Jeffrey Gray %E Matti Rossi %E Juka-Pekka Tolvanen %I OOPSLA %C Jyväskylä, Finland %8 October %G eng %U http://www.dsmforum.org/events/DSM07/Papers.html %0 Journal Article %D 2007 %T DARPA Urban Challenge Technical Paper: Sydney-Berkeley Driving Team %A Ben Upcroft %A Michael Moser %A Alexi Makarenko %A David Johnson %A Ashod Donikan %A Alen Alempijevic %A Robert Fitch %A William Uther %A Jan Biermeyer %A Humberto Gonzalez %A Esten Ingar Grøtli %A Todd Templeton %A Vason P. Srini %A Jonathan Sprinkle %I University of Sydney; University of Technology, Sydney; University of California, Berkeley %8 June %G eng %U http://chess.eecs.berkeley.edu/pubs/379.html %0 Book Section %B Handbook of Dynamic System Modeling %D 2007 %T Domain-Specific Modeling %A Jeffrey Gray %A Juka-Pekka Tolvanen %A Steven Kelly %A Aniruddha Gokhale %A Sandeep Neema %A Jonathan Sprinkle %E Paul A. Fishwick %B Handbook of Dynamic System Modeling %I Chapman & Hall/CRC %P 7-1–7-20 %G eng %& 7 %0 Conference Paper %B AVT-146 Symposium on "Platform Innovations and System Integration for Unmanned Air, Land and Sea Vehicles" %D 2007 %T Transitioning Intelligence to Embedded Platforms %A J. Mikael Eklund %A Jonathan Sprinkle %A Todd Templeton %A S. Shankar Sastry %B AVT-146 Symposium on "Platform Innovations and System Integration for Unmanned Air, Land and Sea Vehicles" %S Applied Vehicle Technology %I NATO %8 May %G eng %U http://handle.dtic.mil/100.2/ADA478691 %0 Conference Proceedings %D 2006 %T 6th OOPSLA Workshop on Domain-Specific Modeling (DSM’06) %E Juka-Pekka Tolvanen %E Jeffrey Gray %E Jonathan Sprinkle %I OOPSLA %C Jyväskylä, Finland %8 October %G eng %0 Journal Article %D 2006 %T Model Based Systems Engineering %A Jonathan Sprinkle %G eng %0 Conference Proceedings %D 2005 %T 5th OOPSLA Workshop on Domain-Specific Modeling (DSM’05) %E Juka-Pekka Tolvanen %E Jonathan Sprinkle %E Matti Rossi %I OOPSLA %C Jyväskylä, Finland %8 October %G eng %0 Conference Paper %B 2005 IEEE Computational Systems Bioinformatics Conference, Controlling Complexity %D 2005 %T Computing Inverse MEG Signals in the Brain %A J. Mikael Eklund %A Ruzena Bajcsy %A Jonathan Sprinkle %A Gregory V. Simpson %B 2005 IEEE Computational Systems Bioinformatics Conference, Controlling Complexity %P 332–335 %8 August %G eng %U http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1540637 %0 Conference Paper %B Proceedings of American Control Conference (ACC) 2005 %D 2005 %T Deciding to Land a UAV Safely in Real Time %A Jonathan Sprinkle %A J. Mikael Eklund %A S. Shankar Sastry %B Proceedings of American Control Conference (ACC) 2005 %P 3506–3511 %8 June %G eng %U http://dx.doi.org/10.1109/ACC.2005.1470516 %R 10.1109/ACC.2005.1470516 %0 Conference Paper %B 12th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems %D 2005 %T Fault Tolerant Data Flow Modeling Using the Generic Modeling Environment %A Mark L. McKelvin, Jr %A Jonathan Sprinkle %A Claudio Pinello %A Alberto Sangiovanni-Vincentelli %B 12th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems %P 229–235 %8 April %G eng %U http://dx.doi.org/10.1109/ECBS.2005.38 %R 10.1109/ECBS.2005.38 %0 Journal Article %J Journal of Object Technology %D 2005 %T Generative Components for Hybrid Systems Tools %A Jonathan Sprinkle %B Journal of Object Technology %V 4 %P 35–40 %8 April %G eng %U http://www.jot.fm/issues/issue_2005_04/article5 %0 Conference Paper %B Proceedings of American Control Conference (ACC) 2005 %D 2005 %T Implementing and Testing a Nonlinear Model Predictive Tracking Controller for Aerial Pursuit Evasion Games on a Fixed Wing Aircraft %A J. Mikael Eklund %A Jonathan Sprinkle %A S. Shankar Sastry %B Proceedings of American Control Conference (ACC) 2005 %P 1509–1514 %8 June %G eng %U http://dx.doi.org/10.1109/ACC.2005.1470179 %R 10.1109/ACC.2005.1470179 %0 Conference Paper %B 27th Annual International Conference of the IEEE Engineering In Medicine and Biology Society (EMBS) %D 2005 %T Information Technology for Assisted Living at Home: Building a Wireless Infrastructure for Assisted Living %A J. Mikael Eklund %A Thomas Risgaard Hansen %A Jonathan Sprinkle %A S. Shankar Sastry %B 27th Annual International Conference of the IEEE Engineering In Medicine and Biology Society (EMBS) %S Innovation from Biomolecules to Biosystems %P 3931–3934 %8 September %G eng %U http://dx.doi.org/10.1109/IEMBS.2005.1615321 %R 10.1109/IEMBS.2005.1615321 %0 Journal Article %J Innovations in Systems and Software Engineering %D 2005 %T Online Safety Calculations for Glideslope Recapture %A Jonathan Sprinkle %A Aaron D. Ames %A J. Mikael Eklund %A Ian Mitchell %A S. Shankar Sastry %B Innovations in Systems and Software Engineering %V 1 %P 157–175 %8 September %G eng %U http://dx.doi.org/10.1007/s11334-005-0017-x %R 10.1007/s11334-005-0017-x %0 Conference Paper %B 44th IEEE Conference on Decision and Control and European Control Conference ECC 2005 (CDC-ECC’05) %D 2005 %T On the Partitioning of Syntax and Semantics For Hybrid Systems Tools %A Jonathan Sprinkle %A Aaron D. Ames %A Alessandro Pinto %A Haiyang Zheng %A S. Shankar Sastry %B 44th IEEE Conference on Decision and Control and European Control Conference ECC 2005 (CDC-ECC’05) %P 4694–4699 %8 December %G eng %U http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1582903 %0 Generic %D 2005 %T User’s Guide to the PublicationsDatabase %A Jonathan Sprinkle %7 v.5.7.11 %8 July %G eng %U http://www.eecs.berkeley.edu/ sprinkle/work/pubdb/ %0 Conference Paper %B 3rd European Medicine, Biology and Engineering Conference %D 2005 %T Using smart sensors and a camera phone to detect and verify the fall of elderly persons %A Hansen, T.R. %A Eklund, J.M. %A Jonathan Sprinkle %A Bajcsy, R. %A Sastry, S. %B 3rd European Medicine, Biology and Engineering Conference %G eng %0 Conference Paper %B IEEE Aerospace Conference, Verification and Validation %D 2005 %T Using the Hybrid Systems Interchange Format to Input Design Models to Verification & Validation Tools %A Jonathan Sprinkle %A Omid Shakernia %A Robert Miller %A S. Shankar Sastry %B IEEE Aerospace Conference, Verification and Validation %P 1–6 %8 March %G eng %U http://dx.doi.org/10.1109/AERO.2005.1559595 %0 Conference Proceedings %D 2004 %T 4th OOPSLA Workshop on Domain-Specific Modeling (DSM’04) %E Juka-Pekka Tolvanen %E Jonathan Sprinkle %E Matti Rossi %I OOPSLA %C Jyväskylä, Finland %8 October %G eng %U http://www.dsmforum.org/events/DSM04/Proceedings-DSM04.zip %0 Journal Article %J Journal of Visual Languages and Computing %D 2004 %T A Domain-Specific Visual Language for Domain Model Evolution %A Jonathan Sprinkle %A Gábor Karsai %B Journal of Visual Languages and Computing %V 15 %P 291-307 %8 June %G eng %U http://dx.doi.org/10.1016/j.jvlc.2004.01.006 %0 Conference Paper %B Proceedings of the 43rd IEEE Conference on Decision and Control %D 2004 %T Encoding Aerial Pursuit/Evasion Games with Fixed Wing Aircraft into a Nonlinear Model Predictive Tracking Controller %A Jonathan Sprinkle %A J. Mikael Eklund %A H. Jin Kim %A S. Shankar Sastry %B Proceedings of the 43rd IEEE Conference on Decision and Control %V 3 %P 2609–2614 %8 December %G eng %U http://dx.doi.org/10.1109/CDC.2004.1428851 %R 10.1109/CDC.2004.1428851 %0 Journal Article %D 2004 %T Forgetting UML (A Useful Guide to Formal Modeling) %A Jonathan Sprinkle %8 September %G eng %0 Conference Paper %B Generative Programming and Component Engineering (GPCE) 2004, Young Researchers Workshop %D 2004 %T Generative Components for Hybrid Systems Tools %A Jonathan Sprinkle %B Generative Programming and Component Engineering (GPCE) 2004, Young Researchers Workshop %I Reprinted in J. of Obj. Tech. %8 October %G eng %U http://www.jot.fm/issues/issue_2005_04/article5 %0 Conference Paper %B Eleventh IEEE International Conference and Workshop on the Engineering of Computer-Based Systems %D 2004 %T Improving CBS Tool Development with Technological Spaces %A Jonathan Sprinkle %B Eleventh IEEE International Conference and Workshop on the Engineering of Computer-Based Systems %P 218–224 %8 May %G eng %U http://dx.doi.org/10.1109/ECBS.2004.1316702 %R 10.1109/ECBS.2004.1316702 %0 Journal Article %J IEEE Potentials %D 2004 %T Model-Integrated Computing %A Jonathan Sprinkle %B IEEE Potentials %V 23 %P 28–30 %8 February %G eng %U http://dx.doi.org/10.1109/MP.2004.1266937 %R 10.1109/MP.2004.1266937 %0 Conference Paper %B OOPSLA’04 Educators Symposium (Poster Session) %D 2004 %T A Paradigm for Teaching Modeling Environment Design %A Jonathan Sprinkle %A James Davis %A Greg Nordstrom %B OOPSLA’04 Educators Symposium (Poster Session) %I ACM %8 October %G eng %U http://www.eecs.berkeley.edu/ sprinkle/work/publications/rep/TeachingModelingWithGME.pdf %0 Journal Article %D 2004 %T Pursuit/Evasion of Fixed-wing Aircraft through Model-Predictive Control %A Jonathan Sprinkle %A J. Mikael Eklund %A H. Jin Kim %A S. Shankar Sastry %8 October %G eng %0 Conference Paper %B IEEE 4th International Conference on Intelligent Systems Design and Application %D 2004 %T Toward Design Parameterization Support for Model Predictive Control %A Jonathan Sprinkle %A J. Mikael Eklund %A S. Shankar Sastry %B IEEE 4th International Conference on Intelligent Systems Design and Application %I IEEE %8 August %G eng %U http://www.eecs.berkeley.edu/ sprinkle/work/publications/rep/sprinkleISDA2004-final.pdf %0 Conference Paper %B OOPSLA, 4th Workshop on Domain Specific Modeling %D 2004 %T A Visual Language for Describing Instruction Sets and Generating Decoders %A Trevor Meyerowitz %A Jonathan Sprinkle %A Alberto Sangiovanni-Vincentelli %B OOPSLA, 4th Workshop on Domain Specific Modeling %P 23–32 %8 October %G eng %U http://www.dsmforum.org/events/DSM04/Meyerowitz.pdf %0 Journal Article %J Lecture Notes in Computer Science %D 2003 %T ANEMIC: Automatic Interface Enabler for Model Integrated Computing %A Steve Nordstrom %A Shweta Shetty %A Kumar Guarav Chhokra %A Jonathan Sprinkle %A Brandon Eames %A Ákos Lédeczi %B Lecture Notes in Computer Science %V 2830 %P 138–150 %8 November %G eng %U http://dx.doi.org/10.1007/978-3-540-39815-8_9 %R 10.1007/978-3-540-39815-8_9 %0 Conference Paper %B Generative Programming and Component Engineering (GPCE ’03) %D 2003 %T ANEMIC: Automatic Interface Enabler for Model Integrated Computing %A Steve Nordstrom %A Shweta Shetty %A Kumar Guarav Chhokra %A Jonathan Sprinkle %A Brandon Eames %A Ákos Lédeczi %B Generative Programming and Component Engineering (GPCE ’03) %8 September %G eng %U http://www.isis.vanderbilt.edu/publications/archive/Nordstrom_SG_9_22_2003_ANEMIC__Au.pdf %0 Conference Paper %B Tenth IEEE International Conference and Workshop on the Engineering of Computer-Based Systems %D 2003 %T Domain Translation Using Graph Transformations %A Jonathan Sprinkle %A Aditya Agrawal %A Tíhamer Levendovszky %A Feng Shi %A Gábor Karsai %B Tenth IEEE International Conference and Workshop on the Engineering of Computer-Based Systems %P 159–168 %8 April %G eng %U http://dx.doi.org/10.1109/ECBS.2003.1194795 %R 10.1109/ECBS.2003.1194795 %0 Conference Paper %B {UML} 2003, Workshop in Software Model Engineering %D 2003 %T Managing Intent: The Driving Forces of Model Transformations %A Jonathan Sprinkle %B {UML} 2003, Workshop in Software Model Engineering %8 October %G eng %U http://www.isis.vanderbilt.edu/publications/archive/Sprinkle_J_10_21_2003_Managing_I.pdf %0 Journal Article %D 2003 %T Metamodel Based Model Migration %A Jonathan Sprinkle %I Vanderbilt University %C 2015 Terrace Place %8 February %G eng %U http://www.isis.vanderbilt.edu/publications/archive/Sprinkle_JM_2_5_2003_Metamodel_.pdf %0 Thesis %D 2003 %T Metamodel Driven Model Migration %A Jonathan Sprinkle %I Vanderbilt University %C Nashville, TN 37203 %8 August %G eng %U http://www.isis.vanderbilt.edu/sites/default/files/Sprinkle_JM_8_0_2003_Metamodel_.pdf %9 mastersphd %0 Conference Paper %B OOPSLA, 3rd ACM Workshop on Domain-Specific Modeling %D 2003 %T Model Migration through Visual Modeling %A Jonathan Sprinkle %A Gábor Karsai %B OOPSLA, 3rd ACM Workshop on Domain-Specific Modeling %8 October %G eng %U http://www.isis.vanderbilt.edu/publications/archive/Sprinkle_J_10_26_2003_Model_Migr.pdf %0 Journal Article %J Journal of Universal Computer Science %D 2003 %T On the Use of Graph Transformation in the Formal Specification of Model Interpreters %A Gábor Karsai %A Aditya Agrawal %A Feng Shi %A Jonathan Sprinkle %B Journal of Universal Computer Science %V 9 %P 1296–1321 %8 November %G eng %U http://www.jucs.org/jucs_9_11/on_the_use_of/Karsai_G.pdf %0 Journal Article %D 2002 %T Computer-aided aircraft maintenance scheduling %A Christopher P. van Buskirk %A Benoit Dawant %A Gábor Karsai %A Jonathan Sprinkle %A Gabor Szokoli %A Karlkim Suwanmongkol %A Russ Currer %I Vanderbilt University %C 2015 Terrace Place %8 November %G eng %9 Tech. Rep. %0 Conference Paper %B OOPSLA, 2nd ACM OOPSLA Workshop on Domain-Specific Languages %D 2002 %T Domain Evolution in Visual Languages Using Graph Transformations %A Jonathan Sprinkle %A Aditya Agrawal %A Tíhamer Levendovszky %A Feng Shi %A Gábor Karsai %B OOPSLA, 2nd ACM OOPSLA Workshop on Domain-Specific Languages %8 November %G eng %U http://www.isis.vanderbilt.edu/publications/archive/Sprinkle_JM_11_4_2002_Domain_Evo.doc %0 Conference Paper %B OOPSLA, Workshop on Generative Techniques in the Context of Model Driven Architecture %D 2002 %T Generative Programming via Graph Transformations in the Model-Driven Architecture %A Aditya Agrawal %A Tíhamer Levendovszky %A Jonathan Sprinkle %A Feng Shi %A Gábor Karsai %B OOPSLA, Workshop on Generative Techniques in the Context of Model Driven Architecture %8 November %G eng %U http://www.isis.vanderbilt.edu/publications/archive/Agrawal_A_11_5_2002_Generative.pdf %0 Journal Article %J IEEE Computer %D 2001 %T Composing Domain-Specific Design Environments %A Ákos Lédeczi %A Árpad Bakay %A Miklos Maroti %A Péter Volgyesi %A Greg Nordstrom %A Jonathan Sprinkle %A Gábor Karsai %B IEEE Computer %V 34 %P 44–51 %8 November %G eng %U http://dx.doi.org/10.1109/2.963443 %R 10.1109/2.963443 %0 Journal Article %D 2001 %T GME 2000 Users Manual (v2.0) %A Ákos Lédeczi %A Miklos Maroti %A Árpad Bakay %A Greg Nordstrom %A Jason T. Garrett %A Chuck Thomason %A Jonathan Sprinkle %A Péter Volgyesi %I Vanderbilt University, ISIS %8 December %G eng %0 Conference Paper %B Eighth Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems %D 2001 %T The New Metamodeling Generation %A Jonathan Sprinkle %A Gábor Karsai %A Ákos Lédeczi %A Greg Nordstrom %B Eighth Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems %P 275–279 %8 April %G eng %U http://dx.doi.org/10.1109/ECBS.2001.922433 %R 10.1109/ECBS.2001.922433 %0 Thesis %D 2000 %T Model Integrated Program Synthesis of Agent Negotiation Protocols %A Jonathan Sprinkle %I Vanderbilt University %C Nashville, TN 37203 %8 August %G eng %9 mastersmasters %0 Conference Paper %B Proceedings of the 2000 IEEE International Conference on Systems, Man, and Cybernetics %D 2000 %T Modeling Agent Negotiation %A Jonathan Sprinkle %A Christopher P. van Buskirk %A Gábor Karsai %B Proceedings of the 2000 IEEE International Conference on Systems, Man, and Cybernetics %V 1 %P 454–459 %8 October %G eng %U http://dx.doi.org/10.1109/ICSMC.2000.885034 %R 10.1109/ICSMC.2000.885034 %0 Conference Paper %B Proceedings of the IEEE Systems, Man, and Cybernetics Conference %D 2000 %T Towards a Standard for Model Specification and Storage %A Dinesh Deva %A Jonathan Sprinkle %A Greg Nordstrom %A Miklos Maroti %B Proceedings of the IEEE Systems, Man, and Cybernetics Conference %8 October %G eng %U http://dx.doi.org/10.1109/ICSMC.2000.885018 %R 10.1109/ICSMC.2000.885018 %0 Journal Article %J (under review) %D 0 %T Automobile Localization with Commodity Sensors %A Kun Zhang %A Jonathan Sprinkle %B (under review) %8 Submitted %G eng %0 Conference Paper %B TBD %D 0 %T A Domain-Specific Modeling Environment Applied to the Design of an Embedded Human System %A Jonathan Sprinkle %K dsml %B TBD %P (in preparation) %8 Submitted %G eng %0 Journal Article %J (in preparation) %D 0 %T Fundamental Limitations in Domain-Specific Language Evolution %A Jonathan Sprinkle %A Jeffrey Gray %A Marjan Mernik %XIn this paper we address language engineering issues surrounding domain-specific modeling languages (DSMLs). By definition, such languages track the domain, meaning that changes to the domain require changes to the DSML in order to provide an intuitive specification of domain-specific programs or models. For this work, our primary focus is on fundamental limitations that affect the preservation of semantics during domain model evolution. We specifically address fundamental limitations in semantics-preserving transformations, and/or the implementation of algorithms that specify such transformations. This work has profound implications for language engineers who are planning for the maintenance of models, or designing model transformations for the purpose of preserving semantics. We provide a brief representative example from the discipline of hybrid systems, where such results can be interpreted.
%B (in preparation) %V (tbd) %P (in preparation) %8 Submitted %G eng