Formal Verification and Synthesis for Discrete-Time Stochastic Systems

DOI10.1109/TAC.2015.2398883zbMath1360.93650MaRDI QIDQ2982621

Calin Belta, Morteza Lahijanian, Sean B. Andersson

Publication date: 16 May 2017

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Stochastic systems in control theory (general) (93E03)

Related Items (15)

Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions ⋮ Quantitative verification and strategy synthesis for stochastic games ⋮ Abstraction-based synthesis for stochastic systems with omega-regular objectives ⋮ k-Inductive Barrier Certificates for Stochastic Systems ⋮ Symbolic control for stochastic systems via finite parity games ⋮ Collaborative models for autonomous systems controller synthesis ⋮ Strategy synthesis for partially-known switched stochastic systems ⋮ Distributionally Robust Strategy Synthesis for Switched Stochastic Systems ⋮ Interval Markov Decision Processes with Continuous Action-Spaces ⋮ Verification and control for probabilistic hybrid automata with finite bisimulations ⋮ Control synthesis for stochastic systems given automata specifications defined by stochastic sets ⋮ Probabilistic guarantees for safe deep reinforcement learning ⋮ Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games ⋮ Automated verification and synthesis of stochastic hybrid systems: a survey ⋮ Robustly complete finite-state abstractions for verification of stochastic systems

This page was built for publication: Formal Verification and Synthesis for Discrete-Time Stochastic Systems