A fully automated framework for control of linear systems from temporal logic specifications

M Kloetzer, C Belta - IEEE Transactions on Automatic Control, 2008 - ieeexplore.ieee.org
We consider the following problem: given a linear system and a linear temporal logic (LTL)
formula over a set of linear predicates in its state variables, find a feedback control law with …
被引用次数：624 相关文章
[PDF] washington.edu

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

M Kloetzer, C Belta - IEEE TRANSACTIONS ON …, 2008 - faculty.washington.edu
We consider the following problem: given a linear sys-tem and a linear temporal logic (LTL)
formula over a set of linear predicates in its state variables, find a feedback control law with …

[引用][C] A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications

M Kloetzer, C Belta - IEEE Transactions on Automatic Control, 2008 - cir.nii.ac.jp
A Fully Automated Framework for Control of Linear Systems from Temporal Logic
Specifications | CiNii Research CiNii 国立情報学研究所 学術情報ナビゲータ[サイニィ] 詳細へ移動 …
[PDF] bu.edu

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

M Kloetzer, C Belta - IEEE TRANSACTIONS ON AUTOMATIC …, 2008 - sites.bu.edu
We consider the following problem: given a linear sys-tem and a linear temporal logic (LTL)
formula over a set of linear predicates in its state variables, find a feedback control law with …
[PDF] archive.org

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

M Kloetzer, C Belta - IEEE TRANSACTIONS ON AUTOMATIC …, 2008 - scholar.archive.org
We consider the following problem: given a linear sys-tem and a linear temporal logic (LTL)
formula over a set of linear predicates in its state variables, find a feedback control law with …

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

M Kloetzer, C Belta - IEEE Transactions on Automatic Control, 2008 - infona.pl
We consider the following problem: given a linear system and a linear temporal logic (LTL)
formula over a set of linear predicates in its state variables, find a feedback control law with …
[PDF] archive.org

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

M Kloetzer, C Belta - IEEE TRANSACTIONS ON AUTOMATIC …, 2008 - scholar.archive.org
We consider the following problem: given a linear sys-tem and a linear temporal logic (LTL)
formula over a set of linear predicates in its state variables, find a feedback control law with …

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

M Kloetzer, C Belta - IEEE Transactions on Automatic Control, 2008 - infona.pl
We consider the following problem: given a linear system and a linear temporal logic (LTL)
formula over a set of linear predicates in its state variables, find a feedback control law with …