Bisimilar control affine systems

Loading...
Thumbnail Image
Penn collection
Departmental Papers (ESE)
General Robotics, Automation, Sensing and Perception Laboratory
Degree type
Discipline
Subject
GRASP
bisimulation relations
bisimilar control systems
controlled invariance
symmetries
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 verification and synthesis for these models as well as to enable compositional reasoning. In systems theory, a similar notion is also of interest in order to develop modular verification and design tools for purely continuous or hybrid control systems. In this paper, we introduce two notions of bisimulation for nonlinear systems. We present differential-algebraic characterizations 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 Range for Data Collection (Start Date)
Date Range for Data Collection (End Date)
Digital Object Identifier
Series name and number
Publication date
2004-05-01
Journal title
Volume number
Issue number
Publisher
Publisher DOI
Journal Issue
Comments
Postprint version. Published in Systems and Control Letters, Volume 52, Issue 1, May 2004, pages 49-58. Publisher URL: http://dx.doi.org/10.1016/j.sysconle.2003.09.013
Recommended citation
Collection