TACPS 2024-OCT was held successfully

The 2nd International Workshop on Trustworthy Autonomous Cyber-Physical Systems (TACPS 2024-OCT)

Autonomous cyber-physical Systems are rapidly integrating into our everyday lives. These systems are capable of operating and performing tasks without explicit human intervention to various degrees. Such systems span a diverse array of applications, including, but not limited to, self-driving vehicles, unmanned aerial vehicles, robotic manufacturing systems, autonomous surgical robots, smart home systems, smart farms, autonomous submarines and unmanned space rovers. In a world increasingly reliant on autonomous cyber-physical systems, trustworthiness is not just a topic within academic circles, but also a critical concern in industry. The assurance of reliability, safety, security, fairness, and interpretability of these systems is crucial to their successful deployment and, consequently, the future of our society. This is especially so in view of the impact of AI techniques on the design of CPS systems.

Our meticulously designed program prioritizes verification and validation as a major cross-cutting theme. We recognize the inherent challenges these twin pillars present at every phase of the Software Development Life Cycle (SDLC). From data collection and labelling to AI-centric system design, development, testing, and deployment – every stage demands rigorous validation and verification. Especially with data and learning emerging as critical components, the call for rigorous validation and verification is more pressing than ever.

Furthermore, our discussions will traverse the terrain of real-world fault tolerance, system optimization, and the often underplayed, yet vital aspect of human-machine interaction. We intend to highlight human involvement, not just as system overseers, but also in pivotal roles in system validation, interpretability, and in devising systems with nuanced, human-like reasoning capabilities.

This workshop is set to be a dynamic platform for knowledge exchange. It will draw together researchers from diverse disciplines, such as Software Engineering, Systems, Networking, Program Language, Machine Learning, Human Computer Interaction, Control Theory, Formal Verification, along with industry experts and AI enthusiasts worldwide. Attendees will have the opportunity to learn from global leaders in the field, engage in stimulating discussions, and collaborate on innovative solutions to enhance the trustworthiness of autonomous cyber-physical system.

Workshop Chairs

Dr. Xi Zheng (co-chair), Macquarie University.

Prof. Aloysius K. Mok (co-chair), University of Texas at Austin.

A/Prof. Miroslav Pajic (co-chair), Duke University.

Dr. Amir Khazraei (co-chair), Duke University.

Steering Committee

Dr. Xi Zheng, Macquarie University

Prof. Aloysius K. Mok, University of Texas at Austin

Prof. Insup Lee, University of Pennsylvania

Prof. Oleg Sokolsky, University of Pennsylvania

Prof. Bhaskar Krishnamachari, University of Southern California

Prof. Dakai Zhu, The University of Texas at San Antonio

A/Prof. Ruzica Piskac, Yale University

9:00-10:00 Welcome/Keynote session (Session Chair: Xi Zheng)

10:00-10:30: Coffee break

10:30 – 12:30: Session 1 (Session Chair: Ruzica Piskac)

12:30-13:30: Lunch break

13:30 – 15:00: Session 2 (Session Chair: Miroslav Pajic)

15:00-15:30: Coffee break with Dagstuhl and Shonan Seminar Committee meeting

15:30 – 17:00: Session 3 (Session Chair: Xi Zheng)

  • 15:30 – 16:15: Invited Talk VI – Current Trends in Neuro-Symbolic Paradigm (Armando Solar-Lezama, Massachusetts Institute of Technology)
  • 16:15 – 17:00: Panel discussion on the impact of foundation models and the neuro-symbolic paradigm on trusted autonomy (Host: Xi Zheng, Panel Members: Ivan Ruchkin, Miroslav Pajic, Armando Solar-Lezama)