conPAS swMATH ID: 10953 Software Authors: Aydin Gol, Ebru; Belta, Calin Description: conPAS/conPAS2: Temporal logic control of Piecewise Affine Systems. conPAS is a computational tool for automatic synthesis of feedback control strategies for a piecewise affine (PWA) system from specifications given as Linear Temporal Logic (LTL) formulas. conPAS consists of two main steps: First, by defining appropriate partitions for its state and input spaces, it construct a finite abstraction of the PWA system in the form of a control transition system. Second, by leveraging ideas and techniques from Buchi games and qualitative probabilistic LTL model checking, it generates a control strategy for the finite abstraction. The tool conPAS handles only specifications that can be expressed as deterministic Buchi automata, while its extension conPAS2 can handle arbitrary LTL formulas through a translation to deterministic Rabin automata. While provably correct and robust to small perturbations in both state measurements and applied controls, both procedure are conservative and expensive. Homepage: http://sites.bu.edu/hyness/conpas2/ Related Software: Matlab Cited in: 1 Publication Cited by 2 Authors 1 Aydin Gol, Ebru 1 Belta, Calin A. Cited in 1 Serial 1 Nonlinear Analysis. Hybrid Systems Cited in 4 Fields 1 Calculus of variations and optimal control; optimization (49-XX) 1 Computer science (68-XX) 1 Operations research, mathematical programming (90-XX) 1 Systems theory; control (93-XX) Citations by Year