18 citations · 48 across the 21 of their papers we have counts for
23 papers
Testing Autonomous Driving Systems -- What Really Matters and What Doesn't
Changwen Li, Joseph Sifakis, Rongjie Yan +1
Despite extensive research, the testing of autonomous driving systems (ADS) landscape remains fragmented, and there is currently no basis for an informed technical assessment of th…
A Comprehensive Evaluation of Four End-to-End AI Autopilots Using CCTest and the Carla Leaderboard
Changwen Li, Joseph Sifakis, Rongjie Yan +1
End-to-end AI autopilots for autonomous driving systems have emerged as a promising alternative to traditional modular autopilots, offering the potential to reduce development cost…
Rigorous Simulation-based Testing for Autonomous Driving Systems -- Targeting the Achilles' Heel of Four Open Autopilots
Changwen Li, Joseph Sifakis, Rongjie Yan +1
Simulation-based testing remains the main approach for validating Autonomous Driving Systems. We propose a rigorous test method based on breaking down scenarios into simple ones, t…
Compositionally Safe Construction of Autonomous Driving Systems
Marius Bozga, Joseph Sifakis
Developing safe autonomous driving systems is a major scientific and technical challenge. Existing AI-based end-to-end solutions do not offer the necessary safety guarantees, while…
Testing System Intelligence
Joseph Sifakis
We discuss the adequacy of tests for intelligent systems and practical problems raised by their implementation. We propose the replacement test as the ability of a system to replac…
Simulation-based Validation for Autonomous Driving Systems
Changwen Li, Joseph Sifakis, Qiang Wang +2
Simulation is essential to validate autonomous driving systems. However, a simple simulation, even for an extremely high number of simulated miles or hours, is not sufficient. We n…
Correct by Design Coordination of Autonomous Driving Systems
Marius Bozga, Joseph Sifakis
The paper proposes a method for the correct by design coordination of autonomous driving systems (ADS). It builds on previous results on collision avoidance policies and the modeli…
Verification of Component-based Systems with Recursive Architectures
Marius Bozga, Radu Iosif, Joseph Sifakis
We study a sound verification method for parametric component-based systems. The method uses a resource logic, a new formal specification language for distributed systems consistin…
Runtime Safety Assurance for Learning-enabled Control of Autonomous Driving Vehicles
Shengduo Chen, Yaowei Sun, Dachuan Li +3
Providing safety guarantees for Autonomous Vehicle (AV) systems with machine-learning-based controllers remains a challenging issue. In this work, we propose Simplex-Drive, a frame…
Specification and Validation of Autonomous Driving Systems: A Multilevel Semantic Framework
Marius Bozga, Joseph Sifakis
Autonomous Driving Systems (ADS) are critical dynamic reconfigurable agent systems whose specification and validation raises extremely challenging problems. The paper presents a mu…
A hybrid controller for safe and efficient collision avoidance control
Qiang Wang, Xinlei Zheng, Jiyong Zhang +1
We design and experimentally evaluate a hybrid safe-by-construction collision avoidance controller for autonomous vehicles. The controller combines into a single architecture the r…
Safe and efficient collision avoidance control for autonomous vehicles
Qiang Wang, Dachuan Li, Joseph Sifakis
We study a novel principle for safe and efficient collision avoidance that adopts a mathematically elegant and general framework abstracting as much as possible from the controlled…
Structural Invariants for the Verification of Systems with Parameterized Architectures
Marius Bozga, Javier Esparza, Radu Iosif +2
We consider parameterized concurrent systems consisting of a finite but unknown number of components, obtained by replicating a given set of finite state automata. Components commu…
Autonomics: In Search of a Foundation for Next Generation Autonomous Systems
David Harel, Assaf Marron, Joseph Sifakis
The potential benefits of autonomous systems have been driving intensive development of such systems, and of supporting tools and methodologies. However, there are still major issu…
DesignBIP: A Design Studio for Modeling and Generating Systems with BIP
Anastasia Mavridou, Joseph Sifakis, Janos Sztipanovits
The Behavior-Interaction-Priority (BIP) framework, rooted in rigorous semantics, allows the construction of systems that are correct-by-design. BIP has been effectively used for th…
Local Reasoning about Parametric and Reconfigurable Component-based Systems
Marius Bozga, Radu Iosif, Joseph Sifakis
We introduce a logical framework for the specification and verification of component-based systems, in which finitely many component instances are active, but the bound on their nu…
Structural Invariants for Parametric Verification of Systems with Almost Linear Architectures
Marius Bozga, Radu Iosif, Joseph Sifakis
We consider concurrent systems consisting of a finite but unknown number of components, that are replicated instances of a given set of finite state automata. The components commun…
Autonomous Systems -- An Architectural Characterization
Joseph Sifakis
The concept of autonomy is key to the IoT vision promising increasing integration of smart services and systems minimizing human intervention. This vision challenges our capability…
System Design in the Era of IoT --- Meeting the Autonomy Challenge
Joseph Sifakis
The advent of IoT is a great opportunity to reinvigorate Computing by focusing on autonomous system design. This certainly raises technology questions but, more importantly, it req…
DesignBIP: A Design Studio for Modeling and Generating Systems with BIP
Anastasia Mavridou, Joseph Sifakis, Janos Sztipanovits
The Behavior-Interaction-Priority (BIP) framework, rooted in rigorous semantics, allows the construction of systems that are correct-by-design. BIP has been effectively used for th…
Checking Deadlock-Freedom of Parametric Component-Based Systems
Marius Bozga, Radu Iosif, Joseph Sifakis
We propose an automated method for computing inductive invariants applied to check deadlock-freedom for parametric component-based systems. The method generalizes the approach for…
DReAM: Dynamic Reconfigurable Architecture Modeling (full paper)
Rocco De Nicola, Alessandro Maggi, Joseph Sifakis
Modern systems evolve in unpredictable environments and have to continuously adapt their behavior to changing conditions. The "DReAM" (Dynamic Reconfigurable Architecture Modeling)…
Architecture Diagrams: A Graphical Language for Architecture Style Specification
Anastasia Mavridou, Eduard Baranov, Simon Bliudze +1
Architecture styles characterise families of architectures sharing common characteristics. We have recently proposed configuration logics for architecture style specification. In t…