Current research interests: Autonomous Systems

Over the past ten years, my main research activities have focused on autonomous systems, their design and validation in two application areas: autonomous driving systems and autonomous telecommunication networks.

I consider autonomous systems to be the most difficult to build, as they are destined to replace human agents in complex organizations, as envisaged by the Industrial Internet of Things. These are real-time, distributed systems made up of agents, each pursuing its own goals, but all having to cooperate to achieve the system’s overall goals and  collective intelligence.

My work includes the development of a theoretical framework for autonomous systems that provides a characterization of autonomous agents by reference architectures integrating a set of independent functions collaborating around a knowledge repository. A detailed description and justification of agent reference architectures is provided in my book : https://link.springer.com/book/10.1007/978-981-19-1932-9  

The rest of my work follows two complementary directions:

  • The design of autonomous systems, which aims to study hybrid agent architectures integrating artificial intelligence and model-based components.
  • The validation of autonomous systems, which focuses on simulation-based testing, investigating modeling issues as well as testing methodologies and their effective application.

Recent publications on Autonomous Systems

  1. Hezhen Liu, Chengqiang Huang, Ke Sun, Jiacheng Yin, Xiaoyu Wu, Jin Wang, Qunli Zhang, Yang Zheng, Vivek Nigam, Feng Liu, Joseph Sifakis:
    Design for dependability – State of the art and trends. Syst. Softw. 211: 111989 (2024)
  2. Marius Bozga, Joseph Sifakis:
    Safe by Design Autonomous Driving Systems. CoRR abs/2405.11995 (2024)
  3. Changwen Li, Joseph Sifakis, Rongjie Yan, Jian Zhang:
    Rigorous Simulation-based Testing for Autonomous Driving Systems – Targeting the Achilles’ Heel of Four Open Autopilots. CoRR abs/2405.16914 (2024)
  4. Cristian S. Calude, Shahrokh Heidari, Joseph Sifakis:
    What perceptron neural networks are (not) good for? Sci. 621: 844-857 (2023)
  5. Marius Bozga, Joseph Sifakis:
    Correct by design coordination of autonomous driving systems. J. Softw. Tools Technol. Transf. 25(5): 625-639 (2023)
  6. Marius Bozga, Radu Iosif, Joseph Sifakis:
    Verification of component-based systems with recursive architectures. Comput. Sci. 940(Part): 146-175 (2023)
  7. Joseph Sifakis, David Harel:
    Trustworthy Autonomous System Development. ACM Trans. Embed. Comput. Syst. 22(3): 40:1-40:24 (2023)
  8. Changwen Li, Joseph Sifakis, Qiang Wang, Rongjie Yan, Jian Zhang:
    Simulation-Based Validation for Autonomous Driving Systems. ISSTA 2023: 842-853
  9. Changwen Li, Joseph Sifakis, Qiang Wang, Rongjie Yan, Jian Zhang:
    Simulation-based Validation for Autonomous Driving Systems. CoRR abs/2301.03941 (2023)
  10. Joseph Sifakis:
    Testing System Intelligence. CoRR abs/2305.11472 (2023)
  11. Joseph Sifakis:
    Understanding and Changing the World – From Information to Knowledge and Intelligence. Springer 2022, ISBN 978-981-19-1931-2, pp. 1-158
  12. David Harel, Assaf Marron, Joseph Sifakis:
    Creating a Foundation for Next-Generation Autonomous Systems. IEEE Des. Test 39(1): 49-56 (2022)
  13. Qiang Wang, Xinlei Zheng, Jiyong Zhang, Joseph Sifakis:
    A hybrid controller for safe and efficient longitudinal collision avoidance control. Syst. Archit. 125: 102432 (2022)
  14. Marius Bozga, Joseph Sifakis:
    Specification and Validation of Autonomous Driving Systems: A Multilevel Semantic Framework. Principles of Systems Design 2022: 85-106
  15. Shengduo Chen, Yaowei Sun, Dachuan Li, Qiang Wang, Qi Hao, Joseph Sifakis:
    Runtime Safety Assurance for Learning-enabled Control of Autonomous Driving Vehicles. ICRA 2022: 8978-8984
  16. Marius Bozga, Joseph Sifakis:
    Correct by Design Coordination of Autonomous Driving Systems. ISoLA (3) 2022: 13-29
  17. Marius Bozga, Joseph Sifakis:
    Correct by Design Coordination of Autonomous Driving Systems. CoRR abs/2205.10037 (2022)
  18. Marius Bozga, Radu Iosif, Joseph Sifakis:
    Checking deadlock-freedom of parametric component-based systems. Log. Algebraic Methods Program. 119: 100621 (2021)
  19. Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis:
    Programming dynamic reconfigurable systems. J. Softw. Tools Technol. Transf. 23(5): 701-719 (2021)
  20. Antoine El-Hokayem, Marius Bozga, Joseph Sifakis:
    A temporal configuration logic for dynamic reconfigurable systems. SAC 2021: 1419-1428
  21. Joseph Sifakis:
    Why is it so hard to make self-driving cars? (Trustworthy autonomous systems). WI/IAT 2021: 2
  22. Qiang Wang, Xinlei Zheng, Jiyong Zhang, Joseph Sifakis:
    A hybrid controller for safe and efficient collision avoidance control. CoRR abs/2103.15484 (2021)
  23. Marius Bozga, Joseph Sifakis:
    Specification and Validation of Autonomous Driving Systems: A Multilevel Semantic Framework. CoRR abs/2109.06478 (2021)
  24. Shengduo Chen, Yaowei Sun, Dachuan Li, Qiang Wang, Qi Hao, Joseph Sifakis:
    Runtime Safety Assurance for Learning-enabled Control of Autonomous Driving Vehicles. CoRR abs/2109.13446 (2021)
  25. Marius Bozga, Radu Iosif, Joseph Sifakis:
    Verification of Component-based Systems with Recursive Architectures. CoRR abs/2112.08292 (2021)
  26. David Harel, Assaf Marron, Joseph Sifakis:
    Autonomics: In search of a foundation for next-generation autonomous systems. Natl. Acad. Sci. USA 117(30): 17491-17498 (2020)
  27. Rocco De Nicola, Alessandro Maggi, Joseph Sifakis:
    The DReAM framework for dynamic reconfigurable architecture modelling: theory and applications. J. Softw. Tools Technol. Transf. 22(4): 437-455 (2020)
  28. Qiang Wang, Dachuan Li, Joseph Sifakis:
    Safe and efficient collision avoidance control for autonomous vehicles. MEMOCODE 2020: 1-6
  29. Antoine El-Hokayem, Saddek Bensalem, Marius Bozga, Joseph Sifakis:
    A Layered Implementation of DR-BIP Supporting Run-Time Monitoring and Analysis. SEFM 2020: 284-302
  30. Marius Bozga, Javier Esparza, Radu Iosif, Joseph Sifakis, Christoph Welzel:
    Structural Invariants for the Verification of Systems with Parameterized Architectures. TACAS (1) 2020: 228-246
    .
  31. Marius Bozga, Javier Esparza, Radu Iosif, Joseph Sifakis, Christoph Welzel:
    Structural Invariants for the Verification of Systems with Parameterized Architectures. CoRR abs/2002.07672 (2020)
  32. Qiang Wang, Dachuan Li, Joseph Sifakis:
    Safe and efficient collision avoidance control for autonomous vehicles. CoRR abs/2008.04080 (2020)
  33. Joseph Sifakis: Autonomous Systems – An Architectural Characterization.Models, Languages, and Tools for Concurrent and Distributed Programming 2019: 388-410
  34. Joseph Sifakis: Can We Trust Autonomous Systems? Boundaries and Risks. ATVA 2019: 65-78
  35. Simon Bliudze, Sébastien Furic, Joseph Sifakis, Antoine Viel:
    Rigorous design of cyber-physical systems – Linking physicality and computation. Syst. Model. 18(3): 1613-1636 (2019)
  36. Joseph Sifakis Autonomous Systems — An Architectural Characterization, https://arxiv.org/abs/1811.10277 November 2018
  37. Joseph Sifakis: System Design in the Era of IoT – Meeting the Autonomy Challenge. MeTRiD@ETAPS 2018: 1-22