Similarity quantification for linear stochastic systems: A coupling compensator approach
For the formal verification and design of control systems, abstractions with quantified accuracy are crucial. This is especially the case when considering accurate deviation bounds between a stochastic continuous-state model and its finite (reduced-order) abstraction. In this work, we introduce a coupling compensator to parameterize the set of relevant couplings and we give a comprehensive computational approach and analysis for linear stochastic systems. More precisely, we develop a computational method that characterizes the set of possible simulation relations and gives a trade-off between the error contributions on the systems output and deviations in the transition probability. We show the effect of this error trade-off on the guaranteed satisfaction probability for case studies where a formal specification is given as a temporal logic formula.
Code (0)
등록된 구현이 없습니다.
Similar Papers 제목 키워드 기반
Mean Square Optimal Control by Interconnection for Linear Stochastic Hamiltonian Systems
This paper is concerned with linear stochastic Hamiltonian (LSH) systems subject to random external forces. Their dynamics are modelled by linear stochastic differential equations, parameterised by stiffness, mass, dampi…
Multi-layered simulation relations for linear stochastic systems
The design of provably correct controllers for continuous-state stochastic systems crucially depends on approximate finite-state abstractions and their accuracy quantification. For this quantification, one generally uses…
Probabilistic computation and uncertainty quantification with emerging covariance
Building robust, interpretable, and secure AI system requires quantifying and representing uncertainty under a probabilistic perspective to mimic human cognitive abilities. However, probabilistic computation presents sig…
Uncertainty QuantificationAssessment of DeepONet for reliability analysis of stochastic nonlinear dynamical systems
Time dependent reliability analysis and uncertainty quantification of structural system subjected to stochastic forcing function is a challenging endeavour as it necessitates considerable computational time. We investiga…
Uncertainty QuantificationZero-Shot LearningGenerative modelling powered by room-temperature polariton condensates
Generative modelling requires efficient stochastic nonlinear transformations and physical platforms that can naturally realise them. We experimentally demonstrate that nonlinear optical systems operating in the strong li…