Skip to main content

2016 | OriginalPaper | Buchkapitel

12. Hybrid System Identification

verfasst von : René Vidal, Yi Ma, S. Shankar Sastry

Erschienen in: Generalized Principal Component Analysis

Verlag: Springer New York

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

Hybrid systems are mathematical models that are used to describe continuous processes that occasionally exhibit discontinuous behaviors due to sudden changes of dynamics. For instance, the continuous trajectory of a bouncing ball results from alternating between free fall and elastic contact with the ground. However, hybrid systems can also be used to describe a complex process or time series that does not itself exhibit discontinuous behaviors, by approximating the process or series with a simpler class of dynamical models. For example, a nonlinear dynamical system can be approximated by switching among a set of linear systems, each approximating the nonlinear system in a subset of its state space. As another example, a video sequence can be segmented to different scenes by fitting a piecewise linear dynamical model to the entire sequence.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Fußnoten
1
ARX systems are an extremely popular class of dynamical models that are widely used in control, signal processing, communications, and economics. In image/video processing, they can be used to model videos of dynamical scenes.
 
2
Notice that this scheme is impractical, since it requires one to obtain the typically infinitely long output sequence {y t }.
 
3
That is, the polynomials \(z^{\max (n_{c}-n_{a},0)}(z^{n_{a}} - z^{n_{a}-1}a_{1} - z^{n_{a}-2}a_{2} -\cdots - a_{n_{ a}})\) and \(z^{n_{c}-1}c_{1} + z^{n_{c}-2}c_{2} + \cdots + c_{n_{ c}}\) are coprime.
 
4
Only when the initial conditions \(\{y_{t_{0}-1},\ldots,y_{t_{0}-\bar{n}_{a}}\}\) are arbitrary do the data span a hyperplane in \(\mathbb{R}^{D}\) with \(\boldsymbol{b}\) as the only normal vector.
 
5
If n c was known, then we would have \(m =\bar{ n}_{a} + n_{c} + 1\).
 
6
One way to ensure this is to assume that for all \(i\neq j = 1,\ldots,n\), \(\tilde{H}_{i}(z)\) and \(\tilde{H}_{j}(z)\) do not have all their zeros and poles in common. That is, there is no ARX system that can simulate another ARX system with a smaller order. However, this is unnecessary, because two ARX systems can have different configuration spaces even if one system’s zeros and poles are a subset of the other’s.
 
7
This is the case when a particular switching sequence visits only a subset of all the discrete states.
 
8
Rn is the set of homogeneous polynomials of degree n; see Appendix C.
 
9
This is easily verifiable from the fact that the derivatives of the polynomials in \(\mathfrak{a}(Z)\) are exactly the normal vectors of the subspaces.
 
10
\(R_{\leq n}\) is the set of polynomials of degree up to n; see Appendix C.
 
11
That is, the coefficient vector \(\boldsymbol{b} =\boldsymbol{ e}_{1}\) corresponds to the “system” y t  = 0 with \(n_{a} = n_{c} = 0\), which is a trivial ARX system.
 
12
Since here the system is an affine ARX model with a constant input, we need to slightly modify our algorithm by using the homogeneous representation for the regressor \(\boldsymbol{x}_{t}\), i.e., appending an entry of “1.”
 
13
We thank Prof. A. Juloski for providing us with the data sets.
 
14
We take one out of every 80 samples.
 
Literatur
Zurück zum Zitat Alessandri, A., & Coletta, P. (2001). Design of Luenberger observers for a class of hybrid linear systems. In Proceedings of Hybrid Systems: Computation and Control (pp. 7–18). New York: Springer.CrossRef Alessandri, A., & Coletta, P. (2001). Design of Luenberger observers for a class of hybrid linear systems. In Proceedings of Hybrid Systems: Computation and Control (pp. 7–18). New York: Springer.CrossRef
Zurück zum Zitat Anderson, B., & Johnson, R. (1982). Exponential convergence of adaptive identification and control algorithms. Automatica, 18(1), 1–13.MathSciNetCrossRefMATH Anderson, B., & Johnson, R. (1982). Exponential convergence of adaptive identification and control algorithms. Automatica, 18(1), 1–13.MathSciNetCrossRefMATH
Zurück zum Zitat Babaali, M., & Egerstedt, M. (2004). Observability of switched linear systems. In Proceedings of Hybrid Systems: Computation and Control. New York: Springer. Babaali, M., & Egerstedt, M. (2004). Observability of switched linear systems. In Proceedings of Hybrid Systems: Computation and Control. New York: Springer.
Zurück zum Zitat Balluchi, A., Benvenuti, L., Benedetto, M. D., & Sangiovanni-Vincentelli, A. (2002). Design of observers for hybrid systems. In Proceedings of Hybrid Systems: Computation and Control (Vol. 2289, pp. 76–89). New York: Springer. Balluchi, A., Benvenuti, L., Benedetto, M. D., & Sangiovanni-Vincentelli, A. (2002). Design of observers for hybrid systems. In Proceedings of Hybrid Systems: Computation and Control (Vol. 2289, pp. 76–89). New York: Springer.
Zurück zum Zitat Bemporad, A., Ferrari, G., & Morari, M. (2000). Observability and controllability of piecewise affine and hybrid systems. IEEE Transactions on Automatic Control, 45(10), 1864–1876.MathSciNetCrossRefMATH Bemporad, A., Ferrari, G., & Morari, M. (2000). Observability and controllability of piecewise affine and hybrid systems. IEEE Transactions on Automatic Control, 45(10), 1864–1876.MathSciNetCrossRefMATH
Zurück zum Zitat Bemporad, A., Garulli, A., Paoletti, S., & Vicino, A. (2003). A greedy approach to identification of piecewise affine models. In Hybrid systems: Computation and control. Lecture notes in computer science (pp. 97–112). New York: Springer. Bemporad, A., Garulli, A., Paoletti, S., & Vicino, A. (2003). A greedy approach to identification of piecewise affine models. In Hybrid systems: Computation and control. Lecture notes in computer science (pp. 97–112). New York: Springer.
Zurück zum Zitat Bemporad, A., Roll, J., & Ljung, L. (2001). Identification of hybrid systems via mixed-integer programming. In Proceedings of IEEE Conference on Decision & Control (pp. 786–792). Bemporad, A., Roll, J., & Ljung, L. (2001). Identification of hybrid systems via mixed-integer programming. In Proceedings of IEEE Conference on Decision & Control (pp. 786–792).
Zurück zum Zitat Billio, M., Monfort, A., & Robert, C. (1999). Bayesian estimation of switching ARMA models. Journal of Econometrics, 93(2), 229–255.MathSciNetCrossRefMATH Billio, M., Monfort, A., & Robert, C. (1999). Bayesian estimation of switching ARMA models. Journal of Econometrics, 93(2), 229–255.MathSciNetCrossRefMATH
Zurück zum Zitat Blake, A., North, B., & Isard, M. (1999). Learning multi-class dynamics. Advances in Neural Information Processing Systems, 11, 389–395. Cambridge: MIT Press. Blake, A., North, B., & Isard, M. (1999). Learning multi-class dynamics. Advances in Neural Information Processing Systems, 11, 389–395. Cambridge: MIT Press.
Zurück zum Zitat Collins, P., & Schuppen, J. V. (2004). Observability of piecewise-affine hybrid systems. In Proceedings of Hybrid Systems: Computation and Control. New York: Springer. Collins, P., & Schuppen, J. V. (2004). Observability of piecewise-affine hybrid systems. In Proceedings of Hybrid Systems: Computation and Control. New York: Springer.
Zurück zum Zitat Doucet, A., Logothetis, A., & Krishnamurthy, V. (2000). Stochastic sampling algorithms for state estimation of jump Markov linear systems. IEEE Transactions on Automatic Control, 45(1), 188–202.MathSciNetCrossRefMATH Doucet, A., Logothetis, A., & Krishnamurthy, V. (2000). Stochastic sampling algorithms for state estimation of jump Markov linear systems. IEEE Transactions on Automatic Control, 45(1), 188–202.MathSciNetCrossRefMATH
Zurück zum Zitat Ezzine, J., & Haddad, A. H. (1989). Controllability and observability of hybrid systems. International Journal of Control, 49(6), 2045–2055.MathSciNetCrossRefMATH Ezzine, J., & Haddad, A. H. (1989). Controllability and observability of hybrid systems. International Journal of Control, 49(6), 2045–2055.MathSciNetCrossRefMATH
Zurück zum Zitat Ferrari-Trecate, G., Mignone, D., & Morari, M. (2002). Moving horizon estimation for hybrid systems. IEEE Transactions on Automatic Control, 47(10), 1663–1676.MathSciNetCrossRef Ferrari-Trecate, G., Mignone, D., & Morari, M. (2002). Moving horizon estimation for hybrid systems. IEEE Transactions on Automatic Control, 47(10), 1663–1676.MathSciNetCrossRef
Zurück zum Zitat Ferrari-Trecate, G., Muselli, M., Liberati, D., & Morari, M. (2003). A clustering technique for the identification of piecewise affine systems. Automatica, 39(2), 205–217.MathSciNetCrossRefMATH Ferrari-Trecate, G., Muselli, M., Liberati, D., & Morari, M. (2003). A clustering technique for the identification of piecewise affine systems. Automatica, 39(2), 205–217.MathSciNetCrossRefMATH
Zurück zum Zitat Ghahramani, Z., & Hinton, G. E. (1998). Variational learning for switching state-space models. Neural Computation, 12(4), 963–996. Ghahramani, Z., & Hinton, G. E. (1998). Variational learning for switching state-space models. Neural Computation, 12(4), 963–996.
Zurück zum Zitat Hwang, I., Balakrishnan, H., & Tomlin, C. (2003). Observability criteria and estimator design for stochastic linear hybrid systems. In Proceedings of European Control Conference. Hwang, I., Balakrishnan, H., & Tomlin, C. (2003). Observability criteria and estimator design for stochastic linear hybrid systems. In Proceedings of European Control Conference.
Zurück zum Zitat Juloski, A., Heemels, W., & Ferrari-Trecate, G. (2004). Data-based hybrid modelling of the component placement process in pick-and-place machines. In Control Engineering Practice. Amsterdam: Elsevier. Juloski, A., Heemels, W., & Ferrari-Trecate, G. (2004). Data-based hybrid modelling of the component placement process in pick-and-place machines. In Control Engineering Practice. Amsterdam: Elsevier.
Zurück zum Zitat Ma, Y., & Vidal, R. (2005). Identification of deterministic switched ARX systems via identification of algebraic varieties. In Hybrid Systems: Computation and Control (pp. 449–465). New York: Springer.CrossRef Ma, Y., & Vidal, R. (2005). Identification of deterministic switched ARX systems via identification of algebraic varieties. In Hybrid Systems: Computation and Control (pp. 449–465). New York: Springer.CrossRef
Zurück zum Zitat Murphy, K. (1998). Switching Kalman filters. Technical Report. U.C. Berkeley. Murphy, K. (1998). Switching Kalman filters. Technical Report. U.C. Berkeley.
Zurück zum Zitat Niessen, H., & A.Juloski (2004). Comparison of three procedures for identification of hybrid systems. In Conference on Control Applications. Niessen, H., & A.Juloski (2004). Comparison of three procedures for identification of hybrid systems. In Conference on Control Applications.
Zurück zum Zitat Pavlovic, V., Rehg, J. M., Cham, T. J., & Murphy, K. P. (1999). A dynamic Bayesian network approach to figure tracking using learned dynamic models. In Proceedings of the International Conference on Computer Vision (pp. 94–101). Pavlovic, V., Rehg, J. M., Cham, T. J., & Murphy, K. P. (1999). A dynamic Bayesian network approach to figure tracking using learned dynamic models. In Proceedings of the International Conference on Computer Vision (pp. 94–101).
Zurück zum Zitat Santis, E., Benedetto, M. D., & Giordano, P. (2003). On observability and detectability of continuous-time linear switching systems. In Proceedings of IEEE Conference on Decision & Control (pp. 5777–5782). Santis, E., Benedetto, M. D., & Giordano, P. (2003). On observability and detectability of continuous-time linear switching systems. In Proceedings of IEEE Conference on Decision & Control (pp. 5777–5782).
Zurück zum Zitat Sun, A., Ge, S. S., & Lee, T. H. (2002). Controllability and reachability criteria for switched linear systems. Automatica, 38, 775–786.MathSciNetCrossRefMATH Sun, A., Ge, S. S., & Lee, T. H. (2002). Controllability and reachability criteria for switched linear systems. Automatica, 38, 775–786.MathSciNetCrossRefMATH
Zurück zum Zitat Szigeti, F. (1992). A differential algebraic condition for controllability and observability of time varying linear systems. In Proceedings of IEEE Conference on Decision and Control (pp. 3088–3090). Szigeti, F. (1992). A differential algebraic condition for controllability and observability of time varying linear systems. In Proceedings of IEEE Conference on Decision and Control (pp. 3088–3090).
Zurück zum Zitat Vecchio, D. D., & Murray, R. (2004). Observers for a class of hybrid systems on a lattice. In Proceedings of Hybrid Systems: Computation and Control. New York: Springer. Vecchio, D. D., & Murray, R. (2004). Observers for a class of hybrid systems on a lattice. In Proceedings of Hybrid Systems: Computation and Control. New York: Springer.
Zurück zum Zitat Vidal, R. (2004). Identification of PWARX hybrid models with unknown and possibly different orders. In American Control Conference (pp. 547–552). Vidal, R. (2004). Identification of PWARX hybrid models with unknown and possibly different orders. In American Control Conference (pp. 547–552).
Zurück zum Zitat Vidal, R., Chiuso, A., & Soatto, S. (2002a). Observability and identifiability of jump linear systems. In IEEE Conference on Decision and Control (pp. 3614–3619). Vidal, R., Chiuso, A., & Soatto, S. (2002a). Observability and identifiability of jump linear systems. In IEEE Conference on Decision and Control (pp. 3614–3619).
Zurück zum Zitat Vidal, R., Chiuso, A., Soatto, S., & Sastry, S. (2003a). Observability of linear hybrid systems. In Hybrid Systems: Computation and Control (pp. 526–539). New York: Springer. Vidal, R., Chiuso, A., Soatto, S., & Sastry, S. (2003a). Observability of linear hybrid systems. In Hybrid Systems: Computation and Control (pp. 526–539). New York: Springer.
Zurück zum Zitat Vidal, R., Soatto, S., Ma, Y., & Sastry, S. (2003c). An algebraic geometric approach to the identification of a class of linear hybrid systems. In IEEE Conference on Decision and Control (pp. 167–172). Vidal, R., Soatto, S., Ma, Y., & Sastry, S. (2003c). An algebraic geometric approach to the identification of a class of linear hybrid systems. In IEEE Conference on Decision and Control (pp. 167–172).
Metadaten
Titel
Hybrid System Identification
verfasst von
René Vidal
Yi Ma
S. Shankar Sastry
Copyright-Jahr
2016
Verlag
Springer New York
DOI
https://doi.org/10.1007/978-0-387-87811-9_12

Neuer Inhalt