Temporal logic control of nonlinear stochastic systems using a piecewise-affine abstraction

Birgit C. van Huijgevoort; Siep Weiland; Sofie Haesaert

doi:10.1109/LCSYS.2022.3230765

Temporal logic control of nonlinear stochastic systems using a piecewise-affine abstraction

Birgit C. van Huijgevoort (Corresponding author)
, Siep Weiland
, Sofie Haesaert

Research output: Contribution to journal › Article › Academic › peer-review

5 Citations (Scopus)

257 Downloads (Pure)

Abstract

Automatically synthesizing controllers for continuous-state nonlinear stochastic systems, while giving guarantees on the probability of satisfying (infinite-horizon) temporal logic specifications crucially depends 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.

Original language	English
Pages (from-to)	1039-1044
Number of pages	6
Journal	IEEE Control Systems Letters
Volume	7
DOIs	https://doi.org/10.1109/LCSYS.2022.3230765
Publication status	Published - 2023

Funding

This work was supported in part by the Project CODEC of the Research Program Veni which is (partly) financed by the Dutch Research Council (NWO) under Project 18244

Funders	Funder number
Nederlandse Organisatie voor Wetenschappelijk Onderzoek	18244

Keywords

Formal specifications
stochastic systems
Nonlinear dynamical systems
automatic control
cyber-physical systems
Computational modeling
Stochastic systems
Stochastic processes
Aerospace electronics
Extraterrestrial measurements
Mathematical models
Behavioral sciences
nonlinear dynamical systems

Access to Document

10.1109/LCSYS.2022.3230765

pdfFinal published version, 598 KBLicence: TAVERNE

Cite this

@article{cdde2e67f09043259c30c728efabe446,

title = "Temporal logic control of nonlinear stochastic systems using a piecewise-affine abstraction",

abstract = "Automatically synthesizing controllers for continuous-state nonlinear stochastic systems, while giving guarantees on the probability of satisfying (infinite-horizon) temporal logic specifications crucially depends 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.",

keywords = "Formal specifications, stochastic systems, Nonlinear dynamical systems, automatic control, cyber-physical systems, Computational modeling, Stochastic systems, Stochastic processes, Aerospace electronics, Extraterrestrial measurements, Mathematical models, Behavioral sciences, nonlinear dynamical systems",

author = "\{van Huijgevoort\}, \{Birgit C.\} and Siep Weiland and Sofie Haesaert",

year = "2023",

doi = "10.1109/LCSYS.2022.3230765",

language = "English",

volume = "7",

pages = "1039--1044",

journal = "IEEE Control Systems Letters",

issn = "2475-1456",

publisher = "Institute of Electrical and Electronics Engineers",

}

TY - JOUR

T1 - Temporal logic control of nonlinear stochastic systems using a piecewise-affine abstraction

AU - van Huijgevoort, Birgit C.

AU - Weiland, Siep

AU - Haesaert, Sofie

PY - 2023

Y1 - 2023

N2 - Automatically synthesizing controllers for continuous-state nonlinear stochastic systems, while giving guarantees on the probability of satisfying (infinite-horizon) temporal logic specifications crucially depends 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.

AB - Automatically synthesizing controllers for continuous-state nonlinear stochastic systems, while giving guarantees on the probability of satisfying (infinite-horizon) temporal logic specifications crucially depends 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.

KW - Formal specifications

KW - stochastic systems

KW - Nonlinear dynamical systems

KW - automatic control

KW - cyber-physical systems

KW - Computational modeling

KW - Stochastic systems

KW - Stochastic processes

KW - Aerospace electronics

KW - Extraterrestrial measurements

KW - Mathematical models

KW - Behavioral sciences

KW - nonlinear dynamical systems

UR - https://www.scopus.com/pages/publications/85146250674

U2 - 10.1109/LCSYS.2022.3230765

DO - 10.1109/LCSYS.2022.3230765

M3 - Article

SN - 2475-1456

VL - 7

SP - 1039

EP - 1044

JO - IEEE Control Systems Letters

JF - IEEE Control Systems Letters

ER -

Temporal logic control of nonlinear stochastic systems using a piecewise-affine abstraction

Abstract

Funding

Keywords

Access to Document

Other files and links

Fingerprint

Temporal logic control of a Van der Pol oscillator using a piecewise-affine abstraction

Cite this

Temporal logic control of nonlinear stochastic systems using a piecewise-affine abstraction

Abstract

Funding

Keywords

Access to Document

Other files and links

Fingerprint

Datasets

Temporal logic control of a Van der Pol oscillator using a piecewise-affine abstraction

Cite this