Main.Research History
Hide minor edits - Show changes to output
Changed lines 8-9 from:
* [[http://www.ece.arizona.edu/~sprinkjm/research/mehs | Modeling of Embedded Human Systems]], Air Force Office of Scientific Research, Award #FA9550-091-0519.
** bibtexsummary:[Publications.bibtex,c:sprinkle-ease-2010]
*
to:
* 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.
* 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.
Deleted line 11:
Added lines 17-20:
* 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/
* [[http://www.ece.arizona.edu/~sprinkjm/research/mehs | Modeling of Embedded Human Systems]], Air Force Office of Scientific Research, Award #FA9550-091-0519.
** bibtexsummary:[Publications.bibtex,c:sprinkle-ease-2010]
* [[http://www.ece.arizona.edu/~sprinkjm/research/stoma | STOMA II: Subspace Techniques for Obfuscating Matrix-based Algorithms]], subcontract through SSCI to ARO, as a Phase 2 STTR.
* [[http://www.ece.arizona.edu/~sprinkjm/research/mehs | Modeling of Embedded Human Systems]], Air Force Office of Scientific Research, Award #FA9550-091-0519.
** bibtexsummary:[Publications.bibtex,c:sprinkle-ease-2010]
* [[http://www.ece.arizona.edu/~sprinkjm/research/stoma | STOMA II: Subspace Techniques for Obfuscating Matrix-based Algorithms]], subcontract through SSCI to ARO, as a Phase 2 STTR.
Added line 13:
* [[http://www.ece.arizona.edu/~sprinkjm/research/mobile | Mobile phone development]], various projects on mobile devices for ubiquitous computing applications.
Changed line 11 from:
* [[http://www.ece.arizona.edu/~sprinkjm/research/cps | 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.
to:
* [[http://www2.engr.arizona.edu/~sprinkjm/research/cps-timing/ | 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.
Changed line 11 from:
* 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.
to:
* [[http://www.ece.arizona.edu/~sprinkjm/research/cps | 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.
Changed lines 8-15 from:
* bibtexsummary:[Publications.bibtex,c:sprinkle-ease-2010]
to:
* [[http://www.ece.arizona.edu/~sprinkjm/research/mehs | Modeling of Embedded Human Systems]], Air Force Office of Scientific Research, Award #FA9550-091-0519.
** bibtexsummary:[Publications.bibtex,c:sprinkle-ease-2010]
* 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.
* [[http://www.ece.arizona.edu/~sprinkjm/research/stoma | STOMA II: Subspace Techniques for Obfuscating Matrix-based Algorithms]], subcontract through SSCI to ARO, as a Phase 2 STTR.
** bibtexsummary:[Publications.bibtex,c:sprinkle-ease-2010]
* 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.
* [[http://www.ece.arizona.edu/~sprinkjm/research/stoma | STOMA II: Subspace Techniques for Obfuscating Matrix-based Algorithms]], subcontract through SSCI to ARO, as a Phase 2 STTR.
Changed lines 17-23 from:
* bibtexsummary:[Publications.bibtex,c:alhelal-ecbs-2010]
* bibtexsummary:[Publications.bibtex,c:gulotta-ecbs-2009]
* bibtexsummary:[Publications.bibtex,w:patki-oopsla-2008]
to:
* [[http://www.ece.arizona.edu/~sprinkjm/research/c2wt | Command and Control (C2) Wind Tunnel High-Level Multi-Rotor Craft Autonomy]], subcontract to Vanderbilt University.
** bibtexsummary:[Publications.bibtex,c:alhelal-ecbs-2010]
** bibtexsummary:[Publications.bibtex,c:gulotta-ecbs-2009]
** bibtexsummary:[Publications.bibtex,w:patki-oopsla-2008]
* [[http://www.ece.arizona.edu/~sprinkjm/research/multicore | MultiCore Hardware Experiments in Software Producibility]], co-PI with Brandon Eames (USU), contract with Air Force Research Labs.
** bibtexsummary:[Publications.bibtex,c:alhelal-ecbs-2010]
** bibtexsummary:[Publications.bibtex,c:gulotta-ecbs-2009]
** bibtexsummary:[Publications.bibtex,w:patki-oopsla-2008]
* [[http://www.ece.arizona.edu/~sprinkjm/research/multicore | MultiCore Hardware Experiments in Software Producibility]], co-PI with Brandon Eames (USU), contract with Air Force Research Labs.
Changed lines 8-12 from:
*
to:
!!! [[http://www.ece.arizona.edu/~sprinkjm/research/mehs | Modeling of Embedded Human Systems]], Air Force Office of Scientific Research, Award #FA9550-091-0519.
* bibtexsummary:[Publications.bibtex,c:sprinkle-ease-2010]
!!! 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.
!!! [[http://www.ece.arizona.edu/~sprinkjm/research/stoma | STOMA II: Subspace Techniques for Obfuscating Matrix-based Algorithms]], subcontract through SSCI to ARO, as a Phase 2 STTR.
* bibtexsummary:[Publications.bibtex,c:sprinkle-ease-2010]
!!! 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.
!!! [[http://www.ece.arizona.edu/~sprinkjm/research/stoma | STOMA II: Subspace Techniques for Obfuscating Matrix-based Algorithms]], subcontract through SSCI to ARO, as a Phase 2 STTR.
Changed lines 17-21 from:
*
*
*
to:
!!! [[http://www.ece.arizona.edu/~sprinkjm/research/c2wt | Command and Control (C2) Wind Tunnel High-Level Multi-Rotor Craft Autonomy]], subcontract to Vanderbilt University.
* bibtexsummary:[Publications.bibtex,c:alhelal-ecbs-2010]
* bibtexsummary:[Publications.bibtex,c:gulotta-ecbs-2009]
* bibtexsummary:[Publications.bibtex,w:patki-oopsla-2008]
!!! [[http://www.ece.arizona.edu/~sprinkjm/research/multicore | MultiCore Hardware Experiments in Software Producibility]], co-PI with Brandon Eames (USU), contract with Air Force Research Labs.
* bibtexsummary:[Publications.bibtex,c:alhelal-ecbs-2010]
* bibtexsummary:[Publications.bibtex,c:gulotta-ecbs-2009]
* bibtexsummary:[Publications.bibtex,w:patki-oopsla-2008]
!!! [[http://www.ece.arizona.edu/~sprinkjm/research/multicore | MultiCore Hardware Experiments in Software Producibility]], co-PI with Brandon Eames (USU), contract with Air Force Research Labs.
Added line 9:
** bibtexsummary:[Publications.bibtex,c:sprinkle-ease-2010]
Added lines 18-20:
** bibtexsummary:[Publications.bibtex,c:alhelal-ecbs-2010]
** bibtexsummary:[Publications.bibtex,c:gulotta-ecbs-2009]
** bibtexsummary:[Publications.bibtex,w:patki-oopsla-2008]
** bibtexsummary:[Publications.bibtex,c:gulotta-ecbs-2009]
** bibtexsummary:[Publications.bibtex,w:patki-oopsla-2008]
Added line 26:
** bibtexsummary:[Publications.Bibtex,DingSprinkleSastryTomlin2008]
Added line 29:
** bibtexsummary:[Publications.bibtex,j:sprinkle-sosym-2009]
Deleted line 31:
Added line 7:
These research projects are actively supporting students. Papers by students and faculty are listed under each project.
Added line 15:
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.
Changed line 7 from:
* [[http://www.ece.arizona.edu/~sprinkjm/research/mehs | Modeling of Embedded Human Systems]]
to:
* [[http://www.ece.arizona.edu/~sprinkjm/research/mehs | Modeling of Embedded Human Systems]], Air Force Office of Scientific Research, Award #FA9550-091-0519.
Added line 24:
** bibtexsummary:[Publications.bibtex,j:sprinkle-sosym-2009]
Changed line 33 from:
!!! Autonomous Vehicle Technology
to:
!!! [[Autonomous Vehicle Technology]]
Changed line 18 from:
** bibtexsummary:[Publications.Bibex,w:sprinkle-oopsla-2009]
to:
** bibtexsummary:[Publications.Bibtex,w:sprinkle-oopsla-2009]
Added lines 11-13:
!! Research Experiences
Deleted lines 14-16:
!! Research Experiences
Added line 18:
** bibtexsummary:[Publications.Bibex,w:sprinkle-oopsla-2009]
Added lines 8-9:
* 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.
* 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.
Added line 7:
* [[http://www.ece.arizona.edu/~sprinkjm/research/mehs | Modeling of Embedded Human Systems]]
Added line 10:
Changed line 13 from:
** [[http://bracton.ece.arizona.edu/svn/multicore/papers/esl/ptII/ct-dynamics.xml | Download Ptolemy II model showing this interaction (currently simulating, but does not display the same behaviors as yet).]]
to:
** [[http://bracton.ece.arizona.edu/svn/multicore/trunk/papers/esl/ptII/ct-dynamics.xml | Download Ptolemy II model showing this interaction (currently simulating, but does not display the same behaviors as yet).]]
Changed line 13 from:
** [[http://bracton.ece.arizona.edu/svn/multicore/papers/esl/ptII/ct-dynamic.xml | Download Ptolemy II model showing this interaction.]]
to:
** [[http://bracton.ece.arizona.edu/svn/multicore/papers/esl/ptII/ct-dynamics.xml | Download Ptolemy II model showing this interaction (currently simulating, but does not display the same behaviors as yet).]]
Changed line 12 from:
to:
-->%height=100px% Attach:multicore-success-failure.png
Changed line 12 from:
to:
[[Attach:multicore-success-failure.png]]
Changed lines 12-13 from:
to:
-->[[Attach:multicore-success-failure.png]]
** [[http://bracton.ece.arizona.edu/svn/multicore/papers/esl/ptII/ct-dynamic.xml | Download Ptolemy II model showing this interaction.]]
** [[http://bracton.ece.arizona.edu/svn/multicore/papers/esl/ptII/ct-dynamic.xml | Download Ptolemy II model showing this interaction.]]
Added lines 9-10:
!! Research Experiences
Added line 12:
[[Attach:multicore-success-failure.png]]
Deleted lines 13-14:
!! Research Experiences
Added line 7:
* [[http://www.ece.arizona.edu/~sprinkjm/research/stoma | STOMA II: Subspace Techniques for Obfuscating Matrix-based Algorithms]], subcontract through SSCI to ARO, as a Phase 2 STTR.
Changed lines 7-8 from:
* [[http://www.ece.arizona.edu/~sprinkjm/research/multicore | MultiCore Hardware Experiments in Software Producibility]], co-PI with Brandon Eames (USU).
to:
* [[http://www.ece.arizona.edu/~sprinkjm/research/c2wt | Command and Control (C2) Wind Tunnel High-Level Multi-Rotor Craft Autonomy]], subcontract to Vanderbilt University.
* [[http://www.ece.arizona.edu/~sprinkjm/research/multicore | MultiCore Hardware Experiments in Software Producibility]], co-PI with Brandon Eames (USU), contract with Air Force Research Labs.
* [[http://www.ece.arizona.edu/~sprinkjm/research/multicore | MultiCore Hardware Experiments in Software Producibility]], co-PI with Brandon Eames (USU), contract with Air Force Research Labs.
Added lines 6-8:
!! Current Research Projects
* [[http://www.ece.arizona.edu/~sprinkjm/research/multicore | MultiCore Hardware Experiments in Software Producibility]], co-PI with Brandon Eames (USU).
* [[http://chess.eecs.berkeley.edu/certafcs | Certification Techniques for Flight Critical Systems (CerTA FCS)]] (private website).
* [[http://www.ece.arizona.edu/~sprinkjm/research/multicore | MultiCore Hardware Experiments in Software Producibility]], co-PI with Brandon Eames (USU).
* [[http://chess.eecs.berkeley.edu/certafcs | Certification Techniques for Flight Critical Systems (CerTA FCS)]] (private website).
Changed lines 24-25 from:
** bibtexquery:[Publications.Bibtex,tr:sbdt2007]
to:
** bibtexsummary:[Publications.Bibtex,tr:sbdt2007]
Changed line 16 from:
** bibtexsummary:[Publications.Bibtex,j:sprinklePotentials2004]
to:
** bibtexsummary:[Publications.Bibtex,j:SprinklePotentials2004]
Changed lines 13-14 from:
** bibtexsummary:[Publications.Bibtex,j:sprinkleISSE2005]
** bibtexsummary:[Publications.Bibtex,c:eklundACC2005]
** bibtexsummary:[Publications.Bibtex,c:
to:
** bibtexsummary:[Publications.Bibtex,j:sprinkle-ISSE-2005]
** bibtexsummary:[Publications.Bibtex,c:EklundACC2005]
** bibtexsummary:[Publications.Bibtex,c:EklundACC2005]
Changed line 16 from:
** bibtexsummary:[Publications.Bibtex,j:sprinklePotentials2003]
to:
** bibtexsummary:[Publications.Bibtex,j:sprinklePotentials2004]
Added lines 13-14:
** bibtexsummary:[Publications.Bibtex,j:sprinkleISSE2005]
** bibtexsummary:[Publications.Bibtex,c:eklundACC2005]
** bibtexsummary:[Publications.Bibtex,c:eklundACC2005]
Changed lines 16-18 from:
to:
** bibtexsummary:[Publications.Bibtex,j:sprinklePotentials2003]
** bibtexsummary:[Publications.Bibtex,j:LedecziComputer2001]
** bibtexsummary:[Publications.Bibtex,j:LedecziComputer2001]
Added line 11:
** bibtexsummary:[Publications.Bibtex,tr:sbdt2007]
Added line 10:
** bibtexsummary:[Publications.Bibtex,c:gonzalezAAET2008]
Added line 9:
* [[http://chess.eecs.berkeley.edu/dgc3 | DARPA Urban Challenge, Unmanned Ground Vehicle research]] (redirected to the Sydney Berkeley Driving Team homepage)
Changed lines 17-19 from:
to:
* Related papers:
** bibtexquery:[Publications.Bibtex,tr:sbdt2007]
** bibtexquery:[Publications.Bibtex,tr:sbdt2007]
Changed line 19 from:
* Domain-Specific Modeling Environments (DSMEs) (see a trivial example here)
to:
* Domain-Specific Modeling Environments (DSMEs)
Changed lines 9-11 from:
* [[http://robotics.eecs.berkeley.edu/bear/ | Unmanned Aerial Vehicles (UAVs)]]
* [[http://www.isis.vanderbilt.edu/ | Model Integrated Computing (MIC)]]
to:
* [[http://robotics.eecs.berkeley.edu/bear/ | Unmanned Aerial Vehicles (UAVs)]] (redirected to the Berkeley BEAR Project)
* [[http://www.isis.vanderbilt.edu/ | Model Integrated Computing (MIC)]] (redirected to ISIS at Vanderbilt)
* [[http://www.isis.vanderbilt.edu/ | Model Integrated Computing (MIC)]] (redirected to ISIS at Vanderbilt)
Deleted lines 33-54:
Servers:
[[Ransom]] 150.135.217.191 (Windows Terminal Server)
[[Bracton]] 150.135.217.192 (Linux Server)
Workstations:
Dimble (Kubuntu)
Studdock (Kubuntu)
Ironwood (Kubuntu)
Maggs (Kubuntu)
Merlin (Kubuntu)
Wither (Kubuntu)
Frost
Hardcastle
Feverstone
Straik
Filostrato
Printers:
ece446hp (HP2015dn)
Added lines 1-6:
! 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.
* [[csl/HowTo | How to do stuff in the lab]]
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.
* [[csl/HowTo | How to do stuff in the lab]]
Deleted line 55:
Changed lines 32-33 from:
Bracton 150.135.217.192 (Linux Server)
to:
[[Bracton]] 150.135.217.192 (Linux Server)
Changed line 3 from:
* [[http://robotics.eecs.berkeley.edu/BEAR/ | Unmanned Aerial Vehicles (UAVs)]]
to:
* [[http://robotics.eecs.berkeley.edu/bear/ | Unmanned Aerial Vehicles (UAVs)]]
Changed lines 3-5 from:
* [[UAV | Unmanned Aerial Vehicles (UAVs)]]
* [[MIC | Model Integrated Computing (MIC)]]
* [[
to:
* [[http://robotics.eecs.berkeley.edu/BEAR/ | Unmanned Aerial Vehicles (UAVs)]]
* [[http://www.isis.vanderbilt.edu/ | Model Integrated Computing (MIC)]]
* [[http://www.isis.vanderbilt.edu/ | Model Integrated Computing (MIC)]]
Changed line 47 from:
! [[Lab How To Pages]]
to:
! [[csl/HowTo | How to do stuff in the lab]]
Changed line 31 from:
Ransom 150.135.217.191 (Windows Terminal Server)
to:
[[Ransom]] 150.135.217.191 (Windows Terminal Server)
Added lines 27-47:
! Lab Information
Servers:
Ransom 150.135.217.191 (Windows Terminal Server)
Bracton 150.135.217.192 (Linux Server)
Workstations:
Dimble (Kubuntu)
Studdock (Kubuntu)
Ironwood (Kubuntu)
Maggs (Kubuntu)
Merlin (Kubuntu)
Wither (Kubuntu)
Frost
Hardcastle
Feverstone
Straik
Filostrato
Changed lines 9-10 from:
* Autonomous Cars [[Attach:DGC-PromoVideo.mov | Promotional Video for Sydney-Berkeley Driving Team]]
to:
* Autonomous Cars -- Promotional Video for Sydney-Berkeley Driving Team [[http://chess.eecs.berkeley.edu/dgc3/images/Promo-Video.wmv | (wmv)]], [[http://chess.eecs.berkeley.edu/dgc3/images/Promo-Video.mov | (mov)]]
Added lines 8-10:
!!! Autonomous Vehicle Technology
* Autonomous Cars [[Attach:DGC-PromoVideo.mov | Promotional Video for Sydney-Berkeley Driving Team]]
* Autonomous Cars [[Attach:DGC-PromoVideo.mov | Promotional Video for Sydney-Berkeley Driving Team]]
Changed lines 2-5 from:
* Embedded Systems & Control Technology
* Unmanned Aerial Vehicles (UAVs)
* Model Integrated Computing (MIC)
to:
* [[Controls | Embedded Systems & Control Technology]]
* [[UAV | Unmanned Aerial Vehicles (UAVs)]]
* [[MIC | Model Integrated Computing (MIC)]]
* [[UAV | Unmanned Aerial Vehicles (UAVs)]]
* [[MIC | Model Integrated Computing (MIC)]]
Changed line 10 from:
Domain-Specific Modeling Environments (DSMEs) (see a trivial example here)
to:
* Domain-Specific Modeling Environments (DSMEs) (see a trivial example here)
Added lines 1-23:
!! Research Experiences
* Embedded Systems & Control Technology
* Unmanned Aerial Vehicles (UAVs)
* Model Integrated Computing (MIC)
!! Research Interests
!!! Modeling
* Domain-Specific Languages
Domain-Specific Modeling Environments (DSMEs) (see a trivial example here)
* 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
* Embedded Systems & Control Technology
* Unmanned Aerial Vehicles (UAVs)
* Model Integrated Computing (MIC)
!! Research Interests
!!! Modeling
* Domain-Specific Languages
Domain-Specific Modeling Environments (DSMEs) (see a trivial example here)
* 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