OTHER
Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management
Xingyu Zhao, Matthew Osborne, Jenny Lantair, Valentin Robu, David Flynn, Xiaowei Huang, Michael Fisher, Fabio Papacchini, Angelo Ferrando
- Year
- 2019
- Citations
- 17
Keywords
PrognosticsComputer scienceRobotBattery (electricity)Component (thermodynamics)Reliability (semiconductor)Reliability engineeringProbabilistic logicFormal verificationState of charge
Related papers
OTHER
📊 26,957 cites
Statistical Learning Theory
Yuhai Wu, Vladimir Vapnik
1999
PERCEPTION
📊 22,245 cites
Artificial intelligence: a modern approach
1995
OTHER
Open access📊 20,501 cites
Fractional Differential Equations
Igor Podlubný
2025
OTHER
📊 18,993 cites
Applied Nonlinear Control
Jean-Jacques Slotine, Weiping Li
1991