Formal Synthesis of Control Strategies for Positive Monotone Systems

• Published in: arXiv.org
• Main Authors: Sadra Sadraddini, Belta, Calin
• Format: Paper Journal Article
• Language: English
• Published: Ithaca Cornell University Library, arXiv.org 18.03.2018
• Subjects: Computer Science - Systems and Control; Discrete time systems; Formal specifications; Linear programming; Mathematical models; Mathematics - Optimization and Control; Predictive control; Robust control; Temporal logic; Traffic management; Transportation networks
• ISSN: 2331-8422
• DOI: 10.48550/arxiv.1702.08501

We design controllers from formal specifications for positive discrete-time monotone systems that are subject to bounded disturbances. Such systems are widely used to model the dynamics of transportation and biological networks. The specifications are described using signal temporal logic (STL), whi...