Formal Verification of Station Keeping Maneuvers for a Planar Autonomous Hybrid System

@inproceedings{Martin2017FormalVO,
  title={Formal Verification of Station Keeping Maneuvers for a Planar Autonomous Hybrid System},
  author={B. Martin and Khalil Ghorbal and E. Goubault and S. Putot},
  booktitle={FVAV@iFM},
  year={2017}
}
  • B. Martin, Khalil Ghorbal, +1 author S. Putot
  • Published in FVAV@iFM 2017
  • Computer Science
  • In this case study paper, we investigate the formal verification of a hybrid control law designed to perform a station keeping maneuver for a planar vehicle. Such maneuver requires that the vehicle reaches a neighborhood of its station in finite time and remains in it while waiting for further commands. We model the dynamics as well as the control law as a hybrid program and formally verify the reachability and safety properties involved. We highlight in particular the automated generation of… CONTINUE READING

    Figures, Tables, and Topics from this paper.

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 18 REFERENCES
    Differential Dynamic Logic for Hybrid Systems
    332
    Computing semi-algebraic invariants for polynomial dynamical systems
    94
    Outer Approximation of Attractors Using an Interval Quantization
    2
    Characterizing Algebraic Invariants by Differential Radical Invariants
    50