Visualization for Enclosures

Jump to: navigation, search
Title Visualization for Enclosures
Summary Simulating uncertain systems is a powerful design tools. But how do you visualize the results?
Author Walid Taha
Supervisor Adam Duracz, Veronica Gaspes, Walid Taha
Level Master
Status Open

Generate PDF template

Visualization for Enclosures
Visualization for Enclosures


  • 3D Uncertainty
  • Dynamic refinement
  • Reverse lookup (3D2T)
  • API (direct and socket-based)
  • Specifics: Acumen + JMonkey
  • Supervision: A Duracz, Gaspes, Taha


Cyber-Physical Systems (CPS) is an important research area that is concerned with the way in which many future innovations will involve close coupling of both communicating computational (or cyber) components as well as physical components. Universities around the world are developing courses on CPS, and high-quality case studies and model problems are very important for both the development of these educational programs and for evaluating new CPS tools. At Halmstad, Yingfu Zeng had previously developed a model of a Ping Pong playing robot, which has been used successfully for teaching three editions of the CPS course at Halmstad. The goal of this masters thesis project is to systematically develop support for visualizing a sequence of increasingly more complicated models (building up to the Ping Pong model) when executed using the experimental "enclosure semantics."


  1. Experiences with A First Course on Cyber-Physical Systems. WESE'13 pdf.
  2. Modeling Basic Aspects of Cyber-Physical Systems. DSLRob'12, pdf.
  3. Yingfu Zeng, Lightweight Three-Dimensional Visualization for Hybrid Systems Simulation, Masters thesis in Embedded and Intelligent Systems, Halmstad University, 2012. Archive includes thesis document, presentation, and Acumen models and snapshot of a Acumen.