### Towards Scalable Synthesis of Stochastic Control Systems

**2016-02-03**

1602.01358 | cs.SY

Formal control synthesis approaches over stochastic systems have received
significant attention in the past few years, in view of their ability to
provide provably correct controllers for complex logical specifications in an
automated fashion. Examples of complex specifications of interest include
properties expressed as formulae in linear temporal logic (LTL) or as automata
on infinite strings. A general methodology to synthesize controllers for such
properties resorts to symbolic abstractions of the given stochastic systems.
Symbolic models are discrete abstractions of the given concrete systems with
the property that a controller designed on the abstraction can be refined (or
implemented) into a controller on the original system. Although the recent
development of techniques for the construction of symbolic models has been
quite encouraging, the general goal of formal synthesis over stochastic control
systems is by no means solved. A fundamental issue with the existing techniques
is the known "curse of dimensionality," which is due to the need to discretize
state and input sets and that results in an exponential complexity over the
number of state and input variables in the concrete system. In this work we
propose a novel abstraction technique for incrementally stable stochastic
control systems, which does not require state-space discretization but only
input set discretization, and that can be potentially more efficient (and thus
scalable) than existing approaches. We elucidate the effectiveness of the
proposed approach by synthesizing a schedule for the coordination of two
traffic lights under some safety and fairness requirements for a road traffic
model. Further we argue that this 5-dimensional linear stochastic control
system cannot be studied with existing approaches based on state-space
discretization due to the very large number of generated discrete states.

**Login to like/save this paper, take notes and configure your recommendations**

# Related Articles

**2019-05-30**

1905.12808 | cs.SY

In this paper, we provide a compositional methodology for constructing
symbolic models for networks … show more

**2019-04-01**

1904.00616 | cs.SY

Input-to-state stability (ISS) of switched systems is studied where the
individual subsystems are co… show more

**2019-04-10**

1904.05030 | cs.SY

This paper studies an output feedback stabilization control framework for
discrete-time linear syste… show more

**2019-05-11**

1905.04585 | cs.SY

We study formal synthesis of control policies for discrete-time stochastic
control systems against c… show more

**2019-05-10**

1905.04117 | cs.SY

This paper investigates stochastic invariance for control systems through
probabilistic controlled i… show more

**2018-01-30**

1801.10505 | cs.SY

This paper is concerned with a compositional approach for constructing
infinite abstractions of inte… show more

**2019-03-15**

1903.06368 | cs.SY

This paper explores the theoretical limits of using discrete abstractions for
nonlinear control synt… show more

**2018-11-28**

1811.11445 | cs.SY

Discrete-time stochastic systems are an essential modelling tool for many
engineering systems. We co… show more

**2017-12-20**

1712.07622 | cs.SY

The formal verification and controller synthesis for Markov decision
processes that evolve over unco… show more

**2019-03-15**

1903.06842 | cs.SY

In a paper by Willems and coworkers it was shown that sufficiently excited
data could be used to rep… show more

**2019-02-25**

1902.09411 | cs.SY

Opacity is an important information-flow security property in the analysis of
cyber-physical systems… show more

**2019-04-06**

1904.03440 | cs.SY

We provide a Lyapunov-function-based method for establishing different types
of uniform input-to-sta… show more

**2019-04-25**

1904.11246 | cs.SY

In multiagent dynamical systems, privacy protection corresponds to avoid
disclosing the initial stat… show more

**2018-09-08**

1809.02750 | cs.SY

In this paper, we investigate the robustness to external disturbances of
switched discrete and conti… show more

**2018-07-09**

1807.03256 | math.OC

Across smart-grid and smart-city application domains, there are many problems
where an ensemble of a… show more

**2018-10-30**

1810.12942 | math.OC

Periodic event-triggered control (PETC) has the advantages of both
sampled-data control and event-tr… show more