Compositional Set Invariance in Network Systems with Assume-Guarantee Contracts

@article{Chen2019CompositionalSI,
  title={Compositional Set Invariance in Network Systems with Assume-Guarantee Contracts},
  author={Yuxiao Chen and James Anderson and Karan Kalsi and Steven H. Low and Aaron D. Ames},
  journal={2019 American Control Conference (ACC)},
  year={2019},
  pages={1027-1034}
}
  • Yuxiao Chen, James Anderson, +2 authors Aaron D. Ames
  • Published in
    American Control Conference…
    2019
  • Computer Science, Mathematics
  • This paper presents an assume-guarantee reasoning approach to the computation of robust invariant sets for network systems. Parameterized signal temporal logic (pSTL) is used to formally describe the behaviors of the subsystems, which we use as the template for the contract. We show that set invariance can be proved with a valid assume-guarantee contract by reasoning about individual subsystems. If a valid assume-guarantee contract with monotonic pSTL template is known, it can be further… CONTINUE READING

    Create an AI-powered research feed to stay up to date with new papers like this posted to ArXiv

    Citations

    Publications citing this paper.
    SHOWING 1-4 OF 4 CITATIONS

    Transient Safety Filter Design for Grid-Forming Inverters

    VIEW 1 EXCERPT
    CITES BACKGROUND

    System Level Synthesis with State and Input Constraints

    VIEW 1 EXCERPT
    CITES METHODS

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 27 REFERENCES

    Validating Noncooperative Control Designs Through a Lyapunov Approach

    VIEW 1 EXCERPT

    Data-Driven Computation of Minimal Robust Control Invariant Set

    Obstacle Avoidance for Low-Speed Autonomous Vehicles With Barrier Function

    VIEW 1 EXCERPT

    Control Barrier Function Based Quadratic Programs for Safety Critical Systems

    VIEW 1 EXCERPT

    Optimal Load-Side Control for Frequency Regulation in Smart Grids

    VIEW 3 EXCERPTS