Secure, Resilient, and Safety Critical Architecture of Charging Stations for Unsupervised Autonomous Vehicles.
Khurram KaziRavil BikmetovChurlzu LimM. Yasin Akhtar RajaAdam KelseyPublished in: ITSC (2018)
Keyphrases
- autonomous vehicles
- safety critical
- formal methods
- path planning
- safety analysis
- obstacle avoidance
- fault tolerant
- real time
- structured environments
- embedded systems
- agent architecture
- management system
- robot control
- machine learning
- autonomous agents
- multiagent systems
- support systems
- control algorithm
- load balancing