Compositional synthesis of state-dependent switching control.
Theoretical Computer Science(2018)
摘要
We present a correct-by-design method of state-dependent control synthesis for sampled switching systems. Given a target region R of the state space, our method builds a capture set S and a control that steers any element of S into R. The method works by iterated backward reachability from R. The method is also used to synthesize a recurrence control that makes any state of R return to R infinitely often. We explain how the synthesis method can be performed in a compositional manner, and apply it to the synthesis of a compositional control of a concrete floor-heating system with 11 rooms and up to 211=2048 switching modes.
更多查看译文
关键词
Control synthesis,Hybrid system,Compositional method,Bisection technique
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络