Skip to main content
Computer, Electrical and Mathematical Sciences and Engineering
CEMSE
Computer, Electrical and Mathematical Sciences and Engineering
Home
Study
Prospective Students
Current Students
Internships
Research
Research Overview
Research Areas
Research Groups
Programs
Applied Mathematics and Computational Sciences
Computer Science
Electrical and Computer Engineering
Statistics
People
All People
Faculty
Affiliate Faculty
Instructional Faculty
Research Scientists
Research Staff
Postdoctoral Fellows
Students
Alumni
Administrative Staff
News
Events
About
Who We Are
Message from the Dean
Leadership Team
Apply
Ariadne
Ariadne: Building safe autonomy with unproven algorithms
Eric Feron, Professor, Electrical and Computer Engineering
Feb 7, 12:00
-
13:00
KAUST
Ariadne
safe autonomy
unproven
algorithms
With the advent of increasingly intelligent algorithms, robots are capable of planning and performing increasingly challenging and creative tasks. Safety, however, remains an essential requirement on robotic behaviors. It is also a property that is hard or impossible to prove for virtually all intelligent algorithms of practical value. Ariadne is a model-based paradigm that enables the safe operation of many robotic systems, even though the algorithms involved with the operation may not be verifiable. Ariadne, or "plan B" engineering, will be illustrated in various current Robotics contexts derived from Ariadne's own Greek mythology, railroad systems, nuclear energy production, air transportation, and others.