English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
  Compositional Construction of Finite State Abstractions for Stochastic Control Systems

Mallik, K., Soudjani, S., Schmuck, A.-K., & Majumdar, R. (2017). Compositional Construction of Finite State Abstractions for Stochastic Control Systems. Retrieved from http://arxiv.org/abs/1709.09546.

Item is

Files

show Files
hide Files
:
arXiv:1709.09546.pdf (Preprint), 225KB
Name:
arXiv:1709.09546.pdf
Description:
File downloaded from arXiv at 2018-03-23 09:30 This paper has been accepted for publication in CDC 2017
OA-Status:
Visibility:
Public
MIME-Type / Checksum:
application/pdf / [MD5]
Technical Metadata:
Copyright Date:
-
Copyright Info:
-

Locators

show

Creators

show
hide
 Creators:
Mallik, Kaushik1, Author           
Soudjani, Sadegh1, Author           
Schmuck, Anne-Kathrin1, Author           
Majumdar, Rupak1, Author           
Affiliations:
1Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society, ou_2105292              

Content

show
hide
Free keywords: cs.SY
 Abstract: Controller synthesis techniques for continuous systems with respect to temporal logic specifications typically use a finite-state symbolic abstraction of the system. Constructing this abstraction for the entire system is computationally expensive, and does not exploit natural decompositions of many systems into interacting components. We have recently introduced a new relation, called (approximate) disturbance bisimulation for compositional symbolic abstraction to help scale controller synthesis for temporal logic to larger systems. In this paper, we extend the results to stochastic control systems modeled by stochastic differential equations. Given any stochastic control system satisfying a stochastic version of the incremental input-to-state stability property and a positive error bound, we show how to construct a finite-state transition system (if there exists one) which is disturbance bisimilar to the given stochastic control system. Given a network of stochastic control systems, we give conditions on the simultaneous existence of disturbance bisimilar abstractions to every component allowing for compositional abstraction of the network system.

Details

show
hide
Language(s): eng - English
 Dates: 2017-09-272017
 Publication Status: Published online
 Pages: 8 p.
 Publishing info: -
 Table of Contents: -
 Rev. Type: -
 Identifiers: arXiv: 1709.09546
URI: http://arxiv.org/abs/1709.09546
BibTex Citekey: Mallik_arXiv1709.09546
 Degree: -

Event

show

Legal Case

show

Project information

show

Source

show