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

Nonlinear Analysis Hybrid Systems ◽

10.1016/j.nahs.2016.04.006 ◽

2017 ◽

Vol 23 ◽

pp. 230-253 ◽

Cited By ~ 1

Author(s):

Mária Svoreňová ◽

Jan Křetínský ◽

Martin Chmelík ◽

Krishnendu Chatterjee ◽

Ivana Černá ◽

...

Keyword(s):

Linear Systems ◽

Temporal Logic ◽

Abstraction Refinement ◽

Logic Control ◽

Stochastic Linear Systems

Download Full-text

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

Proceedings of the 18th International Conference on Hybrid Systems Computation and Control - HSCC '15 ◽

10.1145/2728606.2728608 ◽

2015 ◽

Cited By ~ 5

Author(s):

Mária Svoreňová ◽

Jan Křetínský ◽

Martin Chmelík ◽

Krishnendu Chatterjee ◽

Ivana Černá ◽

...

Keyword(s):

Linear Systems ◽

Temporal Logic ◽

Abstraction Refinement ◽

Logic Control ◽

Stochastic Linear Systems

Download Full-text

Data-driven verification of stochastic linear systems with signal temporal logic constraints

Automatica ◽

10.1016/j.automatica.2021.109781 ◽

2021 ◽

Vol 131 ◽

pp. 109781

Author(s):

Ali Salamati ◽

Sadegh Soudjani ◽

Majid Zamani

Keyword(s):

Linear Systems ◽

Temporal Logic ◽

Data Driven ◽

Stochastic Linear Systems

Download Full-text

Adaptive control with recursive identification for stochastic linear systems

IEEE Transactions on Automatic Control ◽

10.1109/tac.1984.1103520 ◽

1984 ◽

Vol 29 (4) ◽

pp. 312-321 ◽

Cited By ~ 71

Author(s):

P. Caines ◽

S. Lafortune

Keyword(s):

Adaptive Control ◽

Linear Systems ◽

Recursive Identification ◽

Stochastic Linear Systems

Download Full-text

Almost sure stability of stochastic linear systems with ergodic parameters: an average contractivity criterion

Proceedings of the 45th IEEE Conference on Decision and Control ◽

10.1109/cdc.2006.377061 ◽

2006 ◽

Cited By ~ 2

Author(s):

Paolo Bolzern ◽

Patrizio Colaneri ◽

Giuseppe De Nicolao

Keyword(s):

Linear Systems ◽

Almost Sure Stability ◽

Stochastic Linear Systems

Download Full-text

Hysteresis-based switching control of stochastic linear systems

2003 European Control Conference (ECC) ◽

10.23919/ecc.2003.7086490 ◽

2003 ◽

Cited By ~ 2

Author(s):

Maria Prandini ◽

Joao P. Hespanha ◽

M.C. Campi

Keyword(s):

Linear Systems ◽

Switching Control ◽

Stochastic Linear Systems

Download Full-text

Optimal stochastic linear systems with exponential performance criteria and their relation to deterministic differential games

IEEE Transactions on Automatic Control ◽

10.1109/tac.1973.1100265 ◽

1973 ◽

Vol 18 (2) ◽

pp. 124-131 ◽

Cited By ~ 392

Author(s):

D. Jacobson

Keyword(s):

Linear Systems ◽

Differential Games ◽

Performance Criteria ◽

Stochastic Linear Systems

Download Full-text

A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications

IEEE Transactions on Automatic Control ◽

10.1109/tac.2007.914952 ◽

2008 ◽

Vol 53 (1) ◽

pp. 287-297 ◽

Cited By ~ 277

Author(s):

Marius Kloetzer ◽

Calin Belta

Keyword(s):

Linear Systems ◽

Temporal Logic ◽

Control Of Linear Systems

Download Full-text

Parameter estimation of stochastic linear systems subject to colored noise

Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228) ◽

10.1109/cdc.2001.980643 ◽

2003 ◽

Cited By ~ 1

Author(s):

Wei Xing Zheng

Keyword(s):

Parameter Estimation ◽

Linear Systems ◽

Colored Noise ◽

Stochastic Linear Systems

Download Full-text

State-multiplicative Stochastic Linear Systems - Input-delayed $H_{\infty}$ Control

2019 6th International Conference on Control, Decision and Information Technologies (CoDIT) ◽

10.1109/codit.2019.8820538 ◽

2019 ◽

Author(s):

Eli Gershon

Keyword(s):

Linear Systems ◽

Stochastic Linear Systems

Download Full-text

Temporal logic control of general Markov decision processes by approximate policy refinement

IFAC-PapersOnLine ◽

10.1016/j.ifacol.2018.08.013 ◽

2018 ◽

Vol 51 (16) ◽

pp. 73-78 ◽

Cited By ~ 4

Author(s):

Sofie Haesaert ◽

Sadegh Soudjani ◽

Alessandro Abate

Keyword(s):

Temporal Logic ◽

Markov Decision Processes ◽

Decision Processes ◽

Logic Control ◽

Markov Decision ◽

Policy Refinement

Download Full-text