Level-Set Approach for Reachability Analysis of Hybrid Systems under Lag Constraints

DOI10.1137/120874205zbMATH Open1294.49004arXiv1209.6143OpenAlexW2081161826MaRDI QIDQ5494889FDOQ5494889

Authors:

Publication date: 30 July 2014

Published in: SIAM Journal on Control and Optimization (Search for Journal in Brave)

Abstract: This study aims at characterizing a reachable set of a hybrid dynamical system with a lag constraint in the switch control. The setting does not consider any controllability assumptions and uses a level-set approach. The approach consists in the introduction of on adequate hybrid optimal control problem with lag constraints on the switch control whose value function allows a characterization of the reachable set. The value function is in turn characterized by a system of quasi-variational inequalities (SQVI). We prove a comparison principle for the SQVI which shows uniqueness of its solution. A class of numerical finite differences schemes for solving the system of inequalities is proposed and the convergence of the numerical solution towards the value function is studied using the comparison principle. Some numerical examples illustrating the method are presented. Our study is motivated by an industrial application, namely, that of range extender electric vehicles. This class of electric vehicles uses an additional module -- the range extender -- as an extra source of energy in addition to its main source -- a high voltage battery. The reachability study of this system is used to establish the maximum range of a simple vehicle model.

Full work available at URL: https://arxiv.org/abs/1209.6143

Recommendations

• Level Set Methods for Computing Reachable Sets of Hybrid Systems with Differential Algebraic Equation Dynamics
• Reachability Analysis for Stochastic Hybrid Systems Using Multilevel Splitting
• Reachability analysis for hybrid systems with nonlinear guard sets
• Hybrid control synthesis for eventuality specifications using level set methods
• Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques
• Reachability sets of hybrid systems in the presence of successive switchings
• scientific article; zbMATH DE number 1444360
• Reachability analysis of nonlinear systems using hybridization and dynamics scaling
• scientific article; zbMATH DE number 1956649

zbMATH Keywords

hybrid systemsoptimal controlquasi-variational inequalitiesreachability analysis

Mathematics Subject Classification ID

Control problems for functional-differential equations (34K35) Existence theories for optimal control problems involving relations other than differential equations (49J21) Variational inequalities (49J40) Viscosity solutions to Hamilton-Jacobi equations in optimal control and differential games (49L25) Hamilton-Jacobi theories (49L99) Discrete approximations in optimal control (49M25) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Hybrid systems of ordinary differential equations (34A38)

Cited In (4)

• Monotone numerical schemes and feedback construction for hybrid control systems
• Transmission conditions on interfaces for Hamilton-Jacobi-Bellman equations
• Local lipschitzness of reachability maps for hybrid systems with applications to safety
• A finite horizon optimal stochastic impulse control problem with a decision lag

This page was built for publication: Level-Set Approach for Reachability Analysis of Hybrid Systems under Lag Constraints

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5494889)