Modeling an Autonomous Vehicle Group Control System as a Hybrid Automaton and its Specification and Verification in Rewriting Logic
Yifan Wang, Masaki Nakamura, Kazutoshi Sakakibara · 2021 36th International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC) · 2021
In recent years, autonomous vehicle technology has developed rapidly. For a secure and efficient city that will have a large quantity of such autonomous vehicles, we need to control not only individual vehicles but also collective vehicles. We investigate a control system for autonomous vehicle groups based on a hybrid automaton and verify it with rewriting logic in Maude system.