{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,24]],"date-time":"2026-06-24T13:27:33Z","timestamp":1782307653521,"version":"3.54.5"},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2011,6,17]],"date-time":"2011-06-17T00:00:00Z","timestamp":1308268800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2011,12]]},"DOI":"10.1007\/s10626-011-0110-2","type":"journal-article","created":{"date-parts":[[2011,6,17]],"date-time":"2011-06-17T14:42:55Z","timestamp":1308321775000},"page":"519-545","source":"Crossref","is-referenced-by-count":24,"title":["Stabilization of Finite Automata with Application to Hybrid Systems Control"],"prefix":"10.1007","volume":"21","author":[{"given":"Koichi","family":"Kobayashi","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jun-ichi","family":"Imura","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kunihiko","family":"Hiraishi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2011,6,17]]},"reference":[{"issue":"7","key":"110_CR1","doi-asserted-by":"crossref","first-page":"971","DOI":"10.1109\/5.871304","volume":"88","author":"R Alur","year":"2000","unstructured":"Alur R, Henzinger TA, Lafferriere G, Pappas GJ (2000) Discrete abstraction of hybrid systems. Proc IEEE 88(7):971\u2013984","journal-title":"Proc IEEE"},{"issue":"1","key":"110_CR2","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1093\/bioinformatics\/bti1048","volume":"21","author":"G Batt","year":"2005","unstructured":"Batt G, Ropers D, de Jong H, Geiselmann J, Mateescul R, Page M, Schneider D (2005) Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in Escherichia coli. Bioinformatics 21(1):19\u201328","journal-title":"Bioinformatics"},{"key":"110_CR3","doi-asserted-by":"crossref","first-page":"407","DOI":"10.1016\/S0005-1098(98)00178-2","volume":"35","author":"A Bemporad","year":"1999","unstructured":"Bemporad A, Morari M (1999) Control of systems integrating logic, dynamics, and constraints. Automatica 35:407\u2013427","journal-title":"Automatica"},{"key":"110_CR4","doi-asserted-by":"crossref","unstructured":"Brave Y, Heymann M (1989) On stabilization of discrete-event processes. In: Proc. 28th IEEE conf. on decision and control, pp 2737\u20132742","DOI":"10.1109\/CDC.1989.70676"},{"key":"110_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-387-68612-7","volume-title":"Introduction to discrete event systems","author":"CG Cassandras","year":"2008","unstructured":"Cassandras CG, Lafortune S (2008) Introduction to discrete event systems, 2nd edn. Springer, New York","edition":"2"},{"key":"110_CR6","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/978-0-8176-4751-3_2","volume-title":"Dynamics on and of complex networks: applications to biology, computer science and the social sciences","author":"M Chaves","year":"2009","unstructured":"Chaves M, Eissing T, Allg\u00f6wer F (2009) Regulation of apoptosis via the NF\u03baB pathway: modeling and analysis. In: Ganguly N, Deutsch A, Mukherjee A (eds) Dynamics on and of complex networks: applications to biology, computer science and the social sciences. Birkhauser, Boston, pp\u00a019\u201334"},{"key":"110_CR7","series-title":"LNCS","volume-title":"Proc. 11th int\u2019l conf. on hybrid systems: computation and control","author":"S Cairano Di","year":"2008","unstructured":"Di Cairano S, Lazar M, Bemporad A, Heemels WPMH (2008) A control Lyapunov approach to predictive control of hybrid systems. In: Proc. 11th int\u2019l conf. on hybrid systems: computation and control, LNCS 4981. Springer, New York"},{"issue":"2","key":"110_CR8","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1007\/s10626-007-0029-9","volume":"18","author":"A Girard","year":"2008","unstructured":"Girard A, Julius AA, Pappas GJ (2008) Approximate simulation relations for hybrid systems. Discrete Event Dyn Syst 18(2):163\u2013179","journal-title":"Discrete Event Dyn Syst"},{"key":"110_CR9","unstructured":"Kobayashi K, Imura J (2006) Modeling of discrete dynamics for computational time reduction of model predictive control. In: Proc. 17th int\u2019l symp. on mathematical theory of networks and systems, pp 628\u2013633"},{"key":"110_CR10","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1007\/978-3-540-71493-4_28","volume-title":"Proc. 10th int\u2019l conf. on hybrid systems: computation and control","author":"K Kobayashi","year":"2007","unstructured":"Kobayashi K, Imura J (2007) Minimality of finite automata representation in hybrid systems control. In: Proc. 10th int\u2019l conf. on hybrid systems: computation and control, LNCS 4416. Springer, New York, pp\u00a0343\u2013356"},{"issue":"5","key":"110_CR11","doi-asserted-by":"crossref","first-page":"1294","DOI":"10.1137\/0331061","volume":"31","author":"R Kumar","year":"1993","unstructured":"Kumar R, Garg VK, Marcus SI (1993) Language stability and stabilizability of discrete event dynamical systems. SIAM J Control Optim 31(5):1294\u20131320","journal-title":"SIAM J Control Optim"},{"key":"110_CR12","unstructured":"LazarWillsky AS, Antsaklis PJ M (2009) Flexible control Lyapunov functions. In: 2009 American control conference, pp 102\u2013107"},{"key":"110_CR13","unstructured":"Megretski A (2002) Robustness of finite state automata. In: Multidisciplinary research in control: the Mohammed Dahleh symp., pp 147\u2013160"},{"issue":"3","key":"110_CR14","doi-asserted-by":"crossref","first-page":"730","DOI":"10.1145\/116825.116855","volume":"38","author":"CM Ozveren","year":"1991","unstructured":"Ozveren CM, Willsky AS, Antsaklis PJ (1991) Stability and stabilizability of discrete event dynamic systems. J Assoc Comput Mach 38(3):730\u2013752","journal-title":"J Assoc Comput Mach"},{"issue":"3","key":"110_CR15","doi-asserted-by":"crossref","first-page":"462","DOI":"10.1137\/0321028","volume":"21","author":"ED Sontag","year":"1983","unstructured":"Sontag ED (1983) A Lyapunov-like characterization of asymptotic controllability. SIAM J Control Optim 21(3):462\u2013471","journal-title":"SIAM J Control Optim"},{"key":"110_CR16","doi-asserted-by":"crossref","unstructured":"Tarraf DC, Dahleh MA, Megretski A (2005) Stability of deterministic finite state machines. In: Proc. American control conf., pp 3932\u20133936","DOI":"10.1109\/ACC.2005.1470590"},{"issue":"5","key":"110_CR17","doi-asserted-by":"crossref","first-page":"1133","DOI":"10.1109\/TAC.2008.923658","volume":"54","author":"DC Tarraf","year":"2008","unstructured":"Tarraf DC, Megretski A, Dahleh MA (2008) A framework for robust stability of systems over finite alphabets. IEEE Trans Automat Contr 54(5):1133\u20131146","journal-title":"IEEE Trans Automat Contr"},{"key":"110_CR18","series-title":"LNCS","volume-title":"Proc. 11th int\u2019l conf. on hybrid systems: computation and control","author":"Y Tazaki","year":"2008","unstructured":"Tazaki Y, Imura J (2008) Bisimilar finite abstractions of interconnected systems. In: Proc. 11th int\u2019l conf. on hybrid systems: computation and control, LNCS 4981. Springer, New York"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-011-0110-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-011-0110-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-011-0110-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,11]],"date-time":"2019-06-11T17:06:07Z","timestamp":1560272767000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-011-0110-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,6,17]]},"references-count":18,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2011,12]]}},"alternative-id":["110"],"URL":"https:\/\/doi.org\/10.1007\/s10626-011-0110-2","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,6,17]]}}}