Tsunamis generated by underwater volcanic eruptions are physically modeled in a large three-dimensional wave basin. A unique pneumatic tsunami generator (VTG) was deployed at the bottom of basin to generate tsunamis with repeatable source parameters under controlled physical conditions. The Froude number defined VTG eruption velocity and water depth allows model real-world events from slow mud-...

Technological progress in recent years the Cyber-Physical Systems (CPSs) area has given designers unprecedented possibilities and computational power, but as a consequence, modeled CPSs are becoming increasingly complex, hierarchical, concurrent. Therefore, new methods of design (especially using abstract modeling) needed. The paper presents an approach to CPS control part modeling state machin...