Nederlands

PhD defence Benjamin Lion

An Algebra for Interaction of Cyber-Physical Components

When
1 Jun 2023 from 4:15 p.m. to 1 Jun 2023 6 p.m. CEST (GMT+0200)
Where
The Academy Building, Rapenburg 73, 2311 GJ Leiden

You are cordially invited to attend the public defence of Benjamin Lion, on Thursday 1 June 2023 at 16:15, entitled: "An Algebra for Interaction of Cyber-Physical Components".

The defence will take place in the Academy Building, at Rapenburg 73, 2311 GJ Leiden.
The defence lasts for around an hour, after which a small reception will be organized in the same university building.

In case you cannot be physically present and want to follow the ceremony remotely, the defence will be broadcasted at:

Summary of An Algebra for Interaction of Cyber-Physical Components

Modelling and analysis of cyber-physical systems are still challenging⁠. One reason is that cyber-physical systems involve many different parts (cyber or physical), of different nature (discrete or continuous), and in constant interaction via sensing and actuating⁠.
For instance, consider a group of robots, each running a program that takes decisions based on the sequence of sensor readings⁠. The sensors that equip a robot return the current position of the robot and the position of any adjacent obstacle⁠. The interaction occurring between each robot in the group cannot be derived solely from the specification of individual robots⁠. If the field on which the robots roam changes its property, the same group of robots might sense different values, and therefore take different actions⁠. Also, the time at which a robot acts and senses will affect the decision of each controller and will change the resulting collective behaviour⁠.

This thesis proposes a compositional approach to the design and programming of interacting cyber-physical components⁠. We present an algebra that provides a novel perspective on modeling interaction of cyber-physical components⁠. Using our algebraic framework, one can design a complex cyber-physical system by first designing each part, and then specifying how the parts interact⁠. We formalized the relation between our abstract semantic model and an implementation written in Maude, a programming language based on rewriting logic⁠. We present some applications, including safety and liveness properties of a system consisting of a set of robots, each equipped with a battery, running on a shared field⁠.

Supervisors:

• Prof. dr. ir. F. Arbab
• dr. C. Talcott