Controlling Lego Robots Using a Synchronous-Reactive Model of Computation

• Paper:  Controlling Robots
  
• Poster:  Controlling Robots Poster
  

• Presentation:  Controlling Robots Presentation
  

Exploring with Lego Robots

• Paper:  Exploring with Lego Robots
  
• Poster:  Exploring with Lego Robots Poster
  

• Presentation:  Exploring with Lego Robots Presentation
  

Hybrid System Modeling / Fault Diagnosis

• Paper: Three Tank System
  
• Poster:  Three Tank System Poster
  

• Presentation: Three Tank System Presentation
  

Radio Controlled Car Controller

• Paper:  Radio Controlled Car Controller
  
• Poster:  RC Car Controller Poster
  

• Presentation:  RC Car Controller Presentation
  

Security Analysis of Systems using Model-Integrated Computing

• Paper:  Security Analysis of Systems Using MIC
  
• Poster:  Security Analysis of Systems Using MIC Poster
• Presentation:  Security Analysis of Systems Using MIC Presentation