PESSOA swMATH ID: 20123 Software Authors: Roy, Pritam; Tabuada, Paulo; Majumdar, Rupak Description: Pessoa 2.0: a controller synthesis tool for cyber-physical systems. We introduce Pessoa 2.0, a tool that automatically synthesizes controllers for cyber-physical systems based on correct-by-design methodology. Pessoa 2.0 accepts a cyber-physical system represented by a set of smooth differential equations and automata and a specification in a fragment of Linear Temporal Logic that is expressive enough to describe interesting properties but simple enough to avoid Safra’s construction. It outputs, if possible, a controller for the system that enforces the specification up to an abstraction parameter. We report on examples illustrating the expressiveness of the fragment and the controllers synthesized by the tool. Homepage: http://dl.acm.org/citation.cfm?doid=1967701.1967748 Keywords: controller synthesis; cyber-physical systems; linear temporal logic; symbolic algorithms Related Software: SCOTS; CoSyma; TuLiP; Matlab; LTLMoP; ROCS; Flow*; SpaceEx; MATISSE; UMDES; pypoman; FACTEST; FaSTrack; PythonRobotics; NumPy; SciPy; UPMurphi; CVX; CORA; SDPT3 Cited in: 21 Publications all top 5 Cited by 53 Authors 3 Majumdar, Rupak 3 Zamani, Majid 2 Apaza-Perez, W. Alejandro 2 Arcak, Murat 2 Combastel, Christophe 2 Dimarogonas, Dimos V. 2 Fribourg, Laurent 2 Girard, Antoine 2 Le Coënt, Adrien 2 Rungger, Matthias 2 Schürmann, Bastian 2 Tabuada, Paulo 2 Zolghadri, Ali 1 Abate, Alessandro 1 Alexandre dit Sandretto, Julien 1 Althoff, Matthias 1 Ames, Aaron D. 1 Bessa, Iury 1 Chamoin, Ludovic 1 Chapoutot, Alexandre 1 Chatterjee, Krishnendu 1 Cordeiro, Lucas 1 David, Cristina 1 De Vuyst, Florian 1 Devonport, Alex 1 Fan, Chuchu 1 Grizzle, Jessy W. 1 Hashimoto, Kazumune 1 Jones, Austin H. 1 Kesseli, Pascal 1 Khaled, Mahmoud 1 Kim, Eric S. 1 Kolathaya, Shishir 1 Kröning, Daniel 1 Leva, Adrian 1 Li, Yinan 1 Liu, Jun 1 Ma, Wen-Loong 1 Mazo, Manuel jun. 1 Meyer, Pierre-Jean 1 Miller, Kristina 1 Mitra, Sayan 1 Muscholl, Anca 1 Pappas, George J. 1 Polgreen, Elizabeth 1 Prandini, Maria 1 Rey, Christian A. 1 Schmuck, Anne-Kathrin 1 Seshia, Sanjit Arunkumar 1 van de Wouw, Nathan 1 Vignali, Riccardo 1 Walukiewicz, Igor 1 Yu, Pian all top 5 Cited in 8 Serials 3 Nonlinear Analysis. Hybrid Systems 2 Automatica 2 Systems & Control Letters 2 Discrete Event Dynamic Systems 2 European Journal of Control 1 Acta Informatica 1 Formal Methods in System Design 1 International Journal of Applied Mathematics and Computer Science all top 5 Cited in 7 Fields 20 Systems theory; control (93-XX) 4 Computer science (68-XX) 2 Mathematical logic and foundations (03-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Mechanics of particles and systems (70-XX) 1 Operations research, mathematical programming (90-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year