Rigorous constraint satisfaction for sampled linear systems. (September 2016)

• Record Type: Journal Article
• Authors: Schulze Darup, Moritz
• Is Part Of: European journal of control. Volume 31(2016:Sep.)
• Page Start: 52
• Page End: 58
• Publication Date: 2016-09
• Subjects: Sampled linear system -- State and input constraints -- Branch and bound -- Interval arithmetic -- Matrix exponential; Control theory -- Periodicals; Automatic control -- Periodicals; Automatic control -- Mathematics -- Periodicals; Electronic journals; 629.805
• DOI: 10.1016/j.ejcon.2016.06.003
• Languages: English
• ISSNs: 0947-3580

Abstract

Abstract: We address a specific but recurring problem related to sampled linear systems. In particular, we provide a numerical method for the rigorous verification of constraint satisfaction for linear continuous-time systems between sampling instances. The proposed algorithm combines elements of classical branch and bound schemes from global optimization with a recently published procedure to bound the exponential of interval matrices.