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

Automatica ◽  
2021 ◽  
Vol 131 ◽  
pp. 109781
Author(s):  
Ali Salamati ◽  
Sadegh Soudjani ◽  
Majid Zamani
Keyword(s):  
Linear Systems ◽  
Temporal Logic ◽  
Data Driven ◽  
Stochastic Linear Systems

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

2017 ◽  
Vol 23 ◽  
pp. 230-253 ◽  
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

scholarly journals Randomized Algorithms for Data-Driven Stabilization of Stochastic Linear Systems

2019 ◽  
Author(s):  
Mohamad Kazem Shirani Faradonbeh ◽  
Ambuj Tewari ◽  
George Michailidis
Keyword(s):  
Linear Systems ◽  
Randomized Algorithms ◽  
Data Driven ◽  
Stochastic Linear Systems

scholarly journals Online Output-Feedback Optimal Control of Linear Systems Based on Data-Driven Adaptive Learning

2020 ◽  
Vol 53 (2) ◽  
pp. 1596-1601
Author(s):  
Jun Zhao ◽  
Jing Na ◽  
Guanbin Gao ◽  
Shichang Han ◽  
Qiang Chen ◽  
...  
Keyword(s):  
Optimal Control ◽  
Linear Systems ◽  
Adaptive Learning ◽  
Output Feedback ◽  
Data Driven ◽  
Control Of Linear Systems ◽  
Feedback Optimal Control
Sign in / Sign up

Export Citation Format

Share Document