Controller Synthesis for Discrete-time Hybrid Polynomial Systems via Occupation Measures

09/16/2018
by   Weiqiao Han, et al.
0

We present a novel controller synthesis approach for discrete-time hybrid polynomial systems, a class of systems that can model a wide variety of interactions between robots and their environment. The approach is rooted in recently developed techniques that use occupation measures to formulate the controller synthesis problem as an infinite-dimensional linear program. The relaxation of the linear program as a finite-dimensional semidefinite program can be solved to generate a control law. The approach has several advantages including that the formulation is convex, that the formulation and the extracted controllers are simple, and that the computational complexity is polynomial in the state and control input dimensions. We illustrate our approach on some robotics examples.

READ FULL TEXT
research
03/24/2018

Convex Optimization of Nonlinear State Feedback Controllers for Discrete-time Polynomial Systems via Occupation Measures

In this paper, we design nonlinear state feedback controllers for discre...
research
03/21/2018

Semidefinite Outer Approximation of the Backward Reachable Set of Discrete-time Autonomous Polynomial Systems

We approximate the backward reachable set of discrete-time autonomous po...
research
11/02/2022

Synthesizing Programs with Continuous Optimization

Automatic software generation based on some specification is known as pr...
research
03/02/2021

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

We introduce reachability analysis for the formal examination of robots....
research
10/16/2020

Stability and Robustness of the Disturbance Observer-based Motion Control Systems in Discrete-Time Domain

This paper analyses the robust stability and performance of the Disturba...
research
09/11/2020

Synthesis of Run-To-Completion Controllers for Discrete Event Systems

A controller for a Discrete Event System must achieve its goals despite ...
research
02/27/2019

From explanation to synthesis: Compositional program induction for learning from demonstration

Hybrid systems are a compact and natural mechanism with which to address...

Please sign up or login with your details

Forgot password? Click here to reset