Fetching the paper…
Reading the bibliography…
We present a framework to synthesize control policies for nonlinear dynamical systems from complex temporal constraints specified in a rich temporal logic called Signal Temporal Logic (STL).
A. Pnueli, “The temporal logic of programs,” in 18th Annual Symposium on Foundations of Computer Science, Providence, Rhode Island, USA, 31 October - 1 November 1977 . IEEE Computer Society, 1977, pp. 46–57
1977
Earlier work this paper cites.
R. Koymans, “Specifying real-time properties with metric temporal logic,” Real-Time Systems , vol. 2, no. 4, pp. 255–299, 1990
1990
Earlier work this paper cites.
A. Bemporad and M. Morari, “Control of systems integrating logic, dynamics, and constraints,” Automatica , vol. 35, no. 3, pp. 407–427, 1999
1999
Earlier work this paper cites.
D. P. Bertsekas, Nonlinear programming . Athena scientific Belmont, 1999
1999
Earlier work this paper cites.
O. Maler and D. Nickovic, “Monitoring temporal properties of continuous signals,” in Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems . Springer, 2004, pp. 152–166
2004
Earlier work this paper cites.
S. Karaman, R. G. Sanfelice, and E. Frazzoli, “Optimal control of mixed logical dynamical systems with linear temporal logic specifications,” in Proc. of CDC 2008: the 47th IEEE Conference on Decision and Control . IEEE, 2008, pp. 2117–2122
2008
Earlier work this paper cites.
S. Richter, C. N. Jones, and M. Morari, “Real-time input-constrained mpc using fast gradient methods,” in Decision and Control, 2009 held jointly with the 2009 28th Chinese Control Conference. CDC/CCC 2009. Proceedings of the 48th IEEE Conference on . IEEE, 2009, pp. 7387–7393
2009
Earlier work this paper cites.
A. Donzé and O. Maler, “Robust satisfaction of temporal logic over real-valued signals,” in International Conference on Formal Modeling and Analysis of Timed Systems . Springer, 2010, pp. 92–106
2010
Earlier work this paper cites.
P. Zuliani, A. Platzer, and E. M. Clarke, “Bayesian statistical model checking with application to simulink/stateflow verification,” in Proceedings of the 13th ACM international conference on Hybrid systems: computation and control . ACM, 2010, pp. 243–252
2010
Earlier work this paper cites.
Y. Annpureddy, C. Liu, G. Fainekos, and S. Sankaranarayanan, “S-taliro: A tool for temporal logic falsification for hybrid systems,” in International Conference on Tools and Algorithms for the Construction and Analysis of Systems . Springer, 2011, pp. 254–257
2011
Cited alongside, same era.
T. Wongpiromsarn, U. Topcu, and R. M. Murray, “Receding horizon temporal logic planning,” IEEE Trans. Automat. Contr. , vol. 57, no. 11, pp. 2817–2830, 2012
2012
Cited alongside, same era.
E. F. Camacho and C. B. Alba, Model predictive control . Springer Science & Business Media, 2013
2013
Cited alongside, same era.
V. Raman, A. Donzé, M. Maasoumy, R. M. Murray, A. Sangiovanni-Vincentelli, and S. A. Seshia, “Model predictive control with signal temporal logic specifications,” in Decision and Control (CDC), 2014 IEEE 53rd Annual Conference on . IEEE, 2014, pp. 81–87
2014
Cited alongside, same era.
S. Saha and A. A. Julius, “An milp approach for real-time optimal controller synthesis with metric temporal logic specifications,” in American Control Conference (ACC), 2016 . IEEE, 2016, pp. 1105–1110
2016
Later among the works it cites.
A. Rodionova, E. Bartocci, D. Nickovic, and R. Grosu, “Temporal logic as filtering,” in Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control . ACM, 2016, pp. 11–20
2016
Later among the works it cites.
I. Haghighi, S. Sadraddini, and C. Belta, “Robotic swarm control from spatio-temporal specifications,” in Decision and Control (CDC), 2016 IEEE 55th Conference on . IEEE, 2016, pp. 5708–5713
2016
Later among the works it cites.
C. Belta, B. Yordanov, and E. A. Gol, Formal Methods for Discrete-Time Dynamical Systems . Springer, 2017
2017
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
X. C. Ding, M. Lazar, and C. Belta, “LTL receding horizon control for finite deterministic systems,” Automatica , vol. 50, no. 2, pp. 399–408, 2014
2014
Cited alongside, same era.
M. Ellis, H. Durand, and P. D. Christofides, “A tutorial review of economic model predictive control methods,” Journal of Process Control , vol. 24, no. 8, pp. 1156–1178, 2014
2014
Cited alongside, same era.
A. Dokhanchi, B. Hoxha, and G. Fainekos, “On-line monitoring for temporal logic robustness,” in International Conference on Runtime Verification . Springer, 2014, pp. 231–246
2014
Cited alongside, same era.
V. Raman, A. Donzé, D. Sadigh, R. M. Murray, and S. A. Seshia, “Reactive synthesis from signal temporal logic specifications,” in Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control . ACM, 2015, pp. 239–248
2015
Cited alongside, same era.
T. Akazaki and I. Hasuo, “Time robustness in mtl and expressivity in hybrid system falsification,” in International Conference on Computer Aided Verification . Springer, 2015, pp. 356–374
2015
Cited alongside, same era.
Y. V. Pant, H. Abbas, and R. Mangharam, “Smooth operator: Control using the smooth robustness of temporal logic,” in Control Technology and Applications (CCTA), 2017 IEEE Conference on . IEEE, 2017, pp. 1235–1240
2017
Later among the works it cites.
E. S. Kim, S. Sadraddini, C. Belta, M. Arcak, and S. A. Seshia, “Dynamic contracts for distributed temporal logic control of traffic networks,” in Decision and Control (CDC), 2017 IEEE 56th Annual Conference on . IEEE, 2017, pp. 3640–3645
2017
Later among the works it cites.
X. Li, Y. Ma, and C. Belta, “A policy search method for temporal logic specified reinforcement learning tasks,” in 2018 Annual American Control Conference (ACC) , June 2018, pp. 240–245
2018
Later among the works it cites.
Y. V. Pant, H. Abbas, R. A. Quaye, and R. Mangharam, “Tech report: Fly-by-logic: Control of multi-drone fleets with temporal logic objectives,” 2018
2018
Later among the works it cites.
L. Lindemann and D. V. Dimarogonas, “Robust control for signal temporal logic specifications using discrete average space robustness,” Automatica , vol. 101, pp. 377–387, 2019
2019
Closest in time.