Formal Synthesis of Control Strategies for Positive Monotone Systems

• Published in: IEEE transactions on automatic control Vol. 64; no. 2; pp. 480 - 495
• Main Authors: Sadraddini, Sadra, Belta, Calin
• Format: Journal Article
• Language: English
• Published: New York IEEE 01.02.2019; The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
• Subjects: Biological system modeling; Discrete time systems; Formal specifications; Formal synthesis and verification; Linear programming; Mathematical models; monotone systems; Optimal control; Predictive control; Robust control; Robustness; Safety; Semantics; Temporal logic; Traffic management; Transportation; Transportation networks
• ISSN: 0018-9286; 1558-2523
• DOI: 10.1109/TAC.2018.2814631

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...