SCOTS swMATH ID: 20172 Software Authors: Rungger, Matthias; Zamani, Majid Description: SCOTS: a tool for the synthesis of symbolic controllers. We introduce SCOTS a software tool for the automatic controller synthesis for nonlinear control systems based on symbolic models, also known as discrete abstractions. The tool accepts a differential equation as the description of a nonlinear control system. It uses a Lipschitz type estimate on the right-hand-side of the differential equation together with a number of discretization parameters to compute a symbolic model that is related with the original control system via a feedback refinement relation. The tool supports the computation of minimal and maximal fixed points and thus natively provides algorithms to synthesize controllers with respect to invariance and reachability specifications. The atomic propositions, which are used to formulate the specifications, are allowed to be defined in terms of finite unions and intersections of polytopes as well as ellipsoids. While the main computations are done in C++, the tool contains a Matlab interface to simulate the closed loop system and to visualize the abstract state space together with the atomic propositions. We illustrate the performance of the tool with two examples from the literature. The tool and all conducted experiments are available at www.hcs.ei.tum.de. Homepage: http://dl.acm.org/citation.cfm?doid=2883817.2883834 Keywords: C++/Matlab toolbox; discrete abstractions; feedback refinement relations; symbolic models Related Software: PESSOA; CoSyma; TuLiP; Sostools; ROCS; FAUST2; StocHy; Matlab; pFaces; Flow*; SpaceEx; UMDES; dtControl; Storm; AMYTISS; SReach; ProbReach; Modelica; ToolboxLS; z3 Cited in: 22 Publications all top 5 Cited by 44 Authors 9 Zamani, Majid 3 Liu, Jun 3 Soudjani, Sadegh 2 Abate, Alessandro 2 Apaza-Perez, W. Alejandro 2 Arcak, Murat 2 Combastel, Christophe 2 Lavaei, Abolfazl 2 Li, Yinan 2 Zolghadri, Ali 1 Alexandre dit Sandretto, Julien 1 Chapoutot, Alexandre 1 Cowlagi, Raghvendra V. 1 Devonport, Alex 1 Dimarogonas, Dimos V. 1 Fan, Chuchu 1 Fang, Jie 1 Fribourg, Laurent 1 Hsu, Kyle 1 Kawan, Christoph 1 Khaled, Mahmoud 1 Kim, Eric S. 1 Le Coënt, Adrien 1 Liu, Siyuan 1 Majumdar, Rupak 1 Mallik, Kaushik 1 Meyer, Pierre-Jean 1 Miller, Kristina 1 Mitra, Sayan 1 Muscholl, Anca 1 Neider, Daniel 1 Nejati, Ameneh 1 Noroozi, Navid 1 Rungger, Matthias 1 Schmuck, Anne-Kathrin 1 Seshia, Sanjit Arunkumar 1 Swikir, Abdalla 1 Tkachev, Ilya 1 Tomar, Mahendra Singh 1 Walukiewicz, Igor 1 Weinert, Alexander 1 Yu, Pian 1 Zhang, Zetian 1 Zimmermann, Martín G. all top 5 Cited in 8 Serials 6 Automatica 2 European Journal of Control 2 Nonlinear Analysis. Hybrid Systems 1 Acta Informatica 1 Systems & Control Letters 1 Discrete Event Dynamic Systems 1 Formal Methods in System Design 1 International Journal of Applied Mathematics and Computer Science all top 5 Cited in 7 Fields 21 Systems theory; control (93-XX) 4 Computer science (68-XX) 3 Mathematical logic and foundations (03-XX) 2 Operations research, mathematical programming (90-XX) 1 Probability theory and stochastic processes (60-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year