Publications
Export 154 results:
Author Keyword Title [ Type
Filters: Author is Jonathan Sprinkle [Clear All Filters]
“Generating Model Transformations for Mending Dynamic Constraint Violations in Cyber Physical Systems”, in The 14th Workshop on Domain-Specific Modeling, 2014, pp. 35-40.
, “Generating a ROS/JAUS Bridge for an Autonomous Ground Vehicle”, in Proceedings of the 2013 ACM workshop on Domain-specific modeling (DSM ’13), Indianapolis, IN, 2013, pp. 13-18.
, “Fuzzy Control of an Autonomous Car using a Smart Phone”, in Proceedings of the 2017 IEEE International Conference on Automatica (ICA-ACCA), 2017, pp. 1–5.
, “A Fuzzy based approach to Dampen Emergent Traffic Waves”, in CAT Vehicle Research Experience for Undergraduates, The University of Arizona, 2017.
A Fuzzy based approach to Dampen Emergent Traffic Waves.pdf (716.6 KB)
, 
“Fault Tolerant Data Flow Modeling Using the Generic Modeling Environment”, in 12th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2005, pp. 229–235.
, “On the Extraction and Analysis of a Social Network with Partial Organizational Observation”, in Proceedings of the 19th IEEE International Conference and Workshops on Engineering of Computer-Based Systems, 2012, pp. 249-256.
, “Experience Report: Constraint-based Modeling of Autonomous Vehicle Trajectories”, in Proceedings of the Workshop on Domain-Specific Modeling, New York, NY, USA, 2015, pp. 17–22.
, “Encoding Aerial Pursuit/Evasion Games with Fixed Wing Aircraft into a Nonlinear Model Predictive Tracking Controller”, in Proceedings of the 43rd IEEE Conference on Decision and Control, 2004, vol. 3, pp. 2609–2614.
, “Efficient Reconfiguration Methods to Enable Rapid Deployment of Runtime Reconfigurable Systems”, in Asilomar Conference on Signals, Systems and Computers, Pacific Grove, CA, 2013.
, “A Domain-Specific Modeling Environment Applied to the Design of an Embedded Human System”, in TBD, p. (in preparation).
, “Domain Translation Using Graph Transformations”, in Tenth IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2003, pp. 159–168.
, “Domain Evolution in Visual Languages Using Graph Transformations”, in OOPSLA, 2nd ACM OOPSLA Workshop on Domain-Specific Languages, 2002.
, “Deciding to Land a UAV Safely in Real Time”, in Proceedings of American Control Conference (ACC) 2005, 2005, pp. 3506–3511.
, “Dampening traffic waves with autonomous vehicles”, in ITRL Conference on Integrated Transport: Connected and Automated Transport Systems, 2016.
, “Controlling for Unsafe Events in Dense Traffic Through Autonomous Vehicles: Invited Talk Abstract”, in Proceedings of the 1st International Workshop on Safe Control of Connected and Autonomous Vehicles, New York, NY, USA, 2017, pp. 7–7.
, “Constrained data acquisition for mobile citizen science applications”, in Proceedings of the compilation of the co-located workshops on DSM’11, TMC’11, AGERE!’11, AOOPES’11, NEAT’11, & VMIL’11, New York, NY, USA, 2011, pp. 267–272.
, “Computing Inverse MEG Signals in the Brain”, in 2005 IEEE Computational Systems Bioinformatics Conference, Controlling Complexity, 2005, pp. 332–335.
, “A Closed-loop Model-based Design Approach Based On Automatic Verification and Transformation”, in The 14th Workshop on Domain-Specific Modeling, 2014, pp. 1-6.
, “Citizen Science in Support of Vegetation Index and Phenology Research”, in Phenology Research and Observations of Southwest Ecosystems Symposium (PROSE), 2010.
, “The CAT Vehicle Testbed: A Simulator with Hardware in the Loop for Autonomous Vehicle Applications”, in Proceedings 2nd International Workshop on Safe Control of Autonomous Vehicles (SCAV 2018), Porto, Portugal, Electronic Proceedings in Theoretical Computer Science , 2018, vol. 269.
CAT Vehicle Testbed Slides (5.53 MB)
, 
“autoVHDL: a domain-specific modeling language for the auto-generation of VHDL core wrappers”, in Proceedings of the compilation of the co-located workshops on DSM’11, TMC’11, AGERE!’11, AOOPES’11, NEAT’11, &\#38; VMIL’11, New York, NY, USA, 2011, pp. 71–76.
, “Automatic Control of VTOL Micro Air Vehicle During Transition Maneuver”, in AIAA Guidance, Navigation and Control Conference, 2009, p. 16 pages.
, “Automated Software Generation and Hardware Coprocessor Synthesis for Data-Adaptable Reconfigurable Systems”, in Engineering of Computer Based Systems (ECBS), 2012 IEEE 19th International Conference and Workshops on, 2012, pp. 15-23.
, “ANEMIC: Automatic Interface Enabler for Model Integrated Computing”, in Generative Programming and Component Engineering (GPCE ’03), 2003.
, “Analysis of a metamodel to estimate complexity of using a domain-specific language”, in Proceedings of the 10th Workshop on Domain-Specific Modeling, New York, NY, USA, 2010, pp. 13:1–13:6.
, “Adaptive Multifactor Routing with Constrained Data Sets”, in Wireless Innovation Forum Conference on Wireless Communication Technologies and Software Defined Radio (WInnComm), San Diego, CA, 2015.
, “The 12th Workshop on Domain-specific Modeling”, in Proceedings of the 3rd Annual Conference on Systems, Programming, and Applications: Software for Humanity, New York, NY, USA, 2012.
, “The 11th Workshop on Domain-specific Modeling”, in Proceedings of the ACM International Conference Companion on Object Oriented Programming Systems Languages and Applications Companion, New York, NY, USA, 2011.
, “The 11th Workshop on Domain-specific Modeling”, in Proceedings of the Compilation of the Co-located Workshops on DSM'11, TMC'11, AGERE! 2011, AOOPES'11, NEAT'11, & VMIL'11, New York, NY, USA, 2011.
, “Model-based engineering with application to autonomy”, in Complexity Challenges in Cyber Physical Systems: Using Modeling and Simulation (M&S) to Support Intelligence, Adaptation and Autonomy, Wiley, 2019, pp. 255-285.
,