{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T02:45:01Z","timestamp":1725763501423},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319039978"},{"type":"electronic","value":"9783319039985"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-319-03998-5_16","type":"book-chapter","created":{"date-parts":[[2013,12,12]],"date-time":"2013-12-12T08:10:42Z","timestamp":1386835842000},"page":"308-331","source":"Crossref","is-referenced-by-count":5,"title":["On Existence of Total Input-Output Pairs of Abstract Time Systems"],"prefix":"10.1007","author":[{"given":"Ievgen","family":"Ivanov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","unstructured":"Baheti, R., Gill, H.: Cyber-physical systems. The Impact of Control Technology, 161\u2013166 (2011)"},{"key":"16_CR2","unstructured":"Lee, E.A., Seshia, S.A.: Introduction to embedded systems: A cyber-physical systems approach (2013), Lulu.com"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"Shi, J., Wan, J., Yan, H., Suo, H.: A survey of cyber-physical systems. In: 2011 International Conference on Wireless Communications and Signal Processing (WCSP), pp. 1\u20136. IEEE (2011)","DOI":"10.1109\/WCSP.2011.6096958"},{"key":"16_CR4","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1145\/1506409.1506426","volume":"52","author":"E.A. Lee","year":"2009","unstructured":"Lee, E.A.: Computing needs time. Communications of the ACM\u00a052, 70\u201379 (2009)","journal-title":"Communications of the ACM"},{"key":"16_CR5","unstructured":"Oppenheim, A.V., Willsky, A.S., Nawab, S.H.: Signals and systems. Prentice-Hall (1983)"},{"key":"16_CR6","unstructured":"Levine, W.S.: The control handbook. CRC Press (1996)"},{"key":"16_CR7","unstructured":"Zadeh, L.A., Desoer, C.A.: Linear System Theory: The State Space Approach. McGraw-Hill (1963)"},{"key":"16_CR8","unstructured":"Zadeh, L.A.: The concepts of system, aggregate, and state in system theory (1969)"},{"key":"16_CR9","unstructured":"Kalman, R.E., Falb, P.L., Arbib, M.A.: Topics in Mathematical System Theory (Pure & Applied Mathematics S.). McGraw-Hill Education (1969)"},{"key":"16_CR10","unstructured":"Padulo, L., Arbib, M.: System theory: a unified state-space approach to continuous and discrete systems. W.B. Saunders Company (1974)"},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"Klir, G.J.: Facets of Systems Science (IFSR International Series on Systems Science and Engineering). Springer (2001)","DOI":"10.1007\/978-1-4615-1331-5"},{"key":"16_CR12","unstructured":"Wymore, A.W.: A mathematical theory of systems engineering: the elements. Wiley (1967)"},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"Mesarovic, M.D., Takahara, Y.: Abstract Systems Theory. Lecture Notes in Control and Information Sciences. Springer (1989)","DOI":"10.1007\/BFb0042462"},{"key":"16_CR14","unstructured":"Zeigler, B.P., Praehofer, H., Kim, T.G.: Theory of modeling and simulation: integrating discrete event and continuous complex dynamic systems. Academic Press (2000)"},{"key":"16_CR15","unstructured":"Matrosov, V.M., Anapolskiy, L., Vasilyev, S.: The method of comparison in mathematical systems theory. Nauka, Novosibirsk (1980) (in Russian)"},{"key":"16_CR16","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1109\/9.73561","volume":"36","author":"J.C. Willems","year":"1991","unstructured":"Willems, J.C.: Paradigms and puzzles in the theory of dynamical systems. IEEE Transactions on Automatic Control\u00a036, 259\u2013294 (1991)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"16_CR17","volume-title":"Introduction to mathematical systems theory: a behavioral approach","author":"J.W. Polderman","year":"1997","unstructured":"Polderman, J.W., Willems, J.C.: Introduction to mathematical systems theory: a behavioral approach. Springer, Berlin (1997)"},{"key":"16_CR18","unstructured":"Lin, Y.: General systems theory: A mathematical approach. Springer (1999)"},{"key":"16_CR19","doi-asserted-by":"publisher","first-page":"4459","DOI":"10.1016\/j.ins.2010.08.001","volume":"180","author":"R. Seising","year":"2010","unstructured":"Seising, R.: Cybernetics, system(s) theory, information theory and fuzzy sets and systems in the 1950s and 1960s. Information Sciences\u00a0180, 4459\u20134476 (2010)","journal-title":"Information Sciences"},{"key":"16_CR20","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1109\/MCS.2008.931718","volume":"29","author":"R. Goebel","year":"2009","unstructured":"Goebel, R., Sanfelice, R.G., Teel, A.: Hybrid dynamical systems. IEEE Control Systems\u00a029, 28\u201393 (2009)","journal-title":"IEEE Control Systems"},{"key":"16_CR21","doi-asserted-by":"crossref","unstructured":"Ball, J.: Finite time blow-up in nonlinear problems. Nonlinear Evolution Equations, pp. 189\u2013205 (1978)","DOI":"10.1016\/B978-0-12-195250-1.50015-1"},{"key":"16_CR22","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1137\/1032046","volume":"32","author":"H.A. Levine","year":"1990","unstructured":"Levine, H.A.: The role of critical exponents in blowup theorems. Siam Review\u00a032, 262\u2013288 (1990)","journal-title":"Siam Review"},{"key":"16_CR23","doi-asserted-by":"crossref","unstructured":"Goriely, A.: Integrability and nonintegrability of dynamical systems, vol.\u00a019. World Scientific Publishing Company (2001)","DOI":"10.1142\/3846"},{"key":"16_CR24","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1002\/rnc.592","volume":"11","author":"J. Zhang","year":"2001","unstructured":"Zhang, J., Johansson, K.H., Lygeros, J., Sastry, S.: Zeno hybrid systems. International Journal of Robust and Nonlinear Control\u00a011, 435\u2013451 (2001)","journal-title":"International Journal of Robust and Nonlinear Control"},{"key":"16_CR25","doi-asserted-by":"publisher","first-page":"376","DOI":"10.1109\/TAC.2005.843874","volume":"50","author":"M. Heymann","year":"2005","unstructured":"Heymann, M., Lin, F., Meyer, G., Resmerita, S.: Analysis of Zeno behaviors in a class of hybrid systems. IEEE Trans. on Automatic Control\u00a050, 376\u2013383 (2005)","journal-title":"IEEE Trans. on Automatic Control"},{"key":"16_CR26","unstructured":"Ivanov, Ie.: An abstract block formalism for engineering systems. In: Ermolayev, V., Mayr, H.C., Nikitchenko, M., Spivakovsky, A., Zholtkevych, G., Zavileysky, M., Kravtsov, H., Kobets, V., Peschanenko, V.S. (eds.) ICTERI. CEUR Workshop Proceedings, vol.\u00a01000, pp. 448\u2013463. CEUR-WS.org (2013)"},{"key":"16_CR27","doi-asserted-by":"crossref","unstructured":"Ivanov, Ie.: A criterion for existence of global-in-time trajectories of non-deterministic Markovian systems. In: Ermolayev, V., Mayr, H.C., Nikitchenko, M., Spivakovsky, A., Zholtkevych, G. (eds.) ICTERI 2012. CCIS, vol.\u00a0347, pp. 111\u2013130. Springer, Heidelberg (2013)","DOI":"10.1007\/978-3-642-35737-4_7"},{"key":"16_CR28","unstructured":"Nikitchenko, N.S.: A composition nominative approach to program semantics. Technical report, IT-TR 1998-020, Technical University of Denmark (1998)"},{"key":"16_CR29","doi-asserted-by":"crossref","first-page":"159","DOI":"10.21136\/CMJ.1967.100769","volume":"17","author":"O. H\u00e1jek","year":"1967","unstructured":"H\u00e1jek, O.: Theory of processes, i. Czechoslovak Mathematical Journal\u00a017, 159\u2013199 (1967)","journal-title":"Czechoslovak Mathematical Journal"}],"container-title":["Communications in Computer and Information Science","Information and Communication Technologies in Education, Research, and Industrial Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-03998-5_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,19]],"date-time":"2022-03-19T15:29:44Z","timestamp":1647703784000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-03998-5_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783319039978","9783319039985"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-03998-5_16","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2013]]}}}