Discrete Abstractions of Continuous Systems -- an Input/Output Point of View

J. Raisch

Mathematical and Computer Modelling of Dynamical Systems, 2000, vol. 6, issue 1, 6-29

Abstract: This contribution proposes a hierarchy of discrete ions for a given continuous model. It adopts an input/output point of view, and starts from the continuous system behaviour B c (i.e., 'the set of all pairs of input and output signals which are compatible with the continuous model equations). The first step is to construct a sequence of behaviours B l , l =0, 1,..., such that B 0 ⊇ B 1 ⊇... ⊇ B c . In a second step, nondeterministic Moore automata A_l are generated as minimal realizations for the behaviours B l . Hence, the continuous base system and its discrete abstractions A l form a totally ordered set of models, where ordering is in the sense of set inclusion of model behaviours or, equivalently, in terms of approximation accuracy. Within this set, there exists a uniquely defined “coarsest” (and therefore least complex) model which allows a given set of specifications to be enforced by discrete feedback. The ordering property implies that this discrete feedback also forces the continuous base system to obey the specifications.

Date: 2000
References: Add references at CitEc
Citations:

Downloads: (external link)
http://hdl.handle.net/10.1076/1387-3954(200003)6:1;1-Q;FT006 (text/html)
Access to full text is restricted to subscribers.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:taf:nmcmxx:v:6:y:2000:i:1:p:6-29

Ordering information: This journal article can be ordered from
http://www.tandfonline.com/pricing/journal/NMCM20

DOI: 10.1076/1387-3954(200003)6:1;1-Q;FT006

Access Statistics for this article

Mathematical and Computer Modelling of Dynamical Systems is currently edited by I. Troch

More articles in Mathematical and Computer Modelling of Dynamical Systems from Taylor & Francis Journals
Bibliographic data for series maintained by Chris Longhurst ().