Cyber-physical and Autonomous systems

Cyber-Physical Systems (CPS) are systems characterised by a tight interaction between computation, communication and control elements (the cyber part) and physical processes such as motion, heating/cooling, vibration, wear and tear (the physical part). Examples include automotive, transport, healthcare, manufacturing, and robotic systems.

Autonomous systems are more and more present in our society due to advanced sensor and actuator systems. An example that is often used and will have significant impact on society are autonomous cars on our highways driving close to each other, considering each other’s behaviour without human intervention. This principle is also very useful for e.g., the ongoing 4th industrial revolution (smart industry) in relation to industrial robotics, smart energy systems, and smart cities to mention just a few. 

This track aims to provide a showcase of the ongoing Dutch research in Autonomous systems and CPS. Topics of interest include autonomous robotics, autonomous vehicles, networked autonomous systems, sensor systems, embedded and real-time processing, embedded platforms, embedded networking, scheduling, safety-critical applications and mixed-criticality, multi-domain modeling, multi-disciplinary (co-)design, embedded, supervisory and feedback control, formal modeling and quality assurance. Topics of technology transfer or research valorization within this field are also of interest. 

Track chairs:
Sofie Haesaert (TU/e)
Prof. Ming Cao (RUG)

Invited Speakers

Bio Jana Tumová Jana Tumová is an assistant professor at the School of Electrical Engineering and Computer Science at KTH Royal Institute of Technology. She received PhD in computer science in 2013 from Masaryk University. She was a postdoctoral researcher at KTH, and a visiting researcher at MIT and Boston University. She was rewarded Swedish Research Council Starting Grant in 2018 and she is a co-PI of several research grants including EU H2020 projects. Her research interests include formal verification and synthesis and temporal logics in general, as well as applied in robot motion planning, control and analysis of dynamical and hybrid systems and multi-agent control.