Programs for the physical world — describing vehicles and fireflies

1. Two (apparently) different problems

2. Hybrid Programming

3. Simulating Hybrid Programs via Lince

Figure 1. Simple example of a hybrid program (on the left) and corresponding trajectory (on the right).

3.1 The spacecraft and its descent into a planet

Figure 2. A hybrid program for the spacecraft’s descent (on the left), corresponding trajectory (on the top right) and a zoomed in version of the latter when close to the ground (on the bottom right).
Figure 3. Spacecraft crashing with a velocity around 720km/h as a consequence of increasing the initial velocity to 4680km/h.

3.2 The fireflies’ synchronisation strategy

Figure 4: Description and simulation of the internal clocks of two fireflies.


Short bios

INESC TEC is a private non-profit research institution, dedicated to scientific research and technological development.

Get the Medium app

A button that says 'Download on the App Store', and if clicked it will lead you to the iOS App store
A button that says 'Get it on, Google Play', and if clicked it will lead you to the Google Play store