A behavioral framework for compositionality: linear systems, discrete event systems and hybrid systems

A.A.J. Anak Agung Julius, Arjan van der Schaft

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

16 Downloads (Pure)

Abstract

In this paper we formulate a general framework based on the behavioral approach to dynamical systems, in which various issues regarding interconnection of systems can be addressed. The main part of the framework is that interconnections or compositions of systems can be modelled with interconnection of behaviors and generalized projection operations. Control problems such as supervisory control problem or feedback control problem can be expressed in terms of behavioral interconnection, and therefore can be put into this framework. In the paper we discuss some variants of control problems and provide solutions to them.
Original languageUndefined
Title of host publicationProceedings of the 16th International Symposium on Mathematical Theory of Networks and Systems
Place of PublicationLeuven
PublisherKatholieke Universiteit Leuven
Pages-
Number of pages14
ISBN (Print)9056825178
Publication statusPublished - 2004
Event16th International Symposium on Mathematical Theory of Networks and Systems, MTNS 2004 - Leuven, Belgium
Duration: 5 Jul 20049 Jul 2004
Conference number: 16

Publication series

Name
PublisherKatholieke Universiteit Leuven

Conference

Conference16th International Symposium on Mathematical Theory of Networks and Systems, MTNS 2004
Abbreviated titleMTNS
CountryBelgium
CityLeuven
Period5/07/049/07/04

Keywords

  • EWI-16809
  • METIS-220137
  • IR-69158

Cite this

Anak Agung Julius, A. A. J., & van der Schaft, A. (2004). A behavioral framework for compositionality: linear systems, discrete event systems and hybrid systems. In Proceedings of the 16th International Symposium on Mathematical Theory of Networks and Systems (pp. -). Leuven: Katholieke Universiteit Leuven.
Anak Agung Julius, A.A.J. ; van der Schaft, Arjan. / A behavioral framework for compositionality: linear systems, discrete event systems and hybrid systems. Proceedings of the 16th International Symposium on Mathematical Theory of Networks and Systems. Leuven : Katholieke Universiteit Leuven, 2004. pp. -
@inproceedings{99de63d352804e87998341f4faa72a73,
title = "A behavioral framework for compositionality: linear systems, discrete event systems and hybrid systems",
abstract = "In this paper we formulate a general framework based on the behavioral approach to dynamical systems, in which various issues regarding interconnection of systems can be addressed. The main part of the framework is that interconnections or compositions of systems can be modelled with interconnection of behaviors and generalized projection operations. Control problems such as supervisory control problem or feedback control problem can be expressed in terms of behavioral interconnection, and therefore can be put into this framework. In the paper we discuss some variants of control problems and provide solutions to them.",
keywords = "EWI-16809, METIS-220137, IR-69158",
author = "{Anak Agung Julius}, A.A.J. and {van der Schaft}, Arjan",
year = "2004",
language = "Undefined",
isbn = "9056825178",
publisher = "Katholieke Universiteit Leuven",
pages = "--",
booktitle = "Proceedings of the 16th International Symposium on Mathematical Theory of Networks and Systems",

}

Anak Agung Julius, AAJ & van der Schaft, A 2004, A behavioral framework for compositionality: linear systems, discrete event systems and hybrid systems. in Proceedings of the 16th International Symposium on Mathematical Theory of Networks and Systems. Katholieke Universiteit Leuven, Leuven, pp. -, 16th International Symposium on Mathematical Theory of Networks and Systems, MTNS 2004, Leuven, Belgium, 5/07/04.

A behavioral framework for compositionality: linear systems, discrete event systems and hybrid systems. / Anak Agung Julius, A.A.J.; van der Schaft, Arjan.

Proceedings of the 16th International Symposium on Mathematical Theory of Networks and Systems. Leuven : Katholieke Universiteit Leuven, 2004. p. -.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

TY - GEN

T1 - A behavioral framework for compositionality: linear systems, discrete event systems and hybrid systems

AU - Anak Agung Julius, A.A.J.

AU - van der Schaft, Arjan

PY - 2004

Y1 - 2004

N2 - In this paper we formulate a general framework based on the behavioral approach to dynamical systems, in which various issues regarding interconnection of systems can be addressed. The main part of the framework is that interconnections or compositions of systems can be modelled with interconnection of behaviors and generalized projection operations. Control problems such as supervisory control problem or feedback control problem can be expressed in terms of behavioral interconnection, and therefore can be put into this framework. In the paper we discuss some variants of control problems and provide solutions to them.

AB - In this paper we formulate a general framework based on the behavioral approach to dynamical systems, in which various issues regarding interconnection of systems can be addressed. The main part of the framework is that interconnections or compositions of systems can be modelled with interconnection of behaviors and generalized projection operations. Control problems such as supervisory control problem or feedback control problem can be expressed in terms of behavioral interconnection, and therefore can be put into this framework. In the paper we discuss some variants of control problems and provide solutions to them.

KW - EWI-16809

KW - METIS-220137

KW - IR-69158

M3 - Conference contribution

SN - 9056825178

SP - -

BT - Proceedings of the 16th International Symposium on Mathematical Theory of Networks and Systems

PB - Katholieke Universiteit Leuven

CY - Leuven

ER -

Anak Agung Julius AAJ, van der Schaft A. A behavioral framework for compositionality: linear systems, discrete event systems and hybrid systems. In Proceedings of the 16th International Symposium on Mathematical Theory of Networks and Systems. Leuven: Katholieke Universiteit Leuven. 2004. p. -