Formal Verification of Merging Arbitration Control System for Logistics Robots.
Nobuhiko MiyamotoHironobu OkamotoNoriaki AndoYukikazu KoidePublished in: SII (2024)
Keyphrases
- formal verification
- control system
- model checking
- mobile robot
- real environment
- model checker
- multi robot
- cooperative
- closed loop
- autonomous robots
- symbolic model checking
- control algorithm
- automated verification
- fuzzy logic
- bounded model checking
- control strategy
- control law
- pid controller
- real time
- program slicing
- robotic systems
- supply chain
- fuzzy control
- robot control
- control method
- humanoid robot
- logistics industry
- temporal logic
- human robot interaction
- supply chain management
- control scheme
- dc motor
- distribution networks