Title
Robust Control Policies Given Formal Specifications in Uncertain Environments.
Abstract
We consider robust control synthesis for linear systems with complex specifications that are affected by uncertain disturbances. This letter is motivated by autonomous systems interacting with partially known, time-varying environments. Given a specification in bounded linear temporal logic, we propose a method to synthesize control policies that fulfill the specification for all considered distur...
Year
DOI
Venue
2017
10.1109/LCSYS.2017.2700333
IEEE Control Systems Letters
Keywords
Field
DocType
Uncertainty,Robustness,Trajectory,Robust control,Planning,Stochastic processes,Linear systems
Mathematical optimization,Linear system,Control theory,Formal specification,Linear temporal logic,Robustness (computer science),Quadratic programming,Robust control,Optimization problem,Mathematics,Bounded function
Journal
Volume
Issue
ISSN
1
1
IEEE Control Systems Letters, 1 (2017), 20-25
Citations 
PageRank 
References 
1
0.35
20
Authors
4
Name
Order
Citations
PageRank
Damian Frick172.84
Tony A. Wood2133.34
Gian Ulli310.35
Maryam Kamgarpour418027.26