• Home
• Biography
• Summary
• Teaching
• Research
• Students
• Seminars
• Publications & Talks
• Useful Links
• Travel Schedule
• Weekly Schedule
• Daily Musings...
• Internal Use
• Personal Homepage

edit SideBar

Compositional Systems Laboratory

The major focus of my research involves around compositional systems, specifically systems where a major portion of control, operation, or sensing, involves computing. This includes cyber-physical systems, autonomous systems, and many kinds of robotics. Technology to perform this research includes embedded computing, model-integrated computing, and software engineering. Theoretical understandings in systems theory, graph theory and rewriting, and models of computation is imperative to ensuring systems are built and run correctly.

• How to do stuff in the lab

Current Research Projects

These research projects are actively supporting students. Papers by students and faculty are listed under each project.

• CAREER: Domain-Specific Modeling Techniques for Cyber-Physical Systems, NSF CNS-1253334. PI Jonathan Sprinkle, closing the loop with domain-specific models for cyber-physical systems.
• REU Site: Cognitive and Autonomous Test Vehicle (CATVehicle), PI Jonathan Sprinkle, Co-PI Tamal Bose, with Dr. Haris Volos. 10-student NSF REU Site focused on applications and research for autonomous vehicles and cognitive radio, and the crossover benefits of these domains.
• Data-Adaptable Reconfigurable Embedded Systems (DARES), NSF CNS-0915010. PI Roman Lysecky, with Michael Marcellin and Jerzy Rozenblit.
• Physical Modeling and Software Synthesis for Self-Reconfigurable Sensors in River Environments, NSF CNS-0930919. PI Jonathan Sprinkle, collaborative research with Alexandre Bayen and Sonia Martinez.
• Mobile phone development, various projects on mobile devices for ubiquitous computing applications.

Research Experiences

All of these projects have ended, though the research area may be continued under a project above. After each Project name and website are the papers that came out of that work.

• I-Corps:A Cost-Limited Home Thermostat (CLD/HT), PI Jonathan Sprinkle, Co-PI Susan Lysecky, with Xiao Qin and Manny Teran. NSF IIP-1249175. See the results of this research at http://www.acomni.com/
• Modeling of Embedded Human Systems, Air Force Office of Scientific Research, Award #FA9550-091-0519.
  • Jonathan Sprinkle and Diyang Chu. "Modeling Languages Applied to Decision Controllers for Embedded Human Systems." In Seventh IEEE International Conference and Workshops on Engineering of Autonomic and Autonomous Systems (EAsE 2010)., pages 129-136, . IEEE, March, 2010. (Cite)
• STOMA II: Subspace Techniques for Obfuscating Matrix-based Algorithms, subcontract through SSCI to ARO, as a Phase 2 STTR.
• Command and Control (C2) Wind Tunnel High-Level Multi-Rotor Craft Autonomy, subcontract to Vanderbilt University.
  • Hussain Al-Helal and Jonathan Sprinkle. "UAV Search : Maximizing Target Acquisition." In 17th IEEE Conference on the Engineering of Computer Based Systems., pages 9-19, . IEEE, March, 2010. (Cite)
  • Jacob Gulotta, Diyang Chu, Ximing Yu, Hussain Al-Helal, Tapasya Patki, Jason Hansen, Maribel Hudson and Jonathan Sprinkle. "Using Integrative Models in an Advanced Heterogeneous System Simulation." In IEEE International Conference on the Engineering of Computer-Based Systems. Los Alamitos, CA, USA. IEEE Computer Society, pages 3-10, 2009. (Cite)
  • Tapasya Patki, Hussain Al-Helal, Jacob Gulotta, Jason Hansen and Jonathan Sprinkle. "Using Integrative Modeling for Advanced Heterogeneous System Simulation." In The 8th OOPSLA Workshop on Domain-Specific Modeling., pages 80-85, October 19-20, 2008. (Cite)
• MultiCore Hardware Experiments in Software Producibility, co-PI with Brandon Eames (USU), contract with Air Force Research Labs.
  
  • Download Ptolemy II model showing this interaction (currently simulating, but does not display the same behaviors as yet).
  • Jonathan Sprinkle and Brandon Eames. "Model-Based Autosynthesis of Time-Triggered Buffers for Event-Based Middleware Systems." In 9th OOPSLA Workshop on Domain-Specific Modeling., pages 119-124, October, 2009. (Cite)
• Certification Techniques for Flight Critical Systems (CerTA FCS) (private website).
  • Jerry Ding, Jonathan Sprinkle and S. Shankar Sastry and Claire J. Tomlin. "Reachability Calculations for Automated Aerial Refueling." In 47th IEEE Conference on Decision and Control., pages 3706-3712, December, 2008. (Cite)
• Embedded Systems & Control Technology
• DARPA Urban Challenge, Unmanned Ground Vehicle research (redirected to the Sydney Berkeley Driving Team homepage)
  • Jonathan Sprinkle, J. Mikael Eklund, Humberto Gonzalez, Esten Ingar Grøtli, Ben Upcroft, Alex Makarenko, Will Uther, Michael Moser, Robert Fitch, Hugh Durrant-Whyte and S. Shankar Sastry. "Model-based design: a report from the trenches of the DARPA Urban Challenge." Software and Systems Modeling, 8(4):551-566, 2009. (Cite)
  • Humberto Gonzalez, Esten I. Grøtli, Todd R. Templeton, Jan O. Biermeyer, Jonathan Sprinkle and S. Shankar Sastry. "Transitioning Control and Sensing Technologies from Fully-autonomous Driving to Driver Assistance Systems." In AAET: Automation, Assistance, and Embedded Systems for Transportation., . Technical University, Braunschweig, February 13--14, 2008. (Cite)
  • Ben Upcroft, Michael Moser, Alexi Makarenko, David Johnson, Ashod Donikan, Alen Alempijevic, Robert Fitch, William Uther, Jan Biermeyer, Humberto Gonzalez, Esten Ingar Grøtli, Todd Templeton and Vason P. Srini and Jonathan Sprinkle. "DARPA Urban Challenge Technical Paper: Sydney-Berkeley Driving Team." Technical report, University of Sydney; University of Technology, Sydney; University of California, Berkeley, 2007. (Cite)
• Unmanned Aerial Vehicles (UAVs) (redirected to the Berkeley BEAR Project)
  • Jonathan Sprinkle, Aaron D. Ames, J. Mikael Eklund, Ian Mitchell and S. Shankar Sastry. "Online Safety Calculations for Glideslope Recapture." Innovations in Systems and Software Engineering, 1(2):157-175, 2005. (Cite)
  • J. Mikael Eklund, Jonathan Sprinkle and S. Shankar Sastry. "Implementing and Testing a Nonlinear Model Predictive Tracking Controller for Aerial Pursuit Evasion Games on a Fixed Wing Aircraft." In Proceedings of American Control Conference (ACC) 2005., pages 1509-1514, June, 2005. (Cite)
• Model Integrated Computing (MIC) (redirected to ISIS at Vanderbilt)
  • Jonathan Sprinkle. "Model-Integrated Computing." IEEE Potentials, 23(1):28-30, 2004. (Cite)
  • Ákos Lédeczi, Árpad Bakay, Miklos Maroti, Péter Volgyesi, Greg Nordstrom, Jonathan Sprinkle and Gábor Karsai. "Composing Domain-Specific Design Environments." IEEE Computer, 34(11):44-51, 2001. (Cite)

Research Interests

Autonomous Vehicle Technology

• Autonomous Cars -- Promotional Video for Sydney-Berkeley Driving Team (wmv), (mov)
• Related papers:
  • Ben Upcroft, Michael Moser, Alexi Makarenko, David Johnson, Ashod Donikan, Alen Alempijevic, Robert Fitch, William Uther, Jan Biermeyer, Humberto Gonzalez, Esten Ingar Grøtli, Todd Templeton and Vason P. Srini and Jonathan Sprinkle. "DARPA Urban Challenge Technical Paper: Sydney-Berkeley Driving Team." Technical report, University of Sydney; University of Technology, Sydney; University of California, Berkeley, 2007. (Cite)

Modeling

• Domain-Specific Languages
• Domain-Specific Modeling Environments (DSMEs)
• Model-Integrated Computing
• Modeling and Metamodeling
• Model Transformations, Model-Driven Development

Embedded Systems & Controls

• Hybrid systems (theory, implementation, verification)
• Embedded systems
• Model-Predictive Control (MPC)

Systems Engineering

• Software Engineering through Systems Modeling
• Executable Model Generation from DSMEs
• Actor-Oriented Design/Implementation

Meetings

• Weekly Meetings