CDC 2016 Full-Day Workshop

Verification and control of cyber-physical systems: theory and applications


Date: December 11, 2016

Location:  Starvine 2, ARIA Resort & Casino, Las Vegas, USA



Axel Busboom – GE Global Research Europe, Munich, Germany

Maria Prandini – Politecnico di Milano, Italy



This one-day workshop aims at highlighting the challenges in verification and control of complex cyber-physical systems (CPS’s) that arise from and are motivated by applications in various domains and on transportation and robotics systems, in particular.

The workshop comprises recent advances and developments, as well as new approaches to cope with the system hybrid dynamics, its interconnected nature, the presence of exogenous and/or endogenous uncertainty affecting its system evolution, its safety and operational critical nature.

Attendees will be exposed to cutting edge research in the field, with an eye on both theory and applications, and will be given some insight on the challenges of contemporary interest in the field of verification and control of CPS’s and on promising directions of research.

The expected outcome is twofold:

-          researchers and students who are new to the field will get a glance on the relevant issues and challenges, acquire awareness of the existing literature and open issues, and get some insight on the potential connections and complementaries among different approaches as well as new perspectives on the field, and,

-          collaborations between researchers for the development of future generation of CPS’s will be facilitated.

To this end, a strong group of internationally recognized researchers from industry and academia, affiliated with outstanding companies and institutions in Europe and in the United States, is brought together.


Target audience and prerequisites

The workshop aims at attracting graduate students and researchers with an interest in formal methods for CPS verification and control, to get them exposed to the fundamentals, and to point out recent advances and open research directions in the field.

The target audience also includes researchers that are more inclined towards applications than to theoretical aspects. Emphasis will be given on illustrating the potential of applying the theoretical approaches to challenges in relevant application sectors,  with special focus on robotics and transportation.

No particular prerequisites are required. Any graduate level control engineer should be able to obtain some benefit from attending, not limited to grasping the main concepts but also achieving some deep level of understanding. It would be beneficial, however, having a strong mathematical background, possibly being familiar with control and systems theory, although also attendees from other disciplines than control (e.g., computer science, operations research, robotics) are qualified to attend the workshop, because of the topics addressed and the self-contained nature of the presentations.



The workshop is organized in three sessions.

The first session presents an industrial perspective to the challenges in cyber-physical systems design as emerging from various application domains, and from autonomous systems in particular.

Off-line verification based on testing and on-line verification methods are presented in the second session, dealing with robotic systems and automated vehicles.

Novel methods for control design and collision avoidance for autonomous vehicles based on reachable sets computation are tackled in the third section, where path planning subject to temporal specifications specified via temporal logic is also addressed for unmanned vehicles and multi-robot systems. A presentation on coordination of fleets of vehicles in smart transportation systems concludes the session.


Final Agenda

The final agenda is available for download pdf form (download pdf)