Bisimilar linear systems
Top Cited Papers
- 31 December 2003
- journal article
- Published by Elsevier in Automatica
- Vol. 39 (12) , 2035-2047
- https://doi.org/10.1016/j.automatica.2003.07.003
Abstract
No abstract availableKeywords
This publication has 24 references indexed in Scilit:
- Computational techniques for hybrid system verificationIEEE Transactions on Automatic Control, 2003
- Consistent abstractions of affine control systemsIEEE Transactions on Automatic Control, 2002
- Model abstraction and inclusion principle: a comparisonIEEE Transactions on Automatic Control, 2002
- Compositionality issues in discrete, continuous, and hybrid systemsInternational Journal of Robust and Nonlinear Control, 2001
- Hierarchically consistent control systemsIEEE Transactions on Automatic Control, 2000
- Hierarchical control of discrete-event systemsDiscrete Event Dynamic Systems, 1996
- Characterizing finite Kripke structures in propositional temporal logicTheoretical Computer Science, 1988
- Projection and deflation method for partial pole assignment in linear state feedbackIEEE Transactions on Automatic Control, 1988
- The generalized eigenstructure problem in linear system theoryIEEE Transactions on Automatic Control, 1981
- Control of large-scale dynamic systems by aggregationIEEE Transactions on Automatic Control, 1968