Main /Research

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

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.
Certification Techniques for Flight Critical Systems (CerTA FCS) (private website).

Research Experiences

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. February 13--14, . Technical University, Braunschweig, 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, 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. June, pages 1509-1514, 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, 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