PhD defence
An Algebra for Interaction of Cyber-Physical Components
- B. Lion
- Date
- Thursday 1 June 2023
- Time
- Location
-
Academy Building
Rapenburg 73
2311 GJ Leiden
Supervisor(s)
- Prof.dr.ir. F. Arbab
- dr. C. Talcott
Summary
Modeling 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 decision 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 behavior.
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.
PhD dissertations
Approximately one week after the defence, PhD dissertations by Leiden PhD students are available digitally through the Leiden Repository, that offers free access to these PhD dissertations. Please note that in some cases a dissertation may be under embargo temporarily and access to its full-text version will only be granted later.
Press enquiries (journalists only)
+31 (0)71 527 1521
nieuws@leidenuniv.nl
General information
Beadle's Office
pedel@bb.leidenuniv.nl
+31 71 527 7211