Minimally Constrained Stable Switched Systems and Application to Co-simulation
For engineers designing co-simulation systems, this work provides a method to enforce numerical stability without overly restricting simulator behaviors.
The paper proposes an algorithm to restrict switching signals of constrained switched systems to guarantee stability while maximizing the set of allowed signals, and applies it to certify stability of an adaptive co-simulation orchestration algorithm.
We propose an algorithm to restrict the switching signals of a constrained switched system in order to guarantee its stability, while at the same time attempting to keep the largest possible set of allowed switching signals. Our work is motivated by applications to (co-)simulation, where numerical stability is a hard constraint, but should be attained by restricting as little as possible the allowed behaviours of the simulators. We apply our results to certify the stability of an adaptive co-simulation orchestration algorithm, which selects the optimal switching signal at run-time, as a function of (varying) performance and accuracy requirements.