Software corresponding to the case study of a forced, stochastically perturbed Van der Pol oscillator as described in the paper "Temporal logic control of nonlinear stochastic systems using a piecewise-affine abstraction". In this paper we develop a method to automatically synthesize controllers for continuous-state nonlinear stochastic systems, while giving guarantees on the probability of satisfying (infinite-horizon) temporal logic specifications. Such methods crucially depend on abstractions with a quantified accuracy. For this similarity quantification, approximate stochastic simulation relations are often used. To handle the nonlinearity of the system effectively, we use finite-state abstractions based on piecewise-affine approximations together with tailored simulation relations that leverage the local affine structure. In the end, we synthesize a robust controller for a nonlinear stochastic Van der Pol oscillator.
Datum van beschikbaarheid | 5 jan. 2023 |
---|
Uitgever | Code Ocean |
---|