Computational methods for stochastic control with metric interval temporal logic specifications

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.

T. A. Henzinger, “The temporal specification and verification of real-time systems,” Ph.D. dissertation, Citeseer, 1991

1991

Earlier work this paper cites.

Z. Manna and A. Pnueli, The Temporal Logic of Reactive and Concurrent Systems: Specifications . Springer Science & Business Media, 1992, vol. 1

1992

Earlier work this paper cites.

R. Alur and D. L. Dill, “A theory of timed automata,” Theoretical Computer Science , vol. 126, no. 2, pp. 183 – 235, 1994

1994

Earlier work this paper cites.

R. Alur, T. Feder, and T. A. Henzinger, “The benefits of relaxing punctuality,” Journal of the ACM , vol. 43, no. 1, pp. 116–146, Jan. 1996. [Online]. Available: http://doi.acm.org/10.1145/227595.227602

1996

Earlier work this paper cites.

H. J. Kushner and P. Dupuis, Numerical Methods for Stochastic Control Problems in Continuous Time . Springer, 2001, vol. 24

2001

Earlier work this paper cites.

W. H. Fleming and H. M. Soner, Controlled Markov Processes and Viscosity Solutions . Springer Science & Business Media, 2006, vol. 25

2006

Earlier work this paper cites.

S. Karaman and E. Frazzoli, “Vehicle routing problem with metric temporal logic specifications,” in IEEE Conference on Decision and Control , 2008, pp. 3953–3958

2008

Cited alongside, same era.

C. Baier and J.-P. Katoen, Principles of Model Checking (Representation and Mind Series) . The MIT Press, 2008

2008

Cited alongside, same era.

G. E. Fainekos, A. Girard, H. Kress-Gazit, and G. J. Pappas, “Temporal logic motion planning for dynamic robots,” Automatica , vol. 45, no. 2, pp. 343–352, 2009

2009

Cited alongside, same era.

M. Lahijanian, S. B. Andersson, and C. Belta, “A probabilistic approach for control of a stochastic system from LTL specifications,” in IEEE Conference on Decision and Control , 2009, pp. 2236–2241

2009

Cited alongside, same era.

P. Bouyer, “Model-checking timed temporal logics,” Electronic Notes in Theoretical Computer Science , vol. 231, pp. 323–341, 2009

A. Abate, J.-P. Katoen, and A. Mereacre, “Quantitative automata model checking of autonomous stochastic hybrid systems,” in ACM international conference on Hybrid Systems: Computation and Control , 2011, pp. 83–92

2011

Later among the works it cites.

T. Wongpiromsarn, U. Topcu, and R. M. Murray, “Receding horizon temporal logic planning,” IEEE Transactions on Automatic Control , vol. 57, no. 11, pp. 2817–2830, 2012

2012

Later among the works it cites.

H. Abbas, B. Hoxha, G. Fainekos, and K. Ueda, “Robustness-guided temporal logic testing and verification for Stochastic Cyber-Physical Systems,” in IEEE Annual International Conference on Cyber Technology in Automation, Control, and Intelligent Systems , 2014, pp. 1–6

2014

Later among the works it cites.

J. Liu and P. Prabhakar, “Switching control of dynamical systems from metric temporal logic specifications,” in IEEE International Conference on Robotics and Automation , 2014, pp. 5333–5338

2014

Later among the works it cites.