Bisimilar Control Affine Systems

Loading...
Thumbnail Image

Embargo Date

Degree type

Discipline

Subject

GRASP

Funder

Grant number

License

Copyright date

Distributor

Related resources

Author

Tabuada, Paulo

Contributor

Abstract

The notion of bisimulation plays a very important role in theoretical computer science where it provides several notions of equivalence between models of computation. These equivalences are in turn used to simplify analysis and synthesis for these models. In system theory, a similar notion is also of interest in order to develop modular analysis and design tools for purely continuous or hybrid control systems. In this paper, we introduce two notions of bisimulation for nonlinear systems. We present a differential-algebraic characterization of these notions and show that bisimilar systems of different dimensions are obtained by factoring out certain invariant distributions. Furthermore, we also show that all bisimilar systems of different dimension are of this form.

Advisor

Date of presentation

2002-12-10

Conference name

Departmental Papers (ESE)

Conference dates

2023-05-16T22:29:17.000

Conference location

Date Range for Data Collection (Start Date)

Date Range for Data Collection (End Date)

Digital Object Identifier

Series name and number

Volume number

Issue number

Publisher

Publisher DOI

Journal Issues

Comments

Copyright 2002 IEEE. Reprinted from Proceedings of the 41st IEEE Conference on Decision and Control 2002, Volume 3, pages 2373-2378. This material is posted here with permission of the IEEE. Such permission of the IEEE does not in any way imply IEEE endorsement of any of the University of Pennsylvania's products or services. Internal or personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution must be obtained from the IEEE by writing to pubs-permissions@ieee.org. By choosing to view this document, you agree to all provisions of the copyright laws protecting it.


Copyright 2002 IEEE. Reprinted from Proceedings of the 41st IEEE Conference on Volume 2002, pages 2373-2378 vol. 3. This material is posted here with permission of the IEEE. Such permission of the IEEE does not in any way imply IEEE endorsement of any of the University of Pennsylvania's products or services. Internal or personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution must be obtained from the IEEE by writing to pubs-permissions@ieee.org. By choosing to view this document, you agree to all provisions of the copyright laws protecting it.

Recommended citation

Collection