Reachability-based Identification, Analysis, and Control Synthesis of Robot Systems

03/02/2021
by   Stefan B. Liu, et al.
0

We introduce reachability analysis for the formal examination of robots. We propose a novel identification method, which preserves reachset conformance of linear systems. We additionally propose a simultaneous identification and control synthesis scheme to obtain optimal controllers with formal guarantees. In a case study, we examine the effectiveness of using reachability analysis to synthesize a state-feedback controller, a velocity observer, and an output feedback controller.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

12/06/2018

Formal Synthesis of Analytic Controllers for Sampled-Data Systems via Genetic Programming

This paper presents an automatic formal controller synthesis method for ...
11/17/2017

A Supervisory Control Algorithm Based on Property-Directed Reachability

We present an algorithm for synthesising a controller (supervisor) for a...
12/31/2020

Verifying a Cruise Control System using Simulink and SpaceEx

This article aims to provide a simple step-by-step guide highlighting th...
09/04/2014

Unsynthesizable Cores - Minimal Explanations for Unsynthesizable High-Level Robot Behaviors

With the increasing ubiquity of multi-capable, general-purpose robots ar...
03/25/2018

Finite-Data Performance Guarantees for the Output-Feedback Control of an Unknown System

As the systems we control become more complex, first-principle modeling ...
03/04/2019

Toward Achieving Formal Guarantees for Human-Aware Controllers in Human-Robot Interactions

With the primary objective of human-robot interaction being to support h...
07/23/2020

Robust Control Synthesis and Verification for Wire-Borne Underactuated Brachiating Robots Using Sum-of-Squares Optimization

Control of wire-borne underactuated brachiating robots requires a robust...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.