Achievable behavior by composition

27 August 2003

proceedings article
Published by Institute of Electrical and Electronics Engineers (IEEE)

Vol. 1, 7-12
https://doi.org/10.1109/cdc.2002.1184458

Abstract

A fundamental question in systems and control theory con- cerns the characterization of the set of achievable closed- loop systems for a given plant system and a controller sys- tem to be designed. This problem, for example, shows up in assessing the 'limits of performance' of a controlled sys- tem. 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 prob- lem is addressed in a general behavioral context. Necessary and often sufficient conditions for a behavior to be achiev- able are given, and for any achievable behavior a canonical controller is defined. These results generalize previously obtained results obtained for finite-dimensional linear sys- tems. Next these general results are applied to classes of automata and hybrid systems.

Keywords

This publication has 7 references indexed in Scilit:

Introduction to Discrete Event Systems
Published by Springer Nature ,2008
Achievable behavior of general systems
Systems & Control Letters, 2003
Synthesis of dissipative systems using quadratic differential forms: Part I
IEEE Transactions on Automatic Control, 2002
Sequential continuous time adaptive control: a behavioral approach
Published by Institute of Electrical and Electronics Engineers (IEEE) ,2000
Introduction to Mathematical Systems Theory
Published by Springer Nature ,1998
A behavioral approach to the H∞ optimal control problem
Systems & Control Letters, 1997
On interconnections, control, and feedback
IEEE Transactions on Automatic Control, 1997