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

Citations by Year