Modeling an Autonomous Vehicle Group Control System as a Hybrid Automaton and its Specification and Verification in Rewriting Logic
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.
Keywords:
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
3
References
0
Citations
NaN
KQI