Modelling and Verification of Timed Robotic Controllers.
Pedro RibeiroAlvaro MiyazawaWei LiAna CavalcantiJon TimmisPublished in: IFM (2017)
Keyphrases
- model checking
- timed automata
- colored petri nets
- petri net
- control loop
- real time
- control system
- reinforcement learning
- impedance control
- object manipulation
- manipulation tasks
- formal verification
- discrete event
- genetic algorithm
- face verification
- adaptive control
- control law
- verification method
- multi agent
- web services
- false acceptance rate
- database