introduction to the assuring autonomy international programme · introduction to the assuring...
TRANSCRIPT
![Page 1: Introduction to the Assuring Autonomy International Programme · Introduction to the Assuring Autonomy International Programme Prof Tim Kelly. Agenda • Robotics and Autonomous Systems](https://reader034.vdocuments.mx/reader034/viewer/2022042606/5f9d1ad3d73c4a4a522920fa/html5/thumbnails/1.jpg)
IntroductiontotheAssuringAutonomyInternationalProgrammeProfTimKelly
![Page 2: Introduction to the Assuring Autonomy International Programme · Introduction to the Assuring Autonomy International Programme Prof Tim Kelly. Agenda • Robotics and Autonomous Systems](https://reader034.vdocuments.mx/reader034/viewer/2022042606/5f9d1ad3d73c4a4a522920fa/html5/thumbnails/2.jpg)
Agenda
• RoboticsandAutonomousSystems(RAS)• RealisingthebenefitsofRAS• Lloyd’sRegisterFoundationReviewofRAS&Safety• TheInternationalPerspective
• ProgrammeStatus• ProgrammeActivities• Scope,Demonstrators,Core,Ecosystem,Collaboration,Community
• Conclusions
![Page 3: Introduction to the Assuring Autonomy International Programme · Introduction to the Assuring Autonomy International Programme Prof Tim Kelly. Agenda • Robotics and Autonomous Systems](https://reader034.vdocuments.mx/reader034/viewer/2022042606/5f9d1ad3d73c4a4a522920fa/html5/thumbnails/3.jpg)
RoboticsandAutonomy
• RAScanundertakemanytaskscost-effectivelyprovidingbenefitstosociety,e.g.• Avoidingboring,repetitiousandslowworkinfactoriesandwarehouses• Supportingsocialcare,enablingindependentliving
• Inthenearfuturetherewillbefullyautonomousorremotelyoperatedsystems,e.g.in:• Driving,reducingaccidentsduetohumanerror• Shipping,removingseafarersfromharmsway
Robotics&AutonomousSystems(RAS)
![Page 4: Introduction to the Assuring Autonomy International Programme · Introduction to the Assuring Autonomy International Programme Prof Tim Kelly. Agenda • Robotics and Autonomous Systems](https://reader034.vdocuments.mx/reader034/viewer/2022042606/5f9d1ad3d73c4a4a522920fa/html5/thumbnails/4.jpg)
RoboticsandAutonomyRemotelyOperatedCommercialShip
![Page 5: Introduction to the Assuring Autonomy International Programme · Introduction to the Assuring Autonomy International Programme Prof Tim Kelly. Agenda • Robotics and Autonomous Systems](https://reader034.vdocuments.mx/reader034/viewer/2022042606/5f9d1ad3d73c4a4a522920fa/html5/thumbnails/5.jpg)
RoboticsandAutonomyDemonstrations
![Page 6: Introduction to the Assuring Autonomy International Programme · Introduction to the Assuring Autonomy International Programme Prof Tim Kelly. Agenda • Robotics and Autonomous Systems](https://reader034.vdocuments.mx/reader034/viewer/2022042606/5f9d1ad3d73c4a4a522920fa/html5/thumbnails/6.jpg)
RoboticsandAutonomy
• Sense,Understand,Decide,Act(SUDA)• Understandinganddecision-makingheavilydependentonArtificialIntelligence(AI)– keytechnicalchallengesincludeassuringAIandsensingcapabilities
ARASmodel:theSUDA“loop”
![Page 7: Introduction to the Assuring Autonomy International Programme · Introduction to the Assuring Autonomy International Programme Prof Tim Kelly. Agenda • Robotics and Autonomous Systems](https://reader034.vdocuments.mx/reader034/viewer/2022042606/5f9d1ad3d73c4a4a522920fa/html5/thumbnails/7.jpg)
RealisingRASBenefitsTheFoundation’sReviewofRAS
• PublishedinOctober2016• Identified“whitespaces”inassuranceandregulationofRAS• NecessarytoaddresstheseissuestorealisebenefitsofRAS
• TheYork-ledProgrammeisaresponsetothereview• Astrongfocuson‘demonstrators’andworking‘bottomup’
![Page 8: Introduction to the Assuring Autonomy International Programme · Introduction to the Assuring Autonomy International Programme Prof Tim Kelly. Agenda • Robotics and Autonomous Systems](https://reader034.vdocuments.mx/reader034/viewer/2022042606/5f9d1ad3d73c4a4a522920fa/html5/thumbnails/8.jpg)
RealisingRASBenefits
• HowdowegetsufficientvisibilityofwhattheRAS(AI)haslearnttoassuresafety?• Howdowereasonaboutlearninginoperation?• Canreasoningbepre-operation,ormustitbedynamic?
• Howdowedealwithinteractions?• Othersystemsandpeople,includingsocialcognition
• Howdoweassurenormalfunctions?• Asopposedtothetraditionalfocusonfailure
• Whatareappropriatecriteriaforacceptance?
SafetyofRASChallenges
![Page 9: Introduction to the Assuring Autonomy International Programme · Introduction to the Assuring Autonomy International Programme Prof Tim Kelly. Agenda • Robotics and Autonomous Systems](https://reader034.vdocuments.mx/reader034/viewer/2022042606/5f9d1ad3d73c4a4a522920fa/html5/thumbnails/9.jpg)
RealisingRASBenefits
• Manyproblemsareglobal• RASneedtooperateinternationally,henceneedaglobalsolution,notoneforeachcountry• Maritimeenvironmentaclearexample
• Providingsolutionsisverychallenging• TheProgrammecannotprovideallthesolutionsitself• Mustdrawonworkbeingundertakenglobally
• Foraccesstosolutions• Forinfluencetogetsolutionsdisseminatedandadopted
InternationalPerspective
![Page 10: Introduction to the Assuring Autonomy International Programme · Introduction to the Assuring Autonomy International Programme Prof Tim Kelly. Agenda • Robotics and Autonomous Systems](https://reader034.vdocuments.mx/reader034/viewer/2022042606/5f9d1ad3d73c4a4a522920fa/html5/thumbnails/10.jpg)
Addressingglobalchallengesinassuringthesafety ofroboticsandautonomoussystems
![Page 11: Introduction to the Assuring Autonomy International Programme · Introduction to the Assuring Autonomy International Programme Prof Tim Kelly. Agenda • Robotics and Autonomous Systems](https://reader034.vdocuments.mx/reader034/viewer/2022042606/5f9d1ad3d73c4a4a522920fa/html5/thumbnails/11.jpg)
ProgrammeStatus
• ContractfromJanuary2018forfiveyears• £10MfromLloyd’sRegisterFoundation• Circa£2MfromYorkformanagementandleadership
• IntentthatsignificantpartsoftheProgrammeundertakenbyotherorganisations• FirstfiveDemonstratorprojectsagreedandcontractsbeingfinalised• SecondDemonstratorcalljustclosed
• Expandingthescopeofworkthroughassociatedactivities
Contracts
![Page 12: Introduction to the Assuring Autonomy International Programme · Introduction to the Assuring Autonomy International Programme Prof Tim Kelly. Agenda • Robotics and Autonomous Systems](https://reader034.vdocuments.mx/reader034/viewer/2022042606/5f9d1ad3d73c4a4a522920fa/html5/thumbnails/12.jpg)
ProgrammeTeam
DrAnaMacIntoshSarahHeathwoodChrysleHudsonDrRichardHawkinsDrChiaraPicardiDrColinPaterson
ProfJohnMcDermidProfTimKelly DrRaduCalinescu DrMarkNicholsonDrIbrahimHabli DrRobAlexander
HelenMonkhouse SaudYonbawi YanJia SeanWhite JohnBragg IoannisStefanakos
![Page 13: Introduction to the Assuring Autonomy International Programme · Introduction to the Assuring Autonomy International Programme Prof Tim Kelly. Agenda • Robotics and Autonomous Systems](https://reader034.vdocuments.mx/reader034/viewer/2022042606/5f9d1ad3d73c4a4a522920fa/html5/thumbnails/13.jpg)
ProgrammeActivities
• Fourmainstrandsofwork• Workonassuranceandregulation insupportofdemonstratorprojects(real-worldprototypesorrealdeployments– usecases)• Morefundamentalresearch,e.g.ondynamicriskandassuranceofAIincludingdeeplearning,dynamicsafetycases• Educationandtraining,forprofessionalsinRAS/AIandsafety(intheplanning/recruitmentstage)• SupporttotheinternationalcommunityAllcontributingtoorusingaBodyofKnowledge (BoK)
Scope
![Page 14: Introduction to the Assuring Autonomy International Programme · Introduction to the Assuring Autonomy International Programme Prof Tim Kelly. Agenda • Robotics and Autonomous Systems](https://reader034.vdocuments.mx/reader034/viewer/2022042606/5f9d1ad3d73c4a4a522920fa/html5/thumbnails/14.jpg)
CriticalBarrierstoAssurance• Adaptation• Bounding Behaviour• Cross-DomainUsage• Explanations• Handover• Human-RobotInteraction
• IncidentandAccidentInvestigation•Monitoring• RiskAcceptance• RoleofSimulation• SystemsofSystems• TrainingandTestingAI• Validation• Verification
![Page 15: Introduction to the Assuring Autonomy International Programme · Introduction to the Assuring Autonomy International Programme Prof Tim Kelly. Agenda • Robotics and Autonomous Systems](https://reader034.vdocuments.mx/reader034/viewer/2022042606/5f9d1ad3d73c4a4a522920fa/html5/thumbnails/15.jpg)
ProgrammeActivities
• AssistiveRoboticsinHealthcare• LedbyBristolRobotics
• CollaboratingConstructionMachinery• IndustrialleadVolvoConstructionEquipment,inSweden
• CollaborativeRoboticsinFlexibleManufacturing• LedbyMachiningCentresEurope,inItaly
• AutonomousMedicationManagementSystems• BasedinDerbyHospitalIntensiveCareUnit
• AutonomousRoadVehicles• LedbyAdelard,involvingvehiclesinJapan
InitialDemonstrators
![Page 16: Introduction to the Assuring Autonomy International Programme · Introduction to the Assuring Autonomy International Programme Prof Tim Kelly. Agenda • Robotics and Autonomous Systems](https://reader034.vdocuments.mx/reader034/viewer/2022042606/5f9d1ad3d73c4a4a522920fa/html5/thumbnails/16.jpg)
ProgrammeActivities
• ThedevelopmentoftheBodyofKnowledge(BoK)plussupportfordemonstrators,etc.• Dynamicassurance,notingthatclassicalsafetyprocessescannotaddressoperationallearning• Assuranceofdeepreinforcementlearning,andgeneralisationtoothertechnologies• Workstartingoneducationandtraining• TrainingneedsanalysisforMaster’sleveltraining• Initialfocusonawarenesssessionsforseniorstaff
CoreResearch&EducationandTraining
![Page 17: Introduction to the Assuring Autonomy International Programme · Introduction to the Assuring Autonomy International Programme Prof Tim Kelly. Agenda • Robotics and Autonomous Systems](https://reader034.vdocuments.mx/reader034/viewer/2022042606/5f9d1ad3d73c4a4a522920fa/html5/thumbnails/17.jpg)
ProgrammeActivities
• EUProject– Fraunhofer inKaiserslautern,LAASinToulouse,KULeuven,York• Collaborationonsafetyofautonomoussystems,withallstudentshavingsupervisorsfromtwoinstitutions
Ecosystem:EuropeanTrainingNetwork
![Page 18: Introduction to the Assuring Autonomy International Programme · Introduction to the Assuring Autonomy International Programme Prof Tim Kelly. Agenda • Robotics and Autonomous Systems](https://reader034.vdocuments.mx/reader034/viewer/2022042606/5f9d1ad3d73c4a4a522920fa/html5/thumbnails/18.jpg)
ProgrammeActivities
• ExampleEarlyStageResearcherPositions:• MovingSafetyCasesfromDesignTimetoRunTime• AssuranceCaseArgumentsforMachineLearning• ModellingfunctionalinsufficienciesinAStechnologies• AchievingSituationCoverageinSimulation• …
Ecosystem:EuropeanTrainingNetwork
![Page 19: Introduction to the Assuring Autonomy International Programme · Introduction to the Assuring Autonomy International Programme Prof Tim Kelly. Agenda • Robotics and Autonomous Systems](https://reader034.vdocuments.mx/reader034/viewer/2022042606/5f9d1ad3d73c4a4a522920fa/html5/thumbnails/19.jpg)
ProgrammeActivitiesEcosystem:VerificationofRAS
![Page 20: Introduction to the Assuring Autonomy International Programme · Introduction to the Assuring Autonomy International Programme Prof Tim Kelly. Agenda • Robotics and Autonomous Systems](https://reader034.vdocuments.mx/reader034/viewer/2022042606/5f9d1ad3d73c4a4a522920fa/html5/thumbnails/20.jpg)
ProgrammeActivities
• FeasibilitystudywithHarperAdams• Programmewillworkonsafety• Combineharvesterandtractor
• Hopetodefineafull-scaledemonstrator
Ecosystem:AutonomousHarvesting
![Page 21: Introduction to the Assuring Autonomy International Programme · Introduction to the Assuring Autonomy International Programme Prof Tim Kelly. Agenda • Robotics and Autonomous Systems](https://reader034.vdocuments.mx/reader034/viewer/2022042606/5f9d1ad3d73c4a4a522920fa/html5/thumbnails/21.jpg)
ProgrammeActivities
• ParticipatedinmeetingwithEPSRCfundedHubsonRoboticsinchallenging/extremeenvironments• RAIN(Nuclear),FAIR-SPAC(Space)E,NCNR(Nuclear)andORCA(Maritime)• Relatedwork,e.g.onresponsibleresearchinnovation• FurtherinformationfromDrLucyMartin• Morelinkstocurrentprojectsencouraged
Collaboration:EPSRCHubs
![Page 22: Introduction to the Assuring Autonomy International Programme · Introduction to the Assuring Autonomy International Programme Prof Tim Kelly. Agenda • Robotics and Autonomous Systems](https://reader034.vdocuments.mx/reader034/viewer/2022042606/5f9d1ad3d73c4a4a522920fa/html5/thumbnails/22.jpg)
ProgrammeActivitiesCommunity:FestivalofIdeas
![Page 23: Introduction to the Assuring Autonomy International Programme · Introduction to the Assuring Autonomy International Programme Prof Tim Kelly. Agenda • Robotics and Autonomous Systems](https://reader034.vdocuments.mx/reader034/viewer/2022042606/5f9d1ad3d73c4a4a522920fa/html5/thumbnails/23.jpg)
Conclusions
• TheProgrammeisextremelychallenging• Hardtechnicalproblems– ill-structured,manywithnoknownsolutions• Socialaspectsofacceptabilityofrisk
• TheProgrammecannotproducealltheanswers• TheProgrammeneitherhastheresourcesnortheexpertisetodoitalone• Collaborationisessential,andsomepotentialpartnersidentified
• Initialstepspromising,butmuchmoretodo…
ChallengesandCollaboration
![Page 24: Introduction to the Assuring Autonomy International Programme · Introduction to the Assuring Autonomy International Programme Prof Tim Kelly. Agenda • Robotics and Autonomous Systems](https://reader034.vdocuments.mx/reader034/viewer/2022042606/5f9d1ad3d73c4a4a522920fa/html5/thumbnails/24.jpg)
Fundedby