Main /Research

Main.Research History

Hide minor edits - Show changes to output

March 10, 2013, at 11:27 AM by 63.229.177.236 -
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.
Deleted line 11:
* [[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 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.
October 20, 2011, at 04:10 PM by 150.135.222.47 -
Added line 13:
* [[http://www.ece.arizona.edu/~sprinkjm/research/mobile | Mobile phone development]], various projects on mobile devices for ubiquitous computing applications.
April 18, 2011, at 12:46 PM by 150.135.222.138 -
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.
April 18, 2011, at 12:45 PM by 150.135.222.138 -
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.
May 28, 2010, at 03:40 PM by 150.135.222.31 -
Changed lines 8-15 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]
!!! 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.
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.
Changed lines 17-23 from:
!!! [[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.
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.
May 28, 2010, at 03:38 PM by 150.135.222.31 -
Changed lines 8-12 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]
* 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.
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.
May 28, 2010, at 03:37 PM by 150.135.222.31 -
Changed lines 17-21 from:
* [[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.
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.
May 28, 2010, at 11:58 AM by 150.135.222.31 -
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]
Added line 26:
** bibtexsummary:[Publications.Bibtex,DingSprinkleSastryTomlin2008]
Added line 29:
** bibtexsummary:[Publications.bibtex,j:sprinkle-sosym-2009]
Deleted line 31:
** bibtexsummary:[Publications.bibtex,j:sprinkle-sosym-2009]
May 28, 2010, at 11:52 AM by 150.135.222.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.
April 12, 2010, at 02:01 PM by 65.172.24.27 -
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.
March 12, 2010, at 05:25 PM by 150.135.222.84 -
Added line 24:
** bibtexsummary:[Publications.bibtex,j:sprinkle-sosym-2009]
March 12, 2010, at 05:19 PM by 150.135.222.84 -
Changed line 33 from:
!!! Autonomous Vehicle Technology
to:
!!! [[Autonomous Vehicle Technology]]
November 06, 2009, at 10:33 AM by 150.135.222.44 -
Changed line 18 from:
** bibtexsummary:[Publications.Bibex,w:sprinkle-oopsla-2009]
to:
** bibtexsummary:[Publications.Bibtex,w:sprinkle-oopsla-2009]
November 06, 2009, at 10:32 AM by 150.135.222.44 -
Added lines 11-13:


!! Research Experiences
Deleted lines 14-16:


!! Research Experiences
Added line 18:
** bibtexsummary:[Publications.Bibex,w:sprinkle-oopsla-2009]
November 06, 2009, at 10:31 AM by 150.135.222.44 -
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.
September 23, 2009, at 11:04 AM by 150.135.222.48 -
Added line 7:
* [[http://www.ece.arizona.edu/~sprinkjm/research/mehs | Modeling of Embedded Human Systems]]
Added line 10:
April 22, 2009, at 12:17 PM by 150.135.217.192 -
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).]]
March 13, 2009, at 12:17 PM by 97.47.231.190 -
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).]]
March 13, 2009, at 12:15 PM by 97.47.231.190 -
Changed line 12 from:
[[Attach:multicore-success-failure.png]]
to:
-->%height=100px% Attach:multicore-success-failure.png
March 13, 2009, at 12:14 PM by 97.47.231.190 -
Changed line 12 from:
-->[[Attach:multicore-success-failure.png]]
to:
[[Attach:multicore-success-failure.png]]
March 13, 2009, at 12:14 PM by 97.47.231.190 -
Changed lines 12-13 from:
[[Attach:multicore-success-failure.png]]
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.
]]
March 13, 2009, at 12:10 PM by 97.47.231.190 -
Added lines 9-10:

!! Research Experiences
Added line 12:
[[Attach:multicore-success-failure.png]]
Deleted lines 13-14:

!! Research Experiences
October 09, 2008, at 03:34 PM by 150.135.222.8 -
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.
April 18, 2008, at 10:58 AM by 150.135.222.1 -
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
.
March 25, 2008, at 12:22 PM by 150.135.217.192 -
Added line 47:
* [[Weekly Meetings]]
March 25, 2008, at 12:19 PM by 150.135.217.192 -
Added line 46:
!! Meetings
March 05, 2008, at 09:58 PM by 150.135.115.183 -
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).
February 12, 2008, at 05:53 PM by 150.135.217.192 -
Changed lines 24-25 from:
** bibtexquery:[Publications.Bibtex,tr:sbdt2007]
to:
** bibtexsummary:[Publications.Bibtex,tr:sbdt2007]
February 12, 2008, at 05:53 PM by 150.135.217.192 -
Changed line 16 from:
** bibtexsummary:[Publications.Bibtex,j:sprinklePotentials2004]
to:
** bibtexsummary:[Publications.Bibtex,j:SprinklePotentials2004]
February 12, 2008, at 05:53 PM by 150.135.217.192 -
Changed lines 13-14 from:
** bibtexsummary:[Publications.Bibtex,j:sprinkleISSE2005]
** bibtexsummary:[Publications.Bibtex,c:eklundACC2005]
to:
** bibtexsummary:[Publications.Bibtex,j:sprinkle-ISSE-2005]
** bibtexsummary:[Publications.Bibtex,c:EklundACC2005]
Changed line 16 from:
** bibtexsummary:[Publications.Bibtex,j:sprinklePotentials2003]
to:
** bibtexsummary:[Publications.Bibtex,j:sprinklePotentials2004]
February 12, 2008, at 05:52 PM by 150.135.217.192 -
Added lines 13-14:
** bibtexsummary:[Publications.Bibtex,j:sprinkleISSE2005]
** bibtexsummary:[Publications.Bibtex,c:eklundACC2005]
Changed lines 16-18 from:
to:
** bibtexsummary:[Publications.Bibtex,j:sprinklePotentials2003]
** bibtexsummary:[Publications.Bibtex,j:LedecziComputer2001]
February 12, 2008, at 05:50 PM by 150.135.217.192 -
Added line 11:
** bibtexsummary:[Publications.Bibtex,tr:sbdt2007]
February 12, 2008, at 05:49 PM by 150.135.217.192 -
Added line 10:
** bibtexsummary:[Publications.Bibtex,c:gonzalezAAET2008]
February 12, 2008, at 04:57 PM by 150.135.217.192 -
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]
February 12, 2008, at 04:31 PM by 150.135.217.192 -
Changed line 19 from:
* Domain-Specific Modeling Environments (DSMEs) (see a trivial example here)
to:
* Domain-Specific Modeling Environments (DSMEs)
February 12, 2008, at 04:31 PM by 150.135.217.192 -
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)
February 12, 2008, at 04:29 PM by 150.135.217.192 -
Deleted lines 33-54:
! 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

Printers:
ece446hp (HP2015dn)
February 11, 2008, at 12:23 PM by 150.135.217.192 -
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]]
Deleted line 55:
! [[csl/HowTo | How to do stuff in the lab]]
February 06, 2008, at 01:53 PM by 150.135.217.192 -
Added lines 47-49:
Printers:
ece446hp (HP2015dn)
February 06, 2008, at 11:45 AM by 150.135.217.192 -
Changed lines 32-33 from:
Bracton 150.135.217.192 (Linux Server)
to:
[[Bracton]] 150.135.217.192 (Linux Server)
February 06, 2008, at 11:45 AM by 150.135.217.192 -
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)]]
February 06, 2008, at 11:44 AM by 150.135.217.192 -
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)]]
January 26, 2008, at 02:23 PM by 150.135.217.191 -
Changed line 47 from:
! [[Lab How To Pages]]
to:
! [[csl/HowTo | How to do stuff in the lab]]
January 26, 2008, at 02:21 PM by 150.135.217.191 -
Changed line 47 from:
to:
! [[Lab How To Pages]]
January 17, 2008, at 06:46 PM by 150.135.217.191 -
Changed line 31 from:
Ransom 150.135.217.191 (Windows Terminal Server)
to:
[[Ransom]] 150.135.217.191 (Windows Terminal Server)
January 15, 2008, at 03:23 PM by 150.135.92.35 -
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
January 14, 2008, at 10:41 AM by 150.135.222.38 -
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)]]
December 04, 2007, at 10:22 AM by 150.135.222.36 -
Added lines 8-10:
!!! Autonomous Vehicle Technology
* Autonomous Cars [[Attach:DGC-PromoVideo.mov | Promotional Video for Sydney-Berkeley Driving Team]]
September 18, 2007, at 11:21 AM by 150.135.222.47 -
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)]]
September 18, 2007, at 11:19 AM by 150.135.222.47 -
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)
September 18, 2007, at 11:19 AM by 150.135.222.47 -
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