Difference between revisions of "Old Name of the new project"

From CERES
Jump to: navigation, search
Line 1: Line 1:
 
{{StudentProjectTemplate
 
{{StudentProjectTemplate
−
|Summary=The proposed thesis work is being carried in collaboration with Saab - Airborne Surveillance System Business Units
+
|Summary=Multiple Projects
−
|Programme=Effective Implementation of Advanced Sensor Application, 30 hp
+
|Programme=EIS Masters 15hpc
 
|TimeFrame=6 months
 
|TimeFrame=6 months
−
|Supervisor=Anders Åhlander, Zain Ul-Abdin,
+
|References=Contact instructor
 +
|Supervisor=Walid Taha
 
|Examiner=Mohammad Reza Mousavi
 
|Examiner=Mohammad Reza Mousavi
−
|Level=Master
+
|Level=Flexible
 
|Status=Finished
 
|Status=Finished
 
}}
 
}}
−
For more details about the thesis work and the application procedure, follow the link:
+
My preference is always to discuss projects with students in the context of their individual goals and experiences. For this reason, I prefer to give project suggestions at a high level so that we can work together on developing the most meaningful project for both the student and the host research team.
  
−
http://saabgroup.com/sv/career/job-opportunities/examensarbete-effektiv-realisering-av-datorapplikationer-i-avancerade-sensorsystem/
+
Ideas for EIS Masters Thesis Projects
 +
 
 +
- Model-based design for intelligent transportation systems.
 +
  Using miniature cars in our lab.
 +
  Develop a careful and reliable model.
 +
  Instrumenting the lab for reliable and easy to use measurement.
 +
  Validating the model against measured data using enclosures.
 +
  Demonstrating adoption by students and teachers at HH.
 +
  Demonstrating relevance to industrial partners.
 +
 
 +
- Reliable m&s of bipedal robots and/or vehicle dynamics.
 +
  Using EL equations.
 +
  Using enclosures.
 +
  Requires robot modeling and developing enclosure semantics.
 +
  Involves comparing with other tools.
 +
 
 +
- A platform for crowdsourced design.
 +
  Transforming ModGame into a platform for open,
 +
  collaborative design.
 +
  What would it take in terms of design, computing, and security?
 +
  Should/can we move Acumen to be a fully web-based platform?
 +
  How can we evaluate it in the small?
 +
  How can we evaluate it in the large?
 +
 
 +
- Robust optimization by generalizing rigorous simulation.
 +
  Application to discrete and differential games.
 +
  Applications to path planning and scheduling.
 +
  Applications to circuit design and controller design.
 +
 
 +
- Language primitives to support Maxwell's equations.
 +
  Support using traditional interrupters, then using enclosures.
 +
  Evaluation on antenna designs and mimo.
 +
  Experimental evaluation in our own e-lab.
 +
 
 +
Ideas for Theoretical Computer Science projects:
 +
 
 +
- Extending Acumen's support for non-determinism.
 +
  Supporting conflicting-but-bounded rewrites.
 +
  Identifying confluent conflicts.
 +
 
 +
- A visual language for faster model-based design.
 +
  A graphical interface for design.
 +
  Web-based implementation would probably be a big plus.
 +
  Will naturally build on Viktor's work.
 +
 
 +
- Support for interaction with a simulation through 3D view.
 +
  Designing syntax extension needed.
 +
  Designing basic types of interactions allowed.
 +
  Supporting deployment on PC, mobile devices, web-apps.
 +
  App store support.
 +
 
 +
- A faster enclosure backend with parallel server support.
 +
  Based on the CAPD library.
 +
  Focus on larger benchmarks studied by others.
 +
 
 +
- Support for bounded and stochastic uncertainty.
 +
  Case studies with applications to communication systems.
 +
  Starting with queuing systems.
 +
 
 +
- Investigating contractors for hybrid dynamical systems.
 +
  Looking at DynIBEX.
 +
  Building somethings similar for Acumen.
 +
  Benchmarking both old and new interpreters.
 +
 
 +
- Methods for improving accuracy and efficiency.
 +
  Looking mainly at the work of Stan Bek and company.
 +
  Shrink wrapping.
 +
  Extensive benchmarking with other tools.
 +
  Focus on case studies from automotive domain
 +
 
 +
- A faster implementation of the various Acumen semantics within Scala (using RTCG and or staging).

Revision as of 04:35, 11 October 2016

Title Old Name of the new project
Summary Multiple Projects
Keywords
TimeFrame 6 months
References Contact instructor
Prerequisites
Author
Supervisor Walid Taha
Level Flexible
Status Finished

Generate PDF template

My preference is always to discuss projects with students in the context of their individual goals and experiences. For this reason, I prefer to give project suggestions at a high level so that we can work together on developing the most meaningful project for both the student and the host research team.

Ideas for EIS Masters Thesis Projects

- Model-based design for intelligent transportation systems. 

 Using miniature cars in our lab.
 Develop a careful and reliable model.
 Instrumenting the lab for reliable and easy to use measurement.
 Validating the model against measured data using enclosures.
 Demonstrating adoption by students and teachers at HH.
 Demonstrating relevance to industrial partners.

- Reliable m&s of bipedal robots and/or vehicle dynamics. 

 Using EL equations.
 Using enclosures.
 Requires robot modeling and developing enclosure semantics.
 Involves comparing with other tools.

- A platform for crowdsourced design. 

 Transforming ModGame into a platform for open,
 collaborative design.
 What would it take in terms of design, computing, and security?
 Should/can we move Acumen to be a fully web-based platform?
 How can we evaluate it in the small?
 How can we evaluate it in the large?

- Robust optimization by generalizing rigorous simulation. 

 Application to discrete and differential games.
 Applications to path planning and scheduling.
 Applications to circuit design and controller design.

- Language primitives to support Maxwell's equations. 

 Support using traditional interrupters, then using enclosures.
 Evaluation on antenna designs and mimo.
 Experimental evaluation in our own e-lab.

Ideas for Theoretical Computer Science projects:

- Extending Acumen's support for non-determinism. 

 Supporting conflicting-but-bounded rewrites.
 Identifying confluent conflicts.

- A visual language for faster model-based design. 

 A graphical interface for design.
 Web-based implementation would probably be a big plus.
 Will naturally build on Viktor's work.

- Support for interaction with a simulation through 3D view. 

 Designing syntax extension needed.
 Designing basic types of interactions allowed.
 Supporting deployment on PC, mobile devices, web-apps.
 App store support.

- A faster enclosure backend with parallel server support. 

  Based on the CAPD library.
  Focus on larger benchmarks studied by others.

- Support for bounded and stochastic uncertainty.
  Case studies with applications to communication systems.
  Starting with queuing systems.

- Investigating contractors for hybrid dynamical systems.
  Looking at DynIBEX.
  Building somethings similar for Acumen.
  Benchmarking both old and new interpreters.

- Methods for improving accuracy and efficiency.
  Looking mainly at the work of Stan Bek and company.
  Shrink wrapping.
  Extensive benchmarking with other tools.
  Focus on case studies from automotive domain

- A faster implementation of the various Acumen semantics within Scala (using RTCG and or staging).

Retrieved from "https://wiki.hh.se/ceres/index.php?title=Old_Name_of_the_new_project&oldid=6335"