Approximating switched continuous systems by rectangular automata

Author

Stursberg, O. ; Kowalewski, S.

Author_Institution

Chem. Eng. Dept., Univ. of Dortmund, Dortmund, Germany

fYear

1999

fDate

Aug. 31 1999-Sept. 3 1999

Firstpage

3352

Lastpage

3357

Abstract

An approximation procedure is presented for a class of hybrid systems in which switching occurs only when the continuous state trajectory crosses thresholds defined by a rectangular partitioning of the state space. The result of the approximation are rectangular automata, a class of hybrid automata for which a numerically robust approximative analysis algorithm exists. Thus, the approximation procedure can be applied when we are interested in the reachability set of a switched continuous system for which a direct analysis is infeasible. The approach is illustrated by application to a simple physical example. As an extension, an algorithm is presented to adjust the accuracy of the approximation to the continuous dynamics by choosing a state space partitioning according to the variation of the vector field.

Keywords

approximation theory; automata theory; continuous systems; discrete systems; reachability analysis; set theory; state-space methods; switching systems (control); trajectory control; continuous state trajectory; hybrid systems; numerically robust approximative analysis algorithm; reachability set; rectangular automata; state space partitioning; state-space rectangular partitioning; switched continuous system approximation; Approximation algorithms; Approximation methods; Automata; Continuous time systems; Process control; Switches; Approximation; Automata; Continuous dynamics; Event-driven controllers; Verification;

fLanguage

English

Publisher

ieee

Conference_Titel

Control Conference (ECC), 1999 European

Conference_Location

Karlsruhe

Print_ISBN

978-3-9524173-5-5

Type

conf

Filename

7099845