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

• Modeling of Embedded Human Systems
• 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.
• STOMA II: Subspace Techniques for Obfuscating Matrix-based Algorithms, subcontract through SSCI to ARO, as a Phase 2 STTR.

Research Experiences

• Command and Control (C2) Wind Tunnel High-Level Multi-Rotor Craft Autonomy, subcontract to Vanderbilt University.
• 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., (accepted), October, 2009. (Cite)
• Certification Techniques for Flight Critical Systems (CerTA FCS) (private website).
• Embedded Systems & Control Technology
• DARPA Urban Challenge, Unmanned Ground Vehicle research (redirected to the Sydney Berkeley Driving Team homepage)
  • 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, 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, 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