CoSyma swMATH ID: 20124 Software Authors: Mouelhi, Sebti; Girard, Antoine; Gössler, Gregor Description: CoSyma: a tool for controller synthesis using multi-scale abstractions. We introduce CoSyMA, a tool for automatic controller synthesis for incrementally stable switched systems based on multi-scale discrete abstractions. The tool accepts a description of a switched system represented by a set of differential equations and the sampling parameters used to define an approximation of the state-space on which discrete abstractions are computed. The tool generates a controller – if it exists – for the system that enforces a given safety or time-bounded reachability specification. We illustrate by examples the synthesized controllers and the significant performance gains during their computation. Homepage: http://dl.acm.org/citation.cfm?doid=2461328.2461343 Keywords: controller synthesis; multi-scale abstractions; switched systems; symbolic algorithms Related Software: SCOTS; PESSOA; TuLiP; ROCS; pFaces; pypoman; FACTEST; FaSTrack; PythonRobotics; LTLMoP; NumPy; SciPy; CPAchecker; BLAST; MPT; SENSE; BDD2Implement; dReach; CUDD; Matlab Cited in: 12 Publications all top 5 Cited by 30 Authors 3 Zamani, Majid 2 Apaza-Perez, W. Alejandro 2 Combastel, Christophe 2 Liu, Jun 2 Zolghadri, Ali 1 Abate, Alessandro 1 Arcak, Murat 1 Boskos, Dimitris 1 Chamoin, Ludovic 1 De Vuyst, Florian 1 Dimarogonas, Dimos V. 1 Fan, Chuchu 1 Fribourg, Laurent 1 Girard, Antoine 1 Hsu, Kyle 1 Khaled, Mahmoud 1 Kim, Eric S. 1 Le Coënt, Adrien 1 Li, Yinan 1 Majumdar, Rupak 1 Mallik, Kaushik 1 Miller, Kristina 1 Mitra, Sayan 1 Muscholl, Anca 1 Ozay, Necmiye 1 Rey, Christian A. 1 Rungger, Matthias 1 Schmuck, Anne-Kathrin 1 Seshia, Sanjit Arunkumar 1 Walukiewicz, Igor Cited in 4 Serials 3 Automatica 1 European Journal of Control 1 International Journal of Applied Mathematics and Computer Science 1 Nonlinear Analysis. Hybrid Systems Cited in 3 Fields 12 Systems theory; control (93-XX) 1 Computer science (68-XX) 1 Operations research, mathematical programming (90-XX) Citations by Year