3 papers
eess.SY2020
Formal Verification of Safety Critical Autonomous Systems via Bayesian Optimization
Prithvi Akella, Ugo Rosolia, Andrew Singletary +1
As control systems become increasingly more complex, there exists a pressing need to find systematic ways of verifying them. To address this concern, there has been significant wor…
cs.RO2020
Information-Collection in Robotic Process Monitoring: An Active Perception Approach
Martin A. Sehr, Wei Xi Xia, Prithvi Akella +2
Active perception systems maximizing information gain to support both monitoring and decision making have seen considerable application in recent work. In this paper, we propose an…
eess.SY2020
Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions
Prithvi Akella, Mohamadreza Ahmadi, Richard M. Murray +1
The prolific rise in autonomous systems has led to questions regarding their safe instantiation in real-world scenarios. Failures in safety-critical contexts such as human-robot in…