Skip to main content
King Abdullah University of Science and Technology
Electrical and Computer Engineering
ECE
Electrical and Computer Engineering
  • Study
    • Prospective Students
    • Current Students
  • Research
    • Research Areas
    • Research Groups
  • People
    • All People
    • Faculty
    • Affiliate Faculty
    • Instructional Faculty
    • Research Scientists
    • Research Staff
    • Postdoctoral Fellows
    • Administrative Staff
    • Alumni
    • Students
  • News
  • Events
  • About
  • CEMSE Division
  • 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.

Electrical and Computer Engineering (ECE)

Footer

  • A-Z Directory
    • All Content
    • Browse Related Sites
  • Site Management
    • Log in

© 2024 King Abdullah University of Science and Technology. All rights reserved. Privacy Notice