Fetching the paper…
Reading the bibliography…
Controller synthesis for hybrid systems that satisfy temporal specifications expressing various system properties is a challenging problem that has drawn the attention of many researchers.
A stochastic programming model
S. Kataoka · 1963
Earlier work this paper cites.
Minimum-cost cattle feed under probabilistic protein constraints
C. Van de Panne and W. Popp · 1963
Earlier work this paper cites.
Robust control of a class of uncertain nonlinear systems
Y. Wang, L. Xie, and C. E. de Souza · 1992
Earlier work this paper cites.
Model predictive control
M. Morari, C. Garcia, J. Lee, and D. Prett · 1993
Earlier work this paper cites.
Robust constrained model predictive control using linear matrix inequalities
M. V. Kothare, V. Balakrishnan, and M. Morari · 1996
Earlier work this paper cites.
Learning in graphical models (adaptive computation and machine learning)
M. Jordan · 1998
Earlier work this paper cites.
Essentials of robust control
K. Zhou and J. C. Doyle · 1998
Earlier work this paper cites.
A family of algorithms for approximate Bayesian inference
T. P. Minka · 2001
Earlier work this paper cites.
An introduction to mcmc for machine learning
C. Andrieu, N. De Freitas, A. Doucet, and M. I. Jordan · 2003
Earlier work this paper cites.
Variational algorithms for approximate Bayesian inference
M. J. Beal · 2003
Earlier work this paper cites.
Convex optimization
S. Boyd and L. Vandenberghe · 2004
Earlier work this paper cites.
Yalmip: A toolbox for modeling and optimization in matlab
J. Löfberg · 2004
Earlier work this paper cites.
A time-dependent hamilton-jacobi formulation of reachable sets for continuous dynamic games
I. M. Mitchell, A. M. Bayen, and C. J. Tomlin · 2005
Earlier work this paper cites.
Synthesis of reactive (1) designs
N. Piterman, A. Pnueli, and Y. Sa · 2006
Earlier work this paper cites.
Gaussian processes for machine learning
C. K. Williams and C. E. Rasmussen · 2006
Cited alongside, same era.
Robust optimization
A. Ben-Tal, L. El Ghaoui, and A. Nemirovski · 2009
Cited alongside, same era.
Linear and nonlinear optimization
I. Griva, S. G. Nash, and A. Sofer · 2009
Cited alongside, same era.
Aerodynamics and control of autonomous quadrotor helicopters in aggressive maneuvering
H. Huang, G. M. Hoffmann, S. L. Waslander, and C. J. Tomlin · 2009
Cited alongside, same era.
Temporal-logic-based reactive mission and motion planning
H. Kress-Gazit, G. E. Fainekos, and G. J. Pappas · 2009
Cited alongside, same era.
Robust Satisfaction of Temporal Logic over Real-Valued Signals
A. Donzé and O. Maler · 2010
Cited alongside, same era.
A probabilistic approach to planning and control in autonomous urban driving
M. P. Vitus and C. J. Tomlin · 2013
Later among the works it cites.
Reachability-based safe learning with gaussian processes
A. K. Akametalu, S. Kaynama, J. F. Fisac, M. N. Zeilinger, J. H. Gillula, and C. J. Tomlin · 2014
Later among the works it cites.
Stochastic predictive control of autonomous vehicles in uncertain environments
A. Carvalho, Y. Gao, S. Lefevre, and F. Borrelli · 2014
Later among the works it cites.
J. Fu and U. Topcu · 2014
Later among the works it cites.
Probably approximately correct mdp learning and control with temporal logic constraints
J. Fu and U. Topcu · 2014
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Receding horizon control for temporal logic specifications
T. Wongpiromsarn, U. Topcu, and R. M. Murray · 2010
Cited alongside, same era.
Chance-constrained optimal path planning with obstacles
L. Blackmore, M. Ono, and B. C. Williams · 2011
Cited alongside, same era.
Guaranteed safe online learning via reachability: tracking a ground target using a quadrotor
J. H. Gillula and C. J. Tomlin · 2012
Cited alongside, same era.
Backtracking temporal logic synthesis for uncertain environments
S. C. Livingston, R. M. Murray, and J. W. Burdick · 2012
Cited alongside, same era.
Stochastic Control Via Chance Constrained Optimization and its Application to Unmanned Aerial Vehicles
M. P. Vitus · 2012
Cited alongside, same era.
Provably safe and robust learning-based model predictive control
A. Aswani, H. Gonzalez, S. S. Sastry, and C. Tomlin · 2013
Cited alongside, same era.
Bayesian data analysis
A. Gelman, J. B. Carlin, H. S. Stern, and D. B. Rubin · 2014
Later among the works it cites.
Model predictive control with signal temporal logic specifications
V. Raman, A. Donzé, M. Maasoumy, R. M. Murray, A. Sangiovanni-Vincentelli, S. Seshia, et al · 2014
Later among the works it cites.
A learning based approach to control synthesis of markov decision processes for linear temporal logic specifications
D. Sadigh, E. S. Kim, S. Coogan, S. S. Sastry, S. Seshia, et al · 2014
Later among the works it cites.
Computational methods for stochastic control with metric interval temporal logic specifications
J. Fu and U. Topcu · 2015
Closest in time.
Temporal logic model predictive control
E. A. Gol, M. Lazar, and C. Belta · 2015
Closest in time.
Gurobi optimizer reference manual, 2015
I. Gurobi Optimization · 2015
Closest in time.
Stochastic model predictive controller with chance constraints for comfortable and safe driving behavior of autonomous vehicles
D. Lenz, T. Kessler, and A. Knoll · 2015
Closest in time.
Reactive synthesis from signal temporal logic specifications
V. Raman, A. Donzé, D. Sadigh, R. M. Murray, and S. A. Seshia · 2015
Closest in time.
Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
M. Svoreňová, J. Křetínskỳ, M. Chmelík, K. Chatterjee, I. Černá, and C. Belta · 2015
Closest in time.