Reachability Analysis Plus Satisfiability Modulo Theories: An Adversary-Proof Control Method for Connected and Autonomous Vehicles.
Qing XuYicong LiuJian PanJiawei WangJianqiang WangKeqiang LiPublished in: IEEE Trans. Ind. Electron. (2023)
Keyphrases
- control method
- autonomous vehicles
- reachability analysis
- satisfiability modulo theories
- markov decision processes
- model checking
- path planning
- timed automata
- control algorithm
- obstacle avoidance
- pid controller
- control strategy
- theorem prover
- control system
- incremental algorithms
- theorem proving
- robot control
- fuzzy control
- multiagent systems
- mobile robot
- autonomous agents
- state space
- fuzzy controller
- dynamic environments
- real time
- linear programming
- first order logic