research-article

Identifiability of discrete-time linear switched systems

Authors:

Mihaly Petreczky,

Jan H. van SchuppenAuthors Info & Claims

HSCC '10: Proceedings of the 13th ACM international conference on Hybrid systems: computation and control

Pages 141 - 150

https://doi.org/10.1145/1755952.1755973

Published: 12 April 2010 Publication History

Abstract

In this paper we study the identifiability of linear switched systems (LSSs) in discrete-time.The question of identifiability is central to system identification, as it sets the boundaries of applicability of any system identification method; no system identification algorithm can properly estimate the parameters of a system which is not identifiable. We present necessary and sufficient conditions that guarantee structural identifiability for parametrized LSSs. We also introduce the class of semi-algebraic parametrizations, for which these conditions can be checked effectively.

References

[1]

L.Bako, G.Merc'ere, and S. Lecoeuche. Online structured subspace identification with application to switched linear systems. International Journal of Control, 82:1496--1515, 2009.

[2]

L.Bako, G.Merc'ere, R.Vidal, and S.Lecoeuche. Identification of switched linear state space models without minimum dwell time. In IFAC Symposium on System Identification, Saint Malo, France, 2009.

[3]

S.Basu, R.Pollack, and M.Roy. Algorithms in Real Algebraic Geometry. Springer, 2003.

Digital Library

[4]

A.Bemporad, A.Garulli, S.Paoletti, and A.Vicino. A bounded-error approach to piecewise affine system identification. IEEE Transactions on Automatic Control}, 50(10):1567--1580, 2005.

[5]

M.Coste. An Introduction to O-minimal Geometry. Dip. Mat. Univ. Pisa, 2000.

[6]

M.Coste, J.Bochnak, and M.-F. Roy. Real Algebraic Geometry Ergebnisse der Math. Springer Verlag, 1998.

[7]

S.Eilenberg.Automata, Languages and Machines Academic Press, New York, London, 1974.

Digital Library

[8]

H.B. Enderton. A Mathematical Introduction to Logic, Second Edition. Academic Press, 2 edition.

[9]

G.Ferrari-Trecate, M.Muselli, D.Liberati, and M.Morari. A clustering technique for the identification of piecewise affine systems. Automatica, 39:205--217, 2003.

Digital Library

[10]

M.Fliess, C.Join, and W.Perruquetti. Real-time estimation for switched linear systems. In IEEE Conf. on Decision and Control, 2008.

[11]

F.Gecseg and I.Peak. Algebraic theory of automata. Akademiai Kiado, Budapest, 1972.

[12]

A.Juloski, W.Heemels, G.Ferrari-Trecate, R.Vidal, S.Paoletto, and J.Niessen. Comparison of four procedures for the identification of hybrid systems. In Hybrid Systems: Computation and Control}, LNCS. Springer-Verlag, Berlin, 2005.

Digital Library

[13]

A.L. Juloski, S.Weiland, and W.Heemels. A bayesian approach to identification of hybrid systems. IEEE Transactions on Automatic Control, 50:1520--1533, 2005.

[14]

D.Liberzon. Switching in Systems and Control. Birkhauser, Boston, 2003.

[15]

L.Ljung. System Identification: Theory for the user (2nd Ed.). PTR Prentice Hall., Upper Saddle River, USA, 1999.

Digital Library

[16]

Y.Ma and R.Vidal. A closed form solution to the identification of hybrid {ARX} models via the identification of algebraic varieties. In Hybrid Systems: Computation and Control, pages 449--465, 2005.

Digital Library

[17]

H.Nakada, K.Takaba, and T.Katayama. Identification of piecewise affine systems based on statistical clustering technique. Automatica, 41:905--913, 2005.

Digital Library

[18]

S.Paoletti, A.Juloski, G.Ferrari-Trecate, and R.Vidal. Identification of hybrid systems: A tutorial. European Journal of Control, 13(2-3):242 -- 260, 2007.

[19]

S.Paoletti, J.Roll, A.Garulli, and A.Vicino. Input/ouput realization of piecewise affine state space models. In IEEE Conf. on Decision. and Control, 2007.

[20]

M.Petreczky. Realization theory for linear switched systems. In MTNS2004, 2004.

[21]

M.Petreczky.Hybrid formal power series and their application to realization theory of hybrid systems. In Proc. of International Symposium on Mathematical Theory of Networks and Systems, 2006.

[22]

M.Petreczky. Realization Theory of Hybrid Systems. PhD thesis, Vrije Universiteit, Amsterdam, 2006. Available at http://www.cwi.nl/mpetrec.

[23]

M.Petreczky. Realization theory for linear switched systems: Formal power series approach. Systems and Control Letters, 56(9 - 10):588--595, 2007.

[24]

M. Petreczky and J. H. van Schuppen. Realization theory for linear hybrid systems. Manuscript submitted to IEEE Transactions on Automatic Control, 200 (conditionally accepted).

[25]

M.Petreczky and J.H. Van Schuppen. Realization theory of discrete-time linear hybrid system. In 15th IFAC Symposium on System Identification, 2009.

[26]

J.Roll, A.Bemporad, and L.Ljung. Identification of piecewise affine systems via mixed-integer programming. Automatica, 40:37--50, 2004.

Digital Library

[27]

Z.Sun and S.S. Ge. Switched linear systems : control and design. Springer, London, 2005.

[28]

P.V. Tan, G.Millerioux, and J.Daafouz. Invertibility, flatness and identifiability of switched linear dynamical systems: an application to secure communications. In 47th IEEE Conf. Decision and Control, 2008.

[29]

S.Vajda, K.R. Godfrey, and R.Hershcel. Similarity transformation approach to identifiability analysis of nonlinear compartmental models.Mathematical Biosciences, 93:217--248, 1989.

[30]

J.van den Hof.System theory and system identification of compartmental systems. PhD thesis, University of Groningen, 1996.

[31]

V.Verdult and M.Verhaegen. Subspace identification of piecewise linear systems. In Proc.Conf. Decision and Control, 2004.

[32]

R.Vidal.Recursive identification of switched {ARX} systems. Automatica, 44(9):2274 -- 2287, 2008.

Digital Library

[33]

R.Vidal, A.Chiuso, and S.Sastry. Observability and identifiability of jump linear systems. In Proc. IEEE Conf. Dec. and Control, pages 3614 -- 3619, 2002.

[34]

E.Walter and Y.Lecourtier.Global approaches to identifiability testing for linear and nonlinear state-space models. Mathematics and Computers in Simulation, XXIV:472--482, 1982.

[35]

S.Weiland, A.L. Juloski, and B.Vet. On the equivalence of switched affine models and switched {ARX} models.In 45th IEEE Conf. on Decision and Control, 2006.

Cited By

Mavridis CKanellopoulos ABaras JJohansson K(2024)State-Space Piece-Wise Affine System Identification with Online Deterministic Annealing2024 European Control Conference (ECC)10.23919/ECC64448.2024.10590839(3110-3115)Online publication date: 25-Jun-2024
https://doi.org/10.23919/ECC64448.2024.10590839
Sun WXu JChen J(2024)Identifiability and Identification of Switching Dynamical Networks: A Data-Based ApproachIEEE Transactions on Control of Network Systems10.1109/TCNS.2023.333341211:3(1177-1189)Online publication date: Sep-2024
https://doi.org/10.1109/TCNS.2023.3333412
Bencherki FTürkay SAkçay H(2023)Realization of multi-input/multi-output switched linear systems from Markov parametersNonlinear Analysis: Hybrid Systems10.1016/j.nahs.2022.10131148(101311)Online publication date: May-2023
https://doi.org/10.1016/j.nahs.2022.101311
Show More Cited By

Index Terms

Identifiability of discrete-time linear switched systems
1. Applied computing
  1. Physical sciences and engineering
2. Computing methodologies
  1. Modeling and simulation
    1. Model development and analysis

Recommendations

Structural identifiability of series-parallel LCR systems
Abstract
We consider the identifiability problem for the parameters of series-parallel LCR circuit networks. We prove that for networks with only two classes of components (inductor-capacitor (LC), inductor-resistor (LR), and capacitor-resistor ...
Weak identifiability for differential algebraic systems
Abstract
We introduce a new notion of parameter identifiability for ODE systems following a multi-experiment approach. We show that a system that is identifiable according to previous well-known notions is also identifiable with our definition, ...
Web-Based Structural Identifiability Analyzer
Computational Methods in Systems Biology
Abstract
Parameter identifiability describes whether, for a given differential model, one can determine parameter values from model equations. Knowing global or local identifiability properties allows construction of better practical experiments to ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

HSCC '10: Proceedings of the 13th ACM international conference on Hybrid systems: computation and control

April 2010

308 pages

ISBN:9781605589558

DOI:10.1145/1755952

General Chairs:
Karl Henrik Johansson
KTH, Sweden
,
Wang Yi
Uppsala University, Sweden

Copyright © 2010 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGBED: ACM Special Interest Group on Embedded Systems

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 12 April 2010

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

HSCC '10

Sponsor:

SIGBED

HSCC '10: The 13th ACM International Conference on Hybrid Systems: Computation and Control

April 12 - 15, 2010

Stockholm, Sweden

Acceptance Rates

Overall Acceptance Rate 153 of 373 submissions, 41%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

16
Total Citations
View Citations
355
Total Downloads

Downloads (Last 12 months)8
Downloads (Last 6 weeks)0

Reflects downloads up to 13 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Mavridis CKanellopoulos ABaras JJohansson K(2024)State-Space Piece-Wise Affine System Identification with Online Deterministic Annealing2024 European Control Conference (ECC)10.23919/ECC64448.2024.10590839(3110-3115)Online publication date: 25-Jun-2024
https://doi.org/10.23919/ECC64448.2024.10590839
Sun WXu JChen J(2024)Identifiability and Identification of Switching Dynamical Networks: A Data-Based ApproachIEEE Transactions on Control of Network Systems10.1109/TCNS.2023.333341211:3(1177-1189)Online publication date: Sep-2024
https://doi.org/10.1109/TCNS.2023.3333412
Bencherki FTürkay SAkçay H(2023)Realization of multi-input/multi-output switched linear systems from Markov parametersNonlinear Analysis: Hybrid Systems10.1016/j.nahs.2022.10131148(101311)Online publication date: May-2023
https://doi.org/10.1016/j.nahs.2022.101311
Rouphael EPetreczky MBelkoura L(2022)On minimal LPV state-space representations in innovation form: an algebraic characterization2022 IEEE 61st Conference on Decision and Control (CDC)10.1109/CDC51059.2022.9992964(3281-3288)Online publication date: 6-Dec-2022
https://doi.org/10.1109/CDC51059.2022.9992964
Doshmanziari RJackson RVaragnolo DKnorn S(2022)Data-driven modeling of fatigue effects following repeated muscular contractions2022 IEEE 61st Conference on Decision and Control (CDC)10.1109/CDC51059.2022.9992949(6052-6057)Online publication date: 6-Dec-2022
https://doi.org/10.1109/CDC51059.2022.9992949
Madary AMomeni HAbate ALarsen K(2022)Hierarchical Identification of Nonlinear Hybrid Systems in a Bayesian FrameworkInformation and Computation10.1016/j.ic.2022.104947(104947)Online publication date: Aug-2022
https://doi.org/10.1016/j.ic.2022.104947
Petreczky MBako LLecoeuche SMotchon K(2020)Minimality and identifiability of discrete‐time switched autoregressive exogenous systemsInternational Journal of Robust and Nonlinear Control10.1002/rnc.503930:15(5871-5891)Online publication date: 16-Jul-2020
https://doi.org/10.1002/rnc.5039
Bako L(2019)Identification of switched linear systems via sparse optimizationAutomatica (Journal of IFAC)10.1016/j.automatica.2011.01.03647:4(668-677)Online publication date: 1-Jan-2019
https://dl.acm.org/doi/10.1016/j.automatica.2011.01.036
Alkhoury ZPetreczky MMercère G(2017)Identifiability of affine linear parameter-varying modelsAutomatica10.1016/j.automatica.2017.01.02980(62-74)Online publication date: Jun-2017
https://doi.org/10.1016/j.automatica.2017.01.029
Rui RArdeshiri TBazanella A(2016)Identification of piecewise affine state-space models via expectation maximization2016 IEEE Conference on Computer Aided Control System Design (CACSD)10.1109/CACSD.2016.7602554(1066-1071)Online publication date: Sep-2016
https://doi.org/10.1109/CACSD.2016.7602554
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents