11. Bibliography

[BK08]

C. Baier and J.-P. Katoen. Principles of Model Checking. MIT Press, 2008.

[KPP2005]

Y. Kesten, N. Piterman, and A. Pnueli (2005). Bridging the gap between fair simulation and trace inclusion. Information and Computation, Volume 200, Issue 1, pages 35–61

[PPS2006]

N. Piterman, A. Pnueli, and Y. Sa’ar (2006). Synthesis of reactive(1) designs. Proc. of International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI), pages 364–380

[BJPPS12]

R. Bloem, B. Jobstmann, N. Piterman, A. Pnueli, and Y. Sa’ar (2012). Synthesis of Reactive(1) designs. Journal of Computer and System Sciences, 78:911–938

[E10]

R. Ehlers (2010). Generalised Rabin(1) synthesis, CoRR, abs/1003.1684

[FDLOM16]

I. Filippidis, S. Dathathri, S.C. Livingston, N. Ozay, and R.M. Murray (2016). Control design for hybrid systems with TuLiP: The temporal logic planning toolbox. In Proc. of IEEE Multi-Conference on Systems and Control (MSC).

[LS11]

E.A. Lee and S.A. Seshia. Introduction to Embedded Systems - A Cyber-Physical Systems Approach. LeeSeshia.org, 2011.

[M55]

G.H. Mealy. A Method for Synthesizing Sequential Circuits. Bell System Technical Journal (BSTJ), Vol.34, No.5, pp. 1045 – 1079, September, 1955.

[M56]

E.F. Moore. Gedanken-experiments on Sequential Machines. Annals of Mathematical Studies, No. 34 (Automata Studies), pp 129 – 153, Princeton University Press, Princeton, N. J., 1956, ISBN: 0691079161.

[NOTM12]

P. Nilsson, N. Ozay, U. Topcu, R.M. Murray (2012). Temporal logic control of switched affine systems with an application in fuel balancing. In Proc. of 2012 American Control Conference (ACC).

[S12]

N. Spooner (2012). Evaluation and Benchmarking for Robot Motion Planning Problems Using TuLiP. Caltech SURF Final Report.

[W10]

T. Wongpiromsarn (2010). Formal Methods for Design and Verification of Embedded Control Systems: Application to an Autonomous Vehicle. PhD thesis. California Institute of Technology.

[WTM12]

T. Wongpiromsarn, U. Topcu, and R. Murray (2012). Receding horizon temporal logic planning. IEEE Transactions on Automatic Control, 57(11):2817–2830.

[WTOXM11]

T. Wongpiromsarn, U. Topcu, N. Ozay, H. Xu, and R. Murray (2011). TuLiP: a software toolbox for receding horizon temporal logic planning. In Proc. of Hybrid Systems: Computation and Control (HSCC).