Bisimilar linear systems.
type: Item
instance of: scholarly article
title: Bisimilar linear systems.
zbMATH Open document ID: 1045.93033
author: George Pappas
published in: Automatica
publication date: 2004-01-26T00:00:00Z
Mathematics Subject Classification ID: 93C65
Mathematics Subject Classification ID: 93B03
Mathematics Subject Classification ID: 93B11
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 2032792
zbMATH Keywords: Bisimulation
zbMATH Keywords: Linear systems
zbMATH Keywords: Reachability
zbMATH Keywords: Transition systems
zbMATH Keywords: Control invariance
MaRDI profile type: Publication
full work available at URL: j.automatica.2003.07.003
OpenAlex ID: W2090771707
cites work: Bisimulation, the supervisory control problem and strong model matching for finite state machines
cites work: Characterizing finite Kripke structures in propositional temporal logic
cites work: Computational techniques for hybrid system verification
cites work: The generalized eigenstructure problem in linear system theory
cites work: Q4385542
cites work: Bisimulation relations for dynamical and control systems
cites work: O-minimal hybrid systems.
cites work: Q3992568
cites work: Hierarchically consistent control systems
cites work: Consistent abstractions of affine control systems
cites work: Projection and deflation method for partial pole assignment in linear state feedback
cites work: Compositionality issues in discrete, continuous, and hybrid systems
cites work: Model abstraction and inclusion principle: a comparison
cites work: Q4418864
cites work: Hierarchical control of discrete-event systems
cites work: Q3751436
Wikidata QID: Q57582125
DBLP publication ID: journals/automatica/Pappas03
DOI: 10.1016/J.AUTOMATICA.2003.07.003
description: scientific article; zbMATH DE number 2032792