Abstract:
In this paper, we consider a class of discrete-time systems with linear dynamics and a finite input alphabet. We begin by motivating and proposing two notions of finite b...Show MoreMetadata
Abstract:
In this paper, we consider a class of discrete-time systems with linear dynamics and a finite input alphabet. We begin by motivating and proposing two notions of finite bisimulation that we refer to as `finite uniform bisimulation', and `regular finite uniform bisimulation'. We derive a sufficient condition for the existence of finite uniform bisimulations, and we investigate necessary conditions. We also present an algorithm to compute finite uniform bisimulations when the sufficient condition is satisfied. We conclude with an illustrative example showing how to construct deterministic finite state machine models of the underlying system when these finite uniform bisimulations exist.
Published in: 2015 54th IEEE Conference on Decision and Control (CDC)
Date of Conference: 15-18 December 2015
Date Added to IEEE Xplore: 11 February 2016
ISBN Information: