The Minimum Principle for Hybrid Systems with Partitioned State Space and Unspecified Discrete State Sequence

被引:11
|
作者
Passenberg, Benjamin [1 ]
Caines, Peter E. [2 ,3 ]
Sobotka, Marion [1 ]
Stursberg, Olaf [4 ]
Buss, Martin [1 ]
机构
[1] Tech Univ Munich, Inst Automat Control, Dept Elect Engn & Informat Technol, Munich, Germany
[2] McGill Univ, Ctr Intelligent Machines, Montreal, PQ, Canada
[3] McGill Univ, Dept Elect & Comp Engn, Montreal, PQ, Canada
[4] Univ Kassel, Inst Control & Syst Theory, Dept Elect Engn & Comp Sci, D-34125 Kassel, Germany
关键词
LOGIC;
D O I
10.1109/CDC.2010.5717263
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
The hybrid minimum principle (HMP) gives necessary conditions to be satisfied for optimal solutions of a hybrid dynamical system. In particular, the HMP accounts for autonomous switching between discrete states that occurs whenever the trajectory hits switching manifolds. In this paper, the existing HMP is extended for hybrid systems with partitioned state space to provide necessary conditions for optimal trajectories that pass through an intersection of switching manifolds. This extension is especially useful for the numerical solution of hybrid optimal control problems as it allows for algorithms with significant reduction of computational complexity. Algorithms based on previous versions of the HMP solve separate optimal control problems for each possible sequence of discrete states. The extension enables us to consider the optimal sequence as subject of optimal control that is varied and finally determined during a single optimization run. A first numerical result illustrates the effectiveness of an algorithm based on the extended HMP.
引用
收藏
页码:6666 / 6673
页数:8
相关论文
共 50 条
  • [1] An Algorithm for Discrete State Sequence and Trajectory Optimization for Hybrid Systems with Partitioned State Space
    Passenberg, Benjamin
    Sobotka, Marion
    Stursberg, Olaf
    Buss, Martin
    Caines, Peter E.
    49TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2010, : 4223 - 4229
  • [2] Optimal Control for Hybrid Systems With Partitioned State Space
    Passenberg, Benjamin
    Caines, Peter E.
    Leibold, Marion
    Stursberg, Olaf
    Buss, Martin
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2013, 58 (08) : 2131 - 2136
  • [3] Theory and computation of discrete state space decompositions for hybrid systems
    De Santis, E.
    Di Benedetto, M. D.
    EUROPEAN JOURNAL OF CONTROL, 2013, 19 (01) : 1 - 10
  • [4] Automatic verification of hybrid systems with large discrete state space
    Damm, Werner
    Disch, Stefan
    Hungar, Hardi
    Pang, Jun
    Pigorsch, Florian
    Scholl, Christoph
    Waldmann, Uwe
    Wirtz, Boris
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2006, 4218 : 276 - 291
  • [5] The Minimum Principle for Time-Varying Hybrid Systems with State Switching and Jumps
    Passenberg, Benjamin
    Leibold, Marion
    Stursberg, Olaf
    Buss, Martin
    2011 50TH IEEE CONFERENCE ON DECISION AND CONTROL AND EUROPEAN CONTROL CONFERENCE (CDC-ECC), 2011, : 6723 - 6729
  • [6] Discussion on "Theory and computation of discrete state space decompositions for hybrid systems"
    Kobayashi, Koichi
    EUROPEAN JOURNAL OF CONTROL, 2013, 19 (01) : 11 - 12
  • [7] Exact state set representations in the verification of linear hybrid systems with large discrete state space
    Damm, Werner
    Disch, Stefan
    Hungar, Hardi
    Jacobs, Swen
    Pang, Jun
    Pigorsch, Florian
    Scholl, Christoph
    Waldmann, Uwe
    Wirtz, Boris
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2007, 4762 : 425 - +
  • [8] Discrete state observability of hybrid systems
    Di Benedetto, Maria D.
    Di Gennaro, Stefano
    D'Innocenzo, Alessandro
    INTERNATIONAL JOURNAL OF ROBUST AND NONLINEAR CONTROL, 2009, 19 (14) : 1564 - 1580
  • [9] Discrete state space systems of fractional order
    Jonnalagadda, Jagan Mohan
    INTERNATIONAL JOURNAL OF DYNAMICAL SYSTEMS AND DIFFERENTIAL EQUATIONS, 2018, 8 (03) : 228 - 241
  • [10] Discrete state space representation of technical systems
    D. V. Stepovoi
    Russian Agricultural Sciences, 2013, 39 (2) : 191 - 192