scholarly journals Temporal logic control of switched affine systems with an application in fuel balancing

2012 ◽  
Author(s):  
P. Nilsson ◽  
N. Ozay ◽  
U. Topcu ◽  
R. M. Murray
Keyword(s):  
Temporal Logic ◽  
Affine Systems ◽  
Logic Control

Temporal Logic Control of Discrete-Time Piecewise Affine Systems

2012 ◽  
Vol 57 (6) ◽  
pp. 1491-1504 ◽  
Author(s):  
Boyan Yordanov ◽  
Jana Tumova ◽  
Ivana Cerna ◽  
Jiří Barnat ◽  
Calin Belta
Keyword(s):  
Temporal Logic ◽  
Discrete Time ◽  
Piecewise Affine Systems ◽  
Affine Systems ◽  
Piecewise Affine ◽  
Logic Control

scholarly journals Time-Constrained Temporal Logic Control of Multi-Affine Systems

2012 ◽  
Vol 45 (9) ◽  
pp. 102-107 ◽  
Author(s):  
Ebru Aydin Gol ◽  
Calin Belta
Keyword(s):  
Temporal Logic ◽  
Affine Systems ◽  
Logic Control

Temporal logic control for an autonomous quadrotor in a nondeterministic environment

2013 ◽  
Author(s):  
Alphan Ulusoy ◽  
Michael Marrazzo ◽  
Konstantinos Oikonomopoulos ◽  
Ryan Hunter ◽  
Calin Belta
Keyword(s):  
Temporal Logic ◽  
Logic Control

scholarly journals Reinforcement Learning Based Temporal Logic Control with Maximum Probabilistic Satisfaction

2021 ◽  
Author(s):  
Mingyu Cai ◽  
Shaoping Xiao ◽  
Baoluo Li ◽  
Zhiliang Li ◽  
Zhen Kan
Keyword(s):  
Reinforcement Learning ◽  
Temporal Logic ◽  
Logic Control

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
Sign in / Sign up

Export Citation Format

Share Document