TuLiP swMATH ID: 20173 Software Authors: Tichakorn Wongpiromsarn, Ufuk Topcu, Necmiye Ozay, Huan Xu, Richard M. Murray Description: TuLiP: a software toolbox for receding horizon temporal logic planning. This paper describes TuLiP, a Python-based software toolbox for the synthesis of embedded control software that is provably correct with respect to an expressive subset of linear temporal logic (LTL) specifications. TuLiP combines routines for (1) finite state abstraction of control systems, (2) digital design synthesis from LTL specifications, and (3) receding horizon planning. The underlying digital design synthesis routine treats the environment as adversary; hence, the resulting controller is guaranteed to be correct for any admissible environment profile. TuLiP applies the receding horizon framework, allowing the synthesis problem to be broken into a set of smaller problems, and consequently alleviating the computational complexity of the synthesis procedure, while preserving the correctness guarantee. Homepage: http://dl.acm.org/citation.cfm?id=1967747 Related Software: PESSOA; CoSyma; SCOTS; CUDD; LTLMoP; ROCS; PRISM; C-CoRN; Coq; Rex; pypoman; FACTEST; FaSTrack; PythonRobotics; NumPy; SciPy; SENSE; BDD2Implement; pFaces; dReach Cited in: 15 Publications all top 5 Cited by 37 Authors 3 Liu, Jun 3 Ozay, Necmiye 2 Apaza-Perez, W. Alejandro 2 Combastel, Christophe 2 Zamani, Majid 2 Zolghadri, Ali 1 Amram, Gal 1 Bart, Anicet 1 Bohrer, Rose 1 Delahaye, Benoît 1 Dimarogonas, Dimos V. 1 Fan, Chuchu 1 Fournier, Paulin 1 Hashimoto, Kazumune 1 Khaled, Mahmoud 1 Kwiatkowska, Marta Z. 1 Lafortune, Stéphane 1 Leva, Adrian 1 Li, Yinan 1 Lime, Didier 1 Majumdar, Rupak 1 Malik, Robi 1 Maoz, Shahar 1 Miller, Kristina 1 Mitra, Sayan 1 Mohajerani, Sahar 1 Monfroy, Eric 1 Muscholl, Anca 1 Nilsson, Petter 1 Pistiner, Or 1 Platzer, André 1 Rungger, Matthias 1 Schmuck, Anne-Kathrin 1 Svoreňová, Mária 1 Truchet, Charlotte 1 Walukiewicz, Igor 1 Wintenberg, Andrew all top 5 Cited in 7 Serials 3 Discrete Event Dynamic Systems 2 European Journal of Control 1 Automatica 1 Theoretical Computer Science 1 Formal Aspects of Computing 1 International Journal of Applied Mathematics and Computer Science 1 Nonlinear Analysis. Hybrid Systems all top 5 Cited in 6 Fields 12 Systems theory; control (93-XX) 4 Mathematical logic and foundations (03-XX) 4 Computer science (68-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Operations research, mathematical programming (90-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year