BlockPiecewiseContinuousDynamicSystem.java

/*
 * Created on 2007/04/08
 * Copyright (C) 2007 Koga Laboratory. All rights reserved.
 *
 */
package org.mklab.tool.control.system.continuous;

import java.util.ArrayList;
import java.util.Arrays;
import java.util.List;

import org.mklab.nfc.matrix.ComplexNumericalMatrix;
import org.mklab.nfc.matrix.RealNumericalMatrix;
import org.mklab.nfc.ode.PiecewiseContinuousAlgebraicSystem;
import org.mklab.nfc.ode.PiecewiseDifferentialSystem;
import org.mklab.nfc.ode.SolverStopException;
import org.mklab.nfc.scalar.ComplexNumericalScalar;
import org.mklab.nfc.scalar.RealNumericalScalar;
import org.mklab.tool.control.system.SystemOperator;


/**
 * 区分的微分可能な微分方程式で表現されるブロック連続時間動的システムを表わすクラスです。
 * 
 * @author koga
 * @version $Revision: 1.17 $, 2007/04/08
 * @param <RS> type of real scalar
 * @param <RM> type of real matrix
 * @param <CS> type of complex scalar
 * @param <CM> type of complex matrix
 */
public class BlockPiecewiseContinuousDynamicSystem<RS extends RealNumericalScalar<RS, RM, CS, CM>, RM extends RealNumericalMatrix<RS, RM, CS, CM>, CS extends ComplexNumericalScalar<RS, RM, CS, CM>, CM extends ComplexNumericalMatrix<RS, RM, CS, CM>>
    extends BlockContinuousExplicitDynamicSystem<RS, RM, CS, CM> implements PiecewiseDifferentialSystem<RS, RM, CS, CM> {

  /** 区分的微分可能システムのリスト */
  private List<PiecewiseDifferentialSystem<RS, RM, CS, CM>> piecewiseDifferentialSystems = new ArrayList<>();

  /** 区分的連続代数システムのリスト */
  private List<PiecewiseContinuousAlgebraicSystem<RS, RM, CS, CM>> piecewiseContinuousAlgebraicSystems = new ArrayList<>();

  /**
   * 新しく生成された<code>BlockPiecewiseContinuousDynamicSystem</code>オブジェクトを初期化します。
   * 
   * @param elements 隣接行列
   * @param inputNodes 入力ノードの番号のリスト(番号は1から始まります)
   * @param outputNodes 出力ノードの番号のリスト(番号は1から始まります)
   * @param sunit unit of scalar
   */
  public BlockPiecewiseContinuousDynamicSystem(SystemOperator<RS, RM, CS, CM>[][] elements, List<Integer> inputNodes, List<Integer> outputNodes, RS sunit) {
    super(elements, inputNodes, outputNodes, sunit);
    setupPiecewiseDifferentialSystems();
    setupPiecewiseContinuousAlgebraicSystems();
  }

  /**
   * {@inheritDoc}
   */
  public RS getDiscontinuousPoint(RS t1, RM state1, RM input1, RS t2, RM state2, RM input2) throws SolverStopException {
    final RM originalState = getState();

    outputEquation(t1, state1);

    final List<RM> differentialSystemInputs1 = getDifferentialSystemInputs();
    final List<RM> differentialSystemStates1 = getDifferentialSystemStates();
    final List<RM> continuousSystemInputs1 = getContinuousSystemInputs();

    outputEquation(t2, state2);

    final List<RM> differentialSystemInputs2 = getDifferentialSystemInputs();
    final List<RM> differentialSystemStates2 = getDifferentialSystemStates();
    final List<RM> continuousSystemInputs2 = getContinuousSystemInputs();

    final List<RS> differentialSystemDiscontinuousPoints = getDiscontinuousPoints(t1, differentialSystemStates1, differentialSystemInputs1, t2, differentialSystemStates2, differentialSystemInputs2);
    final List<RS> continuousSystemDiscontinuousPoints = getDiscontinuousPoints(t1, continuousSystemInputs1, t2, continuousSystemInputs2);

    final List<RS> discontinuousPoints = differentialSystemDiscontinuousPoints;
    discontinuousPoints.addAll(continuousSystemDiscontinuousPoints);

    outputEquation(t1, originalState);

    final RS[] sortedPoints = discontinuousPoints.toArray(this.sunit.createArray(discontinuousPoints.size()));
    Arrays.sort(sortedPoints);
    return sortedPoints[0];
  }

  /**
   * 指定された区間内([(t1,inputs1),(t2,inputs2)]の不連続点の時刻を返します。
   * 
   * @param t1 不連続点の前の時刻
   * @param inputs1 不連続点の前の入力
   * @param t2 不連続点の後の時刻
   * @param inputs2 不連続点の後の入力
   * @return 指定された区間内([(t1,inputs1),(t2,inputs2)]の不連続点の時刻
   * @exception SolverStopException ソルバーが停止された場合
   */
  private List<RS> getDiscontinuousPoints(RS t1, final List<RM> inputs1, RS t2, final List<RM> inputs2) throws SolverStopException {
    final List<RS> points = new ArrayList<>();
    for (int i = 0; i < this.piecewiseContinuousAlgebraicSystems.size(); i++) {
      final PiecewiseContinuousAlgebraicSystem<RS, RM, CS, CM> system = this.piecewiseContinuousAlgebraicSystems.get(i);
      final RM u1 = inputs1.get(i);
      final RM u2 = inputs2.get(i);
      points.add(system.getDiscontinuousPoint(t1, u1, t2, u2));
    }
    return points;
  }

  /**
   * 指定された区間内([(t1,state1,inputs1),(t2,state2,inputs2)]の不連続点の時刻を返します。
   * 
   * @param t1 不連続点の前の時刻
   * @param states1 不連続点の前の状態
   * @param inputs1 不連続点の前の入力
   * @param t2 不連続点の後の時刻
   * @param states2 不連続点の後の状態
   * @param inputs2 不連続点の後の入力
   * @return 指定された区間内([(t1,x1,inputs1),(t2,x2,inputs2)]の不連続点の時刻
   * @exception SolverStopException ソルバーが停止された場合
   */
  private List<RS> getDiscontinuousPoints(RS t1, List<RM> states1, final List<RM> inputs1, RS t2, List<RM> states2, final List<RM> inputs2) throws SolverStopException {
    final List<RS> points = new ArrayList<>();
    for (int i = 0; i < this.piecewiseDifferentialSystems.size(); i++) {
      final PiecewiseDifferentialSystem<RS, RM, CS, CM> system = this.piecewiseDifferentialSystems.get(i);
      final RM x1 = states1.get(i);
      final RM x2 = states2.get(i);
      final RM u1 = inputs1.get(i);
      final RM u2 = inputs2.get(i);
      points.add(system.getDiscontinuousPoint(t1, x1, u1, t2, x2, u2));
    }
    return points;
  }

  /**
   * 区分的連続代数システムへの入力を返します。
   * 
   * @return 区分的連続代数システムへの入力
   */
  private List<RM> getContinuousSystemInputs() {
    final List<RM> inputs = new ArrayList<>();
    for (PiecewiseContinuousAlgebraicSystem<RS, RM, CS, CM> system : this.piecewiseContinuousAlgebraicSystems) {
      inputs.add(getInputNodeValueOf((SystemOperator<RS, RM, CS, CM>)system).createClone());
    }
    return inputs;
  }

  /**
   * 区分的微分可能システムのへの入力を返します。
   * 
   * @return 区分的微分可能システムのへの入力
   */
  private List<RM> getDifferentialSystemInputs() {
    final List<RM> inputs = new ArrayList<>();
    for (PiecewiseDifferentialSystem<RS, RM, CS, CM> system : this.piecewiseDifferentialSystems) {
      inputs.add(getInputNodeValueOf((SystemOperator<RS, RM, CS, CM>)system).createClone());
    }
    return inputs;
  }

  /**
   * 区分的微分可能システムの状態を返します。
   * 
   * @return 区分的微分可能システムの状態
   */
  private List<RM> getDifferentialSystemStates() {
    final List<RM> states = new ArrayList<>();
    for (PiecewiseDifferentialSystem<RS, RM, CS, CM> system : this.piecewiseDifferentialSystems) {
      states.add(((ContinuousExplicitDynamicSystem<RS, RM, CS, CM>)system).getState().createClone());
    }
    return states;
  }

  /**
   * {@inheritDoc}
   */
  public List<Integer> getPiece(RS t, RM state, RM input) throws SolverStopException {
    final RM originalState = getState();

    setState(state);
    calcNodeValue(t);

    final List<RM> states = getDifferentialSystemStates();

    final List<Integer> differentialSystemPieces = getPieces(t, states);
    final List<Integer> continuousSystemPieces = getPieces(t);

    setState(originalState);
    calcNodeValue(t);

    differentialSystemPieces.addAll(continuousSystemPieces);

    final List<Integer> pieces = differentialSystemPieces;
    pieces.addAll(continuousSystemPieces);

    return pieces;
  }

  /**
   * 区分的連続代数システムの区分の番号のリストを返します。
   * 
   * @param t 時刻
   * 
   * @return 区分的連続代数システムの区分の番号のリスト
   * @exception SolverStopException ソルバーが停止された場合
   */
  private List<Integer> getPieces(RS t) throws SolverStopException {
    final List<Integer> pieces = new ArrayList<>();
    for (PiecewiseContinuousAlgebraicSystem<RS, RM, CS, CM> system : this.piecewiseContinuousAlgebraicSystems) {
      pieces.addAll(system.getPiece(t, getInputNodeValueOf((SystemOperator<RS, RM, CS, CM>)system)));
    }
    return pieces;
  }

  /**
   * 区分的微分可能システムの区分の番号のリストを返します。
   * 
   * @param t 時刻
   * @param states 状態
   * @return 区分的微分可能システムの区分の番号のリスト
   * @exception SolverStopException ソルバーが停止された場合
   */
  private List<Integer> getPieces(RS t, List<RM> states) throws SolverStopException {
    final List<Integer> pieces = new ArrayList<>();
    for (int i = 0; i < this.piecewiseDifferentialSystems.size(); i++) {
      final PiecewiseDifferentialSystem<RS, RM, CS, CM> system = this.piecewiseDifferentialSystems.get(i);
      final RM x = states.get(i);
      pieces.addAll(system.getPiece(t, x, getInputNodeValueOf((SystemOperator<RS, RM, CS, CM>)system)));
    }
    return pieces;
  }

  /**
   * 区分的微分可能システムのリストを設定します。
   */
  private void setupPiecewiseDifferentialSystems() {
    this.piecewiseDifferentialSystems.clear();

    final int size = getNodeSize();

    for (int row = 0; row < size; row++) {
      for (int column = 0; column < size; column++) {
        final SystemOperator<RS, RM, CS, CM> system = getSystemOperator(row, column);
        if (system instanceof PiecewiseDifferentialSystem) {
          this.piecewiseDifferentialSystems.add((PiecewiseDifferentialSystem<RS, RM, CS, CM>)system);
        }
      }
    }
  }

  /**
   * 区分的連続代数システムのリストを設定します。
   */
  private void setupPiecewiseContinuousAlgebraicSystems() {
    this.piecewiseContinuousAlgebraicSystems.clear();

    final int size = getNodeSize();

    for (int row = 0; row < size; row++) {
      for (int column = 0; column < size; column++) {
        final SystemOperator<RS, RM, CS, CM> system = getSystemOperator(row, column);
        if (system instanceof PiecewiseContinuousAlgebraicSystem) {
          this.piecewiseContinuousAlgebraicSystems.add((PiecewiseContinuousAlgebraicSystem<RS, RM, CS, CM>)system);
        }
      }
    }
  }
}