ML p(r)ior | Towards Scalable Synthesis of Stochastic Control Systems

Towards Scalable Synthesis of Stochastic Control Systems

2016-02-03
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.
PDF

Highlights - Most important sentences from the article

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
PDF

Highlights - Most important sentences from the article

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
PDF

Highlights - Most important sentences from the article

2019-04-10
1904.05030 | cs.SY

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

Highlights - Most important sentences from the article

2019-05-11

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

Highlights - Most important sentences from the article

2019-05-10
1905.04117 | cs.SY

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

Highlights - Most important sentences from the article

2018-01-30

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

Highlights - Most important sentences from the article

2019-03-15
1903.06368 | cs.SY

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

Highlights - Most important sentences from the article

2018-11-28
1811.11445 | cs.SY

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

Highlights - Most important sentences from the article

2017-12-20

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

Highlights - Most important sentences from the article

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
PDF

Highlights - Most important sentences from the article

2019-02-25
1902.09411 | cs.SY

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

Highlights - Most important sentences from the article

2019-04-06

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

Highlights - Most important sentences from the article

2019-04-25
1904.11246 | cs.SY

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

Highlights - Most important sentences from the article

2018-09-08
1809.02750 | cs.SY

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

Highlights - Most important sentences from the article

2018-07-09

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

Highlights - Most important sentences from the article

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
PDF

Highlights - Most important sentences from the article