Switching Controller Synthesis for Hybrid Systems Against STL Formulas

This paper addresses the synthesis of switching controllers for hybrid systems whose objectives are given by a fragment of Signal Temporal Logic (STL), which essentially corresponds to reach-avoid problems with timing constraints. The approach iteratively computes the state sets that can be driven to satisfy the specification, supports both constant and non-constant hybrid dynamics, and is proved sound with relative completeness for a subclass of hybrid systems.

Authors: Han Su, Shenghua Feng, Simon Sinong Zhan, Naijun Zhan

@inproceedings{su2024switching, title={Switching Controller Synthesis for Hybrid Systems Against STL Formulas}, author={Su, Han and Feng, Shenghua and Zhan, Sinong and Zhan, Naijun}, booktitle={International Symposium on Formal Methods (FM)}, year={2024}, url={https://arxiv.org/abs/2406.16588} }