Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games

DOI10.1145/2728606.2728608zbMath1364.93751OpenAlexW2148962689MaRDI QIDQ5892457

Mária Svoreňová, Krishnendu Chatterjee, Jan Křetínský, Calin Belta, Martin Chmelík, Ivana Černá

Publication date: 19 May 2017

Published in: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2728606.2728608

zbMATH Keywords

temporal logic specificationdiscrete-time, stochastic linear dynamicsinitial states of a dynamical systemturn-based 2-player probabilistic games

Mathematics Subject Classification ID

Discrete-time control/observation systems (93C55) Linear systems in control theory (93C05) Stochastic games, stochastic differential games (91A15) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Stochastic systems in control theory (general) (93E03)

Related Items (3)

Augmented finite transition systems as abstractions for control synthesis ⋮ Safe autonomy under perception uncertainty using chance-constrained temporal logic ⋮ Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games

Cites Work

• Unnamed Item
• Unnamed Item
• On Fixed Points of Strictly Causal Functions
• Requirements for hybrid cosimulation standards
• THEORY OF QUANTIZED SYSTEMS: DEVS SIMULATION OF PERCEIVING AGENTS
• Hybrid Systems: Computation and Control

This page was built for publication: Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games