Skip to main content
King Abdullah University of Science and Technology
Computer, Electrical and Mathematical Sciences and Engineering
CEMSE
Computer, Electrical and Mathematical Sciences and Engineering
  • Home
  • Study
    • Prospective Students
    • Current Students
    • Internship Opportunities
  • 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

safe autonomy

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.

Safe autonomy with imperfect information

Necmiye Ozay, Associate Professor, University of Michigan

Apr 1, 22:00 - 22:45

KAUST

Featured Sessions

RobotoKAUST safe autonomy invariance verification

For more information please visit the website

Efficient Reachability for Safe Autonomous Systems: A Mixed Monotone Approach

Sam Coogan, Assistant Professor, Georgia Institute of Technology

Apr 1, 19:45 - 20:30

KAUST

Featured Sessions

RobotoKAUST safe autonomy reachability invariance

For more information please visit the website

Computer, Electrical and Mathematical Sciences and Engineering (CEMSE)

Connect with us

Footer

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

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