{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T06:21:28Z","timestamp":1743142888522,"version":"3.40.3"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319155784"},{"type":"electronic","value":"9783319155791"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-15579-1_19","type":"book-chapter","created":{"date-parts":[[2015,2,23]],"date-time":"2015-02-23T08:36:13Z","timestamp":1424680573000},"page":"249-262","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["On Observability of Automata Networks via Computational Algebra"],"prefix":"10.1007","author":[{"given":"Rui","family":"Li","sequence":"first","affiliation":[]},{"given":"Yiguang","family":"Hong","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,2,24]]},"reference":[{"key":"19_CR1","series-title":"Lecture Notes in Computer Science","volume-title":"Automata Networks","year":"1988","unstructured":"Choffrut, C. (ed.): Automata Networks. LNCS, vol. 316. Springer, Heidelberg (1988)"},{"key":"19_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35651-8","volume-title":"Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra","author":"D Cox","year":"2007","unstructured":"Cox, D., Little, J., O\u2019Shea, D.: Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra, 3rd edn. Springer, New York (2007)","edition":"3"},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"Dr\u00fcppel, S., Lunze, J., Fritz, M.: Modeling of asynchronous discrete-event systems as networks of input-output automata. In: Proceedings of the 17th IFAC World Congress, Seoul, Korea, pp. 544\u2013549 (2008)","DOI":"10.3182\/20080706-5-KR-1001.00092"},{"key":"19_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-0529-0","volume-title":"Neural and Automata Networks: Dynamical Behavior and Applications","author":"E Goles","year":"1990","unstructured":"Goles, E., Mart\u00ednez, S.: Neural and Automata Networks: Dynamical Behavior and Applications. Kluwer Academic Publishers, Dordrecht (1990)"},{"key":"19_CR5","doi-asserted-by":"crossref","unstructured":"Kawano, Y., Ohtsuka, T.: An algebraic approach to local observability at an initial state for discrete-time polynomial systems. In: Proceedings of the 18th IFAC World Congress, Milano, Italy, pp. 6449\u20136453 (2011)","DOI":"10.3182\/20110828-6-IT-1002.00336"},{"key":"19_CR6","doi-asserted-by":"crossref","unstructured":"Kawano, Y., Ohtsuka, T.: Necessary condition for local observability of discrete-time polynomial systems. In: Proceedings of the 2012 American Control Conference, Montr\u00e9al, Canada, pp. 6757\u20136762 (2012)","DOI":"10.1109\/ACC.2012.6314607"},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"Kawano, Y., Ohtsuka, T.: Sufficiency of a necessary condition for local observability of discrete-time polynomial systems. In: Proceedings of the 2013 European Control Conference, Z\u00fcrich, Switzerland, pp. 1722\u20131727 (2013)","DOI":"10.23919\/ECC.2013.6669111"},{"key":"19_CR8","volume-title":"Finite Fields","author":"R Lidl","year":"1997","unstructured":"Lidl, R., Niederreiter, H.: Finite Fields, 2nd edn. Cambridge University Press, Cambridge (1997)","edition":"2"},{"key":"19_CR9","doi-asserted-by":"crossref","unstructured":"Lunze, J.: Relations between networks of standard automata and networks of I\/O automata. In: Proceedings of the 9th International Workshop on Discrete Event Systems, G\u00f6teborg, Sweden, pp. 425\u2013430 (2008)","DOI":"10.1109\/WODES.2008.4605983"},{"issue":"5","key":"19_CR10","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1142\/S0129054102001424","volume":"13","author":"C Mart\u00edn-Vide","year":"2002","unstructured":"Mart\u00edn-Vide, C., Mateescu, A., Mitrana, V.: Parallel finite automata systems communicating by states. International Journal of Foundations of Computer Science 13(5), 733\u2013749 (2002)","journal-title":"International Journal of Foundations of Computer Science"},{"issue":"2","key":"19_CR11","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1007\/BF03012191","volume":"7","author":"C Mart\u00edn-Vide","year":"2000","unstructured":"Mart\u00edn-Vide, C., Mitrana, V.: Parallel communicating automata systems - A survey. Korean Journal of Computational & Applied Mathematics 7(2), 237\u2013257 (2000)","journal-title":"Korean Journal of Computational & Applied Mathematics"},{"issue":"5\u20136","key":"19_CR12","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1016\/S0020-0190(00)00159-9","volume":"77","author":"C Mart\u00edn-Vide","year":"2001","unstructured":"Mart\u00edn-Vide, C., Mitrana, V.: Some undecidable problems for parallel communicating finite automata systems. Information Processing Letters 77(5\u20136), 239\u2013245 (2001)","journal-title":"Information Processing Letters"},{"issue":"4","key":"19_CR13","first-page":"115","volume":"5","author":"WS McCulloch","year":"1943","unstructured":"McCulloch, W.S., Pitts, W.: A logical calculus of the ideas immanent in nervous activity. Bulletin of Mathematical Biology 5(4), 115\u2013133 (1943)","journal-title":"Bulletin of Mathematical Biology"},{"key":"19_CR14","volume-title":"Theory of Self-Reproducing Automata","author":"J von Neumann","year":"1966","unstructured":"von Neumann, J.: Theory of Self-Reproducing Automata. University of Illinois Press, Urbana (1966)"},{"key":"19_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/978-3-642-39799-8_4","volume-title":"Computer Aided Verification","author":"L Paulev\u00e9","year":"2013","unstructured":"Paulev\u00e9, L., Andrieux, G., Koeppl, H.: Under-approximating cut sets for reachability in large scale automata networks. In: Sharygina, N., Veith, H. (eds.) CAV 2013. LNCS, vol. 8044, pp. 69\u201384. Springer, Heidelberg (2013)"},{"key":"19_CR16","doi-asserted-by":"crossref","unstructured":"Ramadge, P.J.: Observability of discrete event systems. In: Proceedings of the 25th IEEE Conference on Decision and Control, Athens, Greece, pp. 1108\u20131112 (1986)","DOI":"10.1109\/CDC.1986.267551"},{"issue":"4","key":"19_CR17","doi-asserted-by":"publisher","first-page":"378","DOI":"10.1016\/j.aam.2009.11.011","volume":"44","author":"A Richard","year":"2010","unstructured":"Richard, A.: Negative circuits and sustained oscillations in asynchronous automata networks. Advances in Applied Mathematics 44(4), 378\u2013392 (2010)","journal-title":"Advances in Applied Mathematics"},{"key":"19_CR18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-61607-5","volume-title":"Discrete Iterations: A Metric Study","author":"F Robert","year":"1986","unstructured":"Robert, F.: Discrete Iterations: A Metric Study. Springer, Heidelberg (1986)"},{"issue":"2","key":"19_CR19","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/0304-3975(89)90079-0","volume":"63","author":"T Saito","year":"1989","unstructured":"Saito, T., Nishio, H.: Structural and behavioral equivalence relations in automata networks. Theoretical Computer Science 63(2), 223\u2013237 (1989)","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"19_CR20","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1137\/110828794","volume":"11","author":"A Veliz-Cuba","year":"2012","unstructured":"Veliz-Cuba, A.: An algebraic approach to reverse engineering finite dynamical systems arising from biology. SIAM Journal on Applied Dynamical Systems 11(1), 31\u201348 (2012)","journal-title":"SIAM Journal on Applied Dynamical Systems"},{"issue":"13","key":"19_CR21","doi-asserted-by":"publisher","first-page":"1637","DOI":"10.1093\/bioinformatics\/btq240","volume":"26","author":"A Veliz-Cuba","year":"2010","unstructured":"Veliz-Cuba, A., Jarrah, A.S., Laubenbacher, R.: Polynomial algebra of discrete models in systems biology. Bioinformatics 26(13), 1637\u20131643 (2010)","journal-title":"Bioinformatics"},{"issue":"6","key":"19_CR22","doi-asserted-by":"publisher","first-page":"783","DOI":"10.1089\/cmb.2011.0031","volume":"18","author":"A Veliz-Cuba","year":"2011","unstructured":"Veliz-Cuba, A., Stigler, B.: Boolean models can explain bistability in the lac operon. Journal of Computational Biology 18(6), 783\u2013794 (2011)","journal-title":"Journal of Computational Biology"},{"issue":"12","key":"19_CR23","doi-asserted-by":"publisher","first-page":"1609","DOI":"10.1049\/iet-cta.2013.0096","volume":"7","author":"X Xu","year":"2013","unstructured":"Xu, X., Hong, Y.: Observability analysis and observer design for finite automata via matrix approach. IET Control Theory and Applications 7(12), 1609\u20131615 (2013)","journal-title":"IET Control Theory and Applications"}],"container-title":["Lecture Notes in Computer Science","Language and Automata Theory and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-15579-1_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,15]],"date-time":"2023-02-15T04:14:33Z","timestamp":1676434473000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-15579-1_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319155784","9783319155791"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-15579-1_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"24 February 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}