{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,2]],"date-time":"2024-03-02T11:19:48Z","timestamp":1709378388129},"reference-count":40,"publisher":"Walter de Gruyter GmbH","issue":"7","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,7,26]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>The class of hybrid systems describes most technical systems in great detail. However, the respective models and their behavior tend to be very complex. Recently, a new subclass of hybrid automata has been introduced, the Flat Hybrid Automata (FHA) that relies on the concepts of differential flatness for the continuous parts, and strongly connected automaton graphs for the discrete event part, in order to deal with the complexity from a design perspective. Therefore, we introduce in the present paper an approach to reduce the automaton graph of an FHA in a systematic way by removing edges from the adjacency matrix. The main contribution of the paper is twofold: Firstly, based on practical considerations we develop a heuristic algorithm to reduce the automaton graph. Secondly, we present possible ways to include knowledge about the system in the reduction.<\/jats:p>","DOI":"10.1515\/auto-2020-0061","type":"journal-article","created":{"date-parts":[[2020,7,17]],"date-time":"2020-07-17T13:08:48Z","timestamp":1594991328000},"page":"529-540","source":"Crossref","is-referenced-by-count":2,"title":["On complexity reduction of the discrete-event subsystem of Flat Hybrid Automata for control design"],"prefix":"10.1515","volume":"68","author":[{"given":"Tobias","family":"Kleinert","sequence":"first","affiliation":[{"name":"Chair of Process Control Engineering , RWTH Aachen University , Aachen , Germany"}]},{"given":"Frederik","family":"Zahn","sequence":"additional","affiliation":[{"name":"Institut f\u00fcr Automation und angewandte Informatik (IAI) , Karlsruher Institut f\u00fcr Technologie , Karlsruhe , Germany"}]},{"given":"Veit","family":"Hagenmeyer","sequence":"additional","affiliation":[{"name":"Institut f\u00fcr Automation und angewandte Informatik (IAI) , Karlsruher Institut f\u00fcr Technologie , Karlsruhe , Germany"}]}],"member":"374","published-online":{"date-parts":[[2020,7,3]]},"reference":[{"key":"2023033110173098796_j_auto-2020-0061_ref_001_w2aab3b7e2024b1b6b1ab2b1b1Aa","doi-asserted-by":"crossref","unstructured":"Bang-Jensen, J. and A. Yeo (2008): \u201cThe minimum spanning strong subdigraph problem is fixed parameter tractable,\u201d Discrete Applied Mathematics, 156, 2924\u20132929.","DOI":"10.1016\/j.dam.2007.12.003"},{"key":"2023033110173098796_j_auto-2020-0061_ref_002_w2aab3b7e2024b1b6b1ab2b1b2Aa","doi-asserted-by":"crossref","unstructured":"Berman, A. and R. Plemmons (1979): Nonnegative Matrices in the Mathematical Sciences, Academic Press, New York.","DOI":"10.1016\/B978-0-12-092250-5.50009-6"},{"key":"2023033110173098796_j_auto-2020-0061_ref_003_w2aab3b7e2024b1b6b1ab2b1b3Aa","doi-asserted-by":"crossref","unstructured":"Bestle, D. and M. Zeitz (1983): \u201cCanonical form observer design for non-linear time-variable systems,\u201d International Journal of control, 38, 419\u2013431.","DOI":"10.1080\/00207178308933084"},{"key":"2023033110173098796_j_auto-2020-0061_ref_004_w2aab3b7e2024b1b6b1ab2b1b4Aa","doi-asserted-by":"crossref","unstructured":"Birk, J., J. Schaffner and M. Zeitz (1993): \u201cRule-based selection of nonlinear observer design methods,\u201d in Nonlinear Control Systems Design 1992, Elsevier, 231\u2013238.","DOI":"10.1016\/B978-0-08-041901-5.50043-9"},{"key":"2023033110173098796_j_auto-2020-0061_ref_005_w2aab3b7e2024b1b6b1ab2b1b5Aa","doi-asserted-by":"crossref","unstructured":"Birk, J. and M. Zeitz (1988): \u201cExtended Luenberger observer for non-linear multivariable systems,\u201d International Journal of Control, 47, 1823\u20131836.","DOI":"10.1080\/00207178808906138"},{"key":"2023033110173098796_j_auto-2020-0061_ref_006_w2aab3b7e2024b1b6b1ab2b1b6Aa","doi-asserted-by":"crossref","unstructured":"Birk, J. and M. Zeitz (1990): \u201cComputer-aided design of nonlinear observers,\u201d in Nonlinear Control Systems Design 1989, Elsevier, 1\u20136.","DOI":"10.1016\/B978-0-08-037022-4.50006-5"},{"key":"2023033110173098796_j_auto-2020-0061_ref_007_w2aab3b7e2024b1b6b1ab2b1b7Aa","doi-asserted-by":"crossref","unstructured":"Birk, J. and M. Zeitz (1993): \u201cComputer-aided analysis of nonlinear observation problems,\u201d in Nonlinear Control Systems Design 1992, Elsevier, 257\u2013262.","DOI":"10.1016\/B978-0-08-041901-5.50047-6"},{"key":"2023033110173098796_j_auto-2020-0061_ref_008_w2aab3b7e2024b1b6b1ab2b1b8Aa","unstructured":"Brunovsky, P. (1970): \u201cA classification of linear controllable systems,\u201d Kybernetika, 6, 173\u2013188."},{"key":"2023033110173098796_j_auto-2020-0061_ref_009_w2aab3b7e2024b1b6b1ab2b1b9Aa","doi-asserted-by":"crossref","unstructured":"Delaleau, E. and J. Rudolph (1998): \u201cControl of flat systems by quasi-static feedback of generalized states,\u201d International Journal of Control, 71, 745\u2013765.","DOI":"10.1080\/002071798221551"},{"key":"2023033110173098796_j_auto-2020-0061_ref_010_w2aab3b7e2024b1b6b1ab2b1c10Aa","doi-asserted-by":"crossref","unstructured":"Diestel, R. (2017): Graph Theory, Graduate Texts in Mathematics, Springer Nature.","DOI":"10.1007\/978-3-662-53622-3"},{"key":"2023033110173098796_j_auto-2020-0061_ref_011_w2aab3b7e2024b1b6b1ab2b1c11Aa","doi-asserted-by":"crossref","unstructured":"Faulwasser, T., V. Hagenmeyer and R. Findeisen (2014): \u201cConstrained reachability and trajectory generation for flat systems,\u201d Automatica, 50, 1151\u20131159.","DOI":"10.1016\/j.automatica.2014.02.011"},{"key":"2023033110173098796_j_auto-2020-0061_ref_012_w2aab3b7e2024b1b6b1ab2b1c12Aa","doi-asserted-by":"crossref","unstructured":"Fliess, M., C. Join and H. Sira-Ramirez (2005): Closed-loop fault-tolerant control for uncertain nonlinear systems, Lecture Notes in Control and Information Science 322, Springer, 217\u2013233.","DOI":"10.1007\/11529798_14"},{"key":"2023033110173098796_j_auto-2020-0061_ref_013_w2aab3b7e2024b1b6b1ab2b1c13Aa","doi-asserted-by":"crossref","unstructured":"Fliess, M., J. Levine, P. Martin and P. Rouchon (1995): \u201cFlatness and defect of nonlinear systems: Introductory theory and examples,\u201d Int. Journal of Control, 61, 1327\u20131361.","DOI":"10.1080\/00207179508921959"},{"key":"2023033110173098796_j_auto-2020-0061_ref_014_w2aab3b7e2024b1b6b1ab2b1c14Aa","doi-asserted-by":"crossref","unstructured":"Goebel, R., R.\u2009G. Sanfelice and A.\u2009R. Teel (2009): \u201cHybrid dynamical systems,\u201d IEEE Control Systems Magazine, 29, 28\u201393.","DOI":"10.1109\/MCS.2008.931718"},{"key":"2023033110173098796_j_auto-2020-0061_ref_015_w2aab3b7e2024b1b6b1ab2b1c15Aa","doi-asserted-by":"crossref","unstructured":"Graichen, K., V. Hagenmeyer and M. Zeitz (2005): \u201cA new approach to inversion-based feedforward control design for nonlinear systems,\u201d Automatica, 41, 2033\u20132041.","DOI":"10.1016\/j.automatica.2005.06.008"},{"key":"2023033110173098796_j_auto-2020-0061_ref_016_w2aab3b7e2024b1b6b1ab2b1c16Aa","doi-asserted-by":"crossref","unstructured":"Graichen, K. and M. Zeitz (2008): \u201cFeedforward control design for finite-time transition problems of nonlinear systems with input and output constraints,\u201d IEEE Transactions on Automatic Control, 53, 1273\u20131278.","DOI":"10.1109\/TAC.2008.921044"},{"key":"2023033110173098796_j_auto-2020-0061_ref_017_w2aab3b7e2024b1b6b1ab2b1c17Aa","doi-asserted-by":"crossref","unstructured":"Hagenmeyer, V. and E. Delaleau (2003a): \u201cExact feedforward linearisation based on differential flatness: The SISO case,\u201d in Nonlinear and Adaptive Control, Springer, Berlin, Heidelberg, 161\u2013170.","DOI":"10.1007\/3-540-45802-6_13"},{"key":"2023033110173098796_j_auto-2020-0061_ref_018_w2aab3b7e2024b1b6b1ab2b1c18Aa","doi-asserted-by":"crossref","unstructured":"Hagenmeyer, V. and E. Delaleau (2003b): \u201cExact feedforward linearization based on differential flatness,\u201d International Journal of Control, 76, 537\u2013556.","DOI":"10.1080\/0020717031000089570"},{"key":"2023033110173098796_j_auto-2020-0061_ref_019_w2aab3b7e2024b1b6b1ab2b1c19Aa","doi-asserted-by":"crossref","unstructured":"Hagenmeyer, V. and M. Zeitz (2004a): \u201cFlachheitsbasierter Entwurf von linearen und nichtlinearen Vorsteuerungen (flatness-based design of linear and nonlinear feedforward controls),\u201d at\u2013Automatisierungstechnik, 52, 3\u201312.","DOI":"10.1524\/auto.52.1.3.25428"},{"key":"2023033110173098796_j_auto-2020-0061_ref_020_w2aab3b7e2024b1b6b1ab2b1c20Aa","doi-asserted-by":"crossref","unstructured":"Hagenmeyer, V. and M. Zeitz (2004b): \u201cInternal dynamics of flat nonlinear SISO systems with respect to a non-flat output,\u201d Systems and control letters, 52, 323\u2013327.","DOI":"10.1016\/j.sysconle.2004.02.006"},{"key":"2023033110173098796_j_auto-2020-0061_ref_021_w2aab3b7e2024b1b6b1ab2b1c21Aa","unstructured":"Kleinert, T. and V. Hagenmeyer (2019): \u201cFlat Hybrid Automata as a Class of Reachable Systems: Introductory Theory and Examples,\u201d submitted to Automatica, June 2019, preprint: arXiv:1906.02790v1 [cs.SY]."},{"key":"2023033110173098796_j_auto-2020-0061_ref_022_w2aab3b7e2024b1b6b1ab2b1c22Aa","doi-asserted-by":"crossref","unstructured":"Lunze, J. and F. Lamnabhi-Lagarrigue (2009): Handbook of hybrid systems control: theory, tools, applications, Cambridge University Press.","DOI":"10.1017\/CBO9780511807930"},{"key":"2023033110173098796_j_auto-2020-0061_ref_023_w2aab3b7e2024b1b6b1ab2b1c23Aa","doi-asserted-by":"crossref","unstructured":"Martello, S. (1979): \u201cAn algorithm for finding a minimal equivalent graph of a strongly connected digraph,\u201d Computing, 21, 183\u2013194.","DOI":"10.1007\/BF02253052"},{"key":"2023033110173098796_j_auto-2020-0061_ref_024_w2aab3b7e2024b1b6b1ab2b1c24Aa","unstructured":"Mehlhorn, K. and P. Sanders (2008): Algorithms and data structures: The basic toolbox, Springer Science & Business Media."},{"key":"2023033110173098796_j_auto-2020-0061_ref_025_w2aab3b7e2024b1b6b1ab2b1c25Aa","doi-asserted-by":"crossref","unstructured":"Rothfuss, R., J. Rudolph and M. Zeitz (1996): \u201cFlatness based control of a nonlinear chemical reactor model,\u201d Automatica, 32, 1433\u20131439.","DOI":"10.1016\/0005-1098(96)00090-8"},{"key":"2023033110173098796_j_auto-2020-0061_ref_026_w2aab3b7e2024b1b6b1ab2b1c26Aa","doi-asserted-by":"crossref","unstructured":"Rothfu\u00df, R., J. Rudolph and M. Zeitz (1997): \u201cFlachheit: Ein neuer Zugang zur Steuerung und Regelung nichtlinearer Systeme,\u201d at-Automatisierungstechnik, 45, 517\u2013525.","DOI":"10.1524\/auto.1997.45.11.517"},{"key":"2023033110173098796_j_auto-2020-0061_ref_027_w2aab3b7e2024b1b6b1ab2b1c27Aa","doi-asserted-by":"crossref","unstructured":"Rudolph, J. (1995): \u201cWell-formed dynamics under quasi-static state feedback,\u201d Banach Center Publications, 32, 349\u2013360.","DOI":"10.4064\/-32-1-349-360"},{"key":"2023033110173098796_j_auto-2020-0061_ref_028_w2aab3b7e2024b1b6b1ab2b1c28Aa","doi-asserted-by":"crossref","unstructured":"Rudolph, J., J. Birk and M. Zeitz (1991): \u201cDependence on time derivatives of the input in the nonlinear controller canonical form,\u201d in New Trends in Systems Theory, Springer, 636\u2013643.","DOI":"10.1007\/978-1-4612-0439-8_80"},{"key":"2023033110173098796_j_auto-2020-0061_ref_029_w2aab3b7e2024b1b6b1ab2b1c29Aa","doi-asserted-by":"crossref","unstructured":"Rudolph, J. and M. Zeitz (1994): \u201cA block triangular nonlinear observer normal form,\u201d Systems & Control Letters, 23, 1\u20138.","DOI":"10.1016\/0167-6911(94)90075-2"},{"key":"2023033110173098796_j_auto-2020-0061_ref_030_w2aab3b7e2024b1b6b1ab2b1c30Aa","doi-asserted-by":"crossref","unstructured":"Schaffner, J. and M. Zeitz (1999a): \u201cDecentral nonlinear observer design using a block-triangular form,\u201d International Journal of Systems Science, 30, 1131\u20131142.","DOI":"10.1080\/002077299291750"},{"key":"2023033110173098796_j_auto-2020-0061_ref_031_w2aab3b7e2024b1b6b1ab2b1c31Aa","doi-asserted-by":"crossref","unstructured":"Schaffner, J. and M. Zeitz (1999b): \u201cVariants of nonlinear normal form observer design,\u201d in New Directions in nonlinear observer design, Springer, 161\u2013180.","DOI":"10.1007\/BFb0109926"},{"key":"2023033110173098796_j_auto-2020-0061_ref_032_w2aab3b7e2024b1b6b1ab2b1c32Aa","doi-asserted-by":"crossref","unstructured":"Sira-Ramirez, H. and S.\u2009K. Agrawal (2004): Differentially flat systems, Marcel Decker Inc., New York \u2013 Basel.","DOI":"10.1201\/9781482276640"},{"key":"2023033110173098796_j_auto-2020-0061_ref_033_w2aab3b7e2024b1b6b1ab2b1c33Aa","unstructured":"Sontag, E.\u2009D. (2013): Mathematical control theory: deterministic finite dimensional systems, volume 6, Springer Science & Business Media."},{"key":"2023033110173098796_j_auto-2020-0061_ref_034_w2aab3b7e2024b1b6b1ab2b1c34Aa","doi-asserted-by":"crossref","unstructured":"Wagner, D. and T. Willhalm (2003): \u201cGeometric speed-up techniques for finding shortest paths in large sparse graphs,\u201d in European Symposium on Algorithms Proceedings, LNCS 2832, Springer, 776\u2013787.","DOI":"10.1007\/978-3-540-39658-1_69"},{"key":"2023033110173098796_j_auto-2020-0061_ref_035_w2aab3b7e2024b1b6b1ab2b1c35Aa","doi-asserted-by":"crossref","unstructured":"Waldherr, S. and M. Zeitz (2008a): \u201cConditions for the existence of a flat input,\u201d International Journal of Control, 81, 439\u2013443.","DOI":"10.1080\/00207170701561443"},{"key":"2023033110173098796_j_auto-2020-0061_ref_036_w2aab3b7e2024b1b6b1ab2b1c36Aa","doi-asserted-by":"crossref","unstructured":"Waldherr, S. and M. Zeitz (2010): \u201cFlat inputs in the MIMO case,\u201d in Proc. of the IFAC Nonlinear Control Systems Design, NOLCOS10, Milano, Italy, 695\u2013700.","DOI":"10.3182\/20100901-3-IT-2016.00147"},{"key":"2023033110173098796_j_auto-2020-0061_ref_037_w2aab3b7e2024b1b6b1ab2b1c37Aa","doi-asserted-by":"crossref","unstructured":"Zahn, F., T. Kleinert and V. Hagenmeyer (2020): \u201cOn optimal control of flat hybrid automata,\u201d in accepted for IFAC World Congress 2020.","DOI":"10.1016\/j.ifacol.2020.12.332"},{"key":"2023033110173098796_j_auto-2020-0061_ref_038_w2aab3b7e2024b1b6b1ab2b1c38Aa","doi-asserted-by":"crossref","unstructured":"Zeitz, M. (1987): \u201cThe extended Luenberger observer for nonlinear systems,\u201d Systems & Control Letters, 9, 149\u2013156.","DOI":"10.1016\/0167-6911(87)90021-1"},{"key":"2023033110173098796_j_auto-2020-0061_ref_039_w2aab3b7e2024b1b6b1ab2b1c39Aa","doi-asserted-by":"crossref","unstructured":"Zeitz, M. (1990): \u201cCanonical forms for nonlinear systems,\u201d in Nonlinear Control Systems Design 1989, Elsevier, 33\u201338.","DOI":"10.1016\/B978-0-08-037022-4.50012-0"},{"key":"2023033110173098796_j_auto-2020-0061_ref_040_w2aab3b7e2024b1b6b1ab2b1c40Aa","doi-asserted-by":"crossref","unstructured":"Zeitz, M. (2010): \u201cDifferenzielle Flachheit: Eine n\u00fctzliche Methodik auch f\u00fcr lineare SISO-Systeme (Differential flatness: A useful method also for linear SISO systems),\u201d at-Automatisierungstechnik, 58, 5\u201313.","DOI":"10.1524\/auto.2010.0815"}],"container-title":["at - Automatisierungstechnik"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.degruyter.com\/view\/journals\/auto\/68\/7\/article-p529.xml","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/www.degruyter.com\/document\/doi\/10.1515\/auto-2020-0061\/xml","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/www.degruyter.com\/document\/doi\/10.1515\/auto-2020-0061\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,3,31]],"date-time":"2023-03-31T11:43:31Z","timestamp":1680263011000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.degruyter.com\/document\/doi\/10.1515\/auto-2020-0061\/html"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,7,1]]},"references-count":40,"journal-issue":{"issue":"7","published-online":{"date-parts":[[2020,7,3]]},"published-print":{"date-parts":[[2020,7,26]]}},"alternative-id":["10.1515\/auto-2020-0061"],"URL":"https:\/\/doi.org\/10.1515\/auto-2020-0061","relation":{},"ISSN":["2196-677X","0178-2312"],"issn-type":[{"value":"2196-677X","type":"electronic"},{"value":"0178-2312","type":"print"}],"subject":[],"published":{"date-parts":[[2020,7,1]]}}}