Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants

被引：14

作者：

Abate, Alessandro ^{[1
]}

Bessa, Iury ^{[2
]}

Cattaruzza, Dario ^{[1
]}

Cordeiro, Lucas ^{[1
,2
]}

David, Cristina ^{[1
]}

Kesseli, Pascal ^{[1
]}

Kroening, Daniel ^{[1
]}

机构：

[1] Univ Oxford, Oxford, England

[2] Univ Fed Amazonas, Manaus, Amazonas, Brazil

来源：

PROCEEDINGS OF THE 20TH INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL (PART OF CPS WEEK) (HSCC' 17) | 2017年

基金：

欧洲研究理事会; 英国工程与自然科学研究理事会; 欧盟地平线“2020”;

关键词：

Digital control synthesis; CEGIS; finite-word-length representation; time sampling; quantization;

D O I：

10.1145/3049797.3049802

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

Modern control is implemented with digital microcontrollers, embedded within a dynamical plant that represents physical components. We present a new algorithm based on counter-example guided inductive synthesis that automates the design of digital controllers that are correct by construction. The synthesis result is sound with respect to the complete range of approximations, including time discretization, quantization effects, and finite-precision arithmetic and its rounding errors. We have implemented our new algorithm in a tool called DSSynth, and are able to automatically generate stable controllers for a set of intricate plant models taken from the literature within minutes.

引用

页码：197 / 206

页数：10

共 38 条

[1]

Alur R., 2016, HSCC

[2]

Alur R., 2016, EPTCS, V229

[3]

[Anonymous], 1997, IEEE T AUTOMATIC CON

[4]

[Anonymous], 2010, EMSOFT, DOI DOI 10.1145/1879021.1879024

[5]

[Anonymous], 1997, COMPUTER CONTROLLED

[6]

Astrom KJ, 2008, Feedback systems: An introduction for scientists and engineers

[7] The explicit linear quadratic regulator for constrained systems [J].

Bemporad, A ;

Morari, M ;

Dua, V ;

Pistikopoulos, EN .

AUTOMATICA, 2002, 38 (01) :3-20

[8]

Bessa I., 2016, DESIGN AUTOM EMB SYS, V20

[9] Formal Non-Fragile Stability Verification of Digital Control Systems with Uncertainty [J].

Bessa, Iury ;

Ismail, Hussama ;

Palhares, Reinaldo ;

Cordeiro, Lucas ;

Chaves Filho, Joao Edgar .

IEEE TRANSACTIONS ON COMPUTERS, 2017, 66 (03) :545-552

[10]

Clarke E. M., 2004, TACAS, V2988

← 1 2 3 4 →