| Autor: |
van Huijgevoort, Birgit C., Haesaert, Sofie |
| Přispěvatelé: |
Spatial-Temporal Systems for Control, Formal methods for control of cyber-physical systems, Control Systems, EAISI Foundational, EAISI High Tech Systems, Autonomous Motion Control Lab, Cyber-Physical Systems Center Eindhoven |
| Jazyk: |
angličtina |
| Rok vydání: |
2022 |
| Předmět: |
|
| Zdroj: |
Automatica, 144:110476. Elsevier |
| ISSN: |
0005-1098 |
| DOI: |
10.1016/j.automatica.2022.110476 |
| Popis: |
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. |
| Databáze: |
OpenAIRE |
| Externí odkaz: |
|
Full Text from ScienceDirect