Achievable behavior by composition

Author

Van der Schaft, A.J. ; Julius, A.A.

Author_Institution

Fac. of Math. Sci., Twente Univ., Enschede, Netherlands

Volume

1

fYear

2002

fDate

10-13 Dec. 2002

Firstpage

7

Abstract

A fundamental question in systems and control theory concerns the characterization of the set of achievable closed-loop systems for a given plant system and a controller system to be designed. This problem, for example, shows up in assessing the ´limits of performance´ of a controlled system. Similar problems have been studied by researchers in automata theory and discrete event systems replacing the notion of closed-loop system by the composition of a given system and its controller. In this paper this problem is addressed in a general behavioral context. Necessary and often sufficient conditions for a behavior to be achievable are given, and for any achievable behavior a canonical controller is defined. These results generalize previously obtained results obtained for finite-dimensional linear systems. Next these general results are applied to classes of automata and hybrid systems.

Keywords

automata theory; closed loop systems; control system synthesis; discrete event systems; set theory; achievable behavior; automata; canonical controller; closed loop systems; composition; control theory; discrete-event systems; finite-dimensional linear systems; hybrid systems; necessary conditions; performance limits; sufficient conditions; systems theory; Algebra; Automata; Automatic control; Control systems; Control theory; Discrete event systems; Equations; Heart; Linear systems; Sufficient conditions;

fLanguage

English

Publisher

ieee

Conference_Titel

Decision and Control, 2002, Proceedings of the 41st IEEE Conference on

ISSN

0191-2216

Print_ISBN

0-7803-7516-5

Type

conf

DOI

10.1109/CDC.2002.1184458

Filename

1184458