文章基本信息

标题：Safety control with performance guarantees of cooperative systems using compositional abstractions *
本地全文：下载
作者：Pierre-Jean Meyer ; Antoine Girard ; Emmanuel Witrant 等
期刊名称：IFAC PapersOnLine
印刷版ISSN：2405-8963
出版年度：2015
卷号：48
期号：27
页码：317-322
DOI：10.1016/j.ifacol.2015.11.194
语种：English
出版社：Elsevier
摘要：AbstractIn this paper, the monotonicity property is exploited to obtain symbolic abstractions, in the sense of alternating simulation, of a class of nonlinear control systems subject to disturbances. Both a centralized and a compositional approaches are presented to obtain such abstractions, from which controllers are synthesized to satisfy safety specifications and optimize a performance criterion using a receding horizon approach. Performance guarantees on the trajectories of the controlled system can be obtained with both approaches. The controller synthesis and performance guarantees are illustrated and compared on the temperature regulation in a building.
关键词：KeywordsSymbolic controlCompositional synthesisMonotone systems