Reactive Control Meets Runtime Verification: A Case Study of Navigation.
Dogan UlusCalin BeltaPublished in: CoRR (2019)
Keyphrases
- case study
- control system
- control method
- underwater vehicles
- model checking
- real time
- adaptive control
- control problems
- machine learning
- artificial neural networks
- data mining
- robotic systems
- face verification
- autonomous vehicles
- control theory
- signature verification
- control structure
- asynchronous circuits
- neural network