Tool Support for Hybrid Automata Modeling in Autonomous Driving
Project Overview
The primary objective of this project is to develop a tool wrapper that supports both continuous and discrete aspects of hybrid automata for Adaptive Cruise Control (ACC) systems. The wrapper will serve as an interface to various backend tools such as MATLAB, CORA, and Flow*. This project aims to create a versatile tool wrapper that can handle the complexities of hybrid automata, which are systems that exhibit both continuous and discrete dynamics. The wrapper will be designed to interact seamlessly with existing tools like MATLAB, CORA, and Flow*, allowing researchers and engineers to model and analyze ACC systems more efficiently.
Objectives
- Tool development: create a wrapper that integrates CORA, MATLAB, and Flow* to support hybrid automata modeling, validation, and analysis in autonomous driving systems.
- Support for continuous and discrete dynamics: implement support for both continuous and discrete state transitions within the hybrid automata framework.
- Interface with existing tools: ensure that the wrapper can call CORA, MATLAB, and Flow* tools based on the model’s requirements, automating the integration process.
- Testing and validation: test the tool with various autonomous driving scenarios (such as ACC) to validate its functionality and usability.
- Evaluation: tool usability and integration performance. Accuracy and efficiency of hybrid automata modeling, validation, and analysis and user feedback on the tool’s effectiveness.
Deliverables
- Hybrid automata model: a state-based model representing autonomous driving system behaviors using hybrid automata.
- Wrapper tool: a working tool that integrates CORA, MATLAB, and Flow* for hybrid automata modeling in autonomous driving systems.
- Documentation: complete codebase and user manual for the tool.
- Test results: evaluation report on the tool’s accuracy, validation performance, and usability.