Systems theory in an analytic setting

Manuela L. Bujorianu; Marius C. Bujorianu; Howard Barringer

Systems theory in an analytic setting

Manuela L. Bujorianu, Marius C. Bujorianu, Howard Barringer

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

Systems theory has almost a century of existence. The rapidly expanding research development in areas like hybrid and cyber physical systems has raised new concepts and techniques that have not been integrated in systems theory. Examples include concepts like simulation/bisimulation, hierarchical evolution and control, and so on. In their nature, these concepts are highly interdisciplinary and transdisciplinary making difficult their study in a uniform way. In this paper, we propose a new doctrine for systems theory for capturing the essential properties of systems with complex dynamics like hybrid or stochastic behaviours. Our departing point is the basic idea from specification languages like VDM and Z, and modelling languages like UML and Modelica. The fundamental concept is that of symbolic dynamics where the state space can carry not only algebraic but also an analytic structure. © 2011 IEEE.

Original language	English
Title of host publication	Proceedings of the IEEE Conference on Decision and Control\|Proc IEEE Conf Decis Control
Publisher	IEEE Computer Society
Pages	2901-2906
Number of pages	5
ISBN (Print)	9781612848006
Publication status	Published - 2011
Event	2011 50th IEEE Conference on Decision and Control and European Control Conference, CDC-ECC 2011 - Orlando, FL Duration: 1 Jul 2011 → …

Conference

Conference	2011 50th IEEE Conference on Decision and Control and European Control Conference, CDC-ECC 2011
City	Orlando, FL
Period	1/07/11 → …

Keywords

category theory
Markov model
simulation morphism
symbolic dynamics

Cite this

@inproceedings{68373eb619424c988bf30d9404eb9fea,

title = "Systems theory in an analytic setting",

abstract = "Systems theory has almost a century of existence. The rapidly expanding research development in areas like hybrid and cyber physical systems has raised new concepts and techniques that have not been integrated in systems theory. Examples include concepts like simulation/bisimulation, hierarchical evolution and control, and so on. In their nature, these concepts are highly interdisciplinary and transdisciplinary making difficult their study in a uniform way. In this paper, we propose a new doctrine for systems theory for capturing the essential properties of systems with complex dynamics like hybrid or stochastic behaviours. Our departing point is the basic idea from specification languages like VDM and Z, and modelling languages like UML and Modelica. The fundamental concept is that of symbolic dynamics where the state space can carry not only algebraic but also an analytic structure. {\textcopyright} 2011 IEEE.",

keywords = "category theory, Markov model, simulation morphism, symbolic dynamics",

author = "Bujorianu, {Manuela L.} and Bujorianu, {Marius C.} and Howard Barringer",

year = "2011",

language = "English",

isbn = "9781612848006",

pages = "2901--2906",

booktitle = "Proceedings of the IEEE Conference on Decision and Control|Proc IEEE Conf Decis Control",

publisher = "IEEE Computer Society ",

address = "United States",

note = "2011 50th IEEE Conference on Decision and Control and European Control Conference, CDC-ECC 2011 ; Conference date: 01-07-2011",

}

TY - GEN

T1 - Systems theory in an analytic setting

AU - Bujorianu, Manuela L.

AU - Bujorianu, Marius C.

AU - Barringer, Howard

PY - 2011

Y1 - 2011

N2 - Systems theory has almost a century of existence. The rapidly expanding research development in areas like hybrid and cyber physical systems has raised new concepts and techniques that have not been integrated in systems theory. Examples include concepts like simulation/bisimulation, hierarchical evolution and control, and so on. In their nature, these concepts are highly interdisciplinary and transdisciplinary making difficult their study in a uniform way. In this paper, we propose a new doctrine for systems theory for capturing the essential properties of systems with complex dynamics like hybrid or stochastic behaviours. Our departing point is the basic idea from specification languages like VDM and Z, and modelling languages like UML and Modelica. The fundamental concept is that of symbolic dynamics where the state space can carry not only algebraic but also an analytic structure. © 2011 IEEE.

AB - Systems theory has almost a century of existence. The rapidly expanding research development in areas like hybrid and cyber physical systems has raised new concepts and techniques that have not been integrated in systems theory. Examples include concepts like simulation/bisimulation, hierarchical evolution and control, and so on. In their nature, these concepts are highly interdisciplinary and transdisciplinary making difficult their study in a uniform way. In this paper, we propose a new doctrine for systems theory for capturing the essential properties of systems with complex dynamics like hybrid or stochastic behaviours. Our departing point is the basic idea from specification languages like VDM and Z, and modelling languages like UML and Modelica. The fundamental concept is that of symbolic dynamics where the state space can carry not only algebraic but also an analytic structure. © 2011 IEEE.

KW - category theory

KW - Markov model

KW - simulation morphism

KW - symbolic dynamics

M3 - Conference contribution

SN - 9781612848006

SP - 2901

EP - 2906

BT - Proceedings of the IEEE Conference on Decision and Control|Proc IEEE Conf Decis Control

PB - IEEE Computer Society

T2 - 2011 50th IEEE Conference on Decision and Control and European Control Conference, CDC-ECC 2011

Y2 - 1 July 2011

ER -

Systems theory in an analytic setting

Abstract

Conference

Keywords

Fingerprint

Cite this