Wed. Apr 5, 2023 1:00 PM - 1:45 PM
G301-G302, 3F, Pacifico Yokohama North
Speaker: Prof. Sandeep Neema
Assured Autonomy concepts aim to advance the ways computing systems can learn and evolve to better manage variations in the environment and enhance the predictability of autonomous systems like driverless vehicles and unmanned aerial vehicles (UAVs). Significant advances have been made in the last decade in constructing autonomy systems, as evidenced by the proliferation of a variety of unmanned vehicles. These advances have been driven by innovations in several areas, including sensing and actuation, computing, control theory, design methods, and modeling and simulation. Despite these advances, deployment, and broader adoption of such systems in safety-critical applications remain challenging. Assured Autonomy aims to establish trustworthiness at the design stage and incorporate sufficient capabilities so that inevitable variations in operational trustworthiness can be measured and addressed appropriately. In contrast to prescriptive, process-oriented standards for safety and assurance, a goal-oriented approach is arguably more suitable for systems that learn, evolve, and encounter operational variations. Assured Autonomy programs aim to develop tools that provide foundational evidence that a system can satisfy explicitly stated functional and safety goals, resulting in a measure of assurance that can also evolve with the system. This lunch session will focus on the current state of art in Assured Autonomy approaches as they relate to cyber-physical system safety, such as those also encountered in the automotive industry.
