{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:13:39Z","timestamp":1725747219802},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642397172"},{"type":"electronic","value":"9783642397189"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39718-9_20","type":"book-chapter","created":{"date-parts":[[2013,8,30]],"date-time":"2013-08-30T03:01:54Z","timestamp":1377831714000},"page":"337-354","source":"Crossref","is-referenced-by-count":4,"title":["Spatio-temporal Hybrid Automata for Cyber-Physical Systems"],"prefix":"10.1007","author":[{"given":"Zhucheng","family":"Shao","sequence":"first","affiliation":[]},{"given":"Jing","family":"Liu","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"20_CR1","doi-asserted-by":"crossref","unstructured":"Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems Specification. Springer (1992)","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"Gabelaia, D., Kontchakov, R., Kurucz, A., Wolter, F., Zakharyaschev, M.: Combining Spatial and Temporal Logics. Journal of Artificial Intelligence Research, 167\u2013243 (2005)","DOI":"10.1613\/jair.1537"},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"Lee, E.A.: Cyber Physical Systems: Design Challenges. In: 11th IEEE International Symposium on Object Oriented Real-Time Distributed Computing (ISORC), pp. 363\u2013369 (2008)","DOI":"10.1109\/ISORC.2008.25"},{"key":"20_CR4","doi-asserted-by":"crossref","unstructured":"Shao, Z., Liu, J., Ding, Z., Chen, M., Jiang, N.: Spatio-Temporal Properties Analysis for Cyber-Physical Systems. In: Proceedings of the 18th International Conference on Engineering of Complex Computer Systems, ICECCS 2013 (2013)","DOI":"10.1109\/ICECCS.2013.23"},{"key":"20_CR5","unstructured":"IEEE, IEEE Recommended Practice for Communications-Based Train Control (CBTC) System Design and Functional Allocations. IEEE Std 1474.3-2008 (2008)"},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"Fouquet, F., Morin, B., Fleurey, F., Barais, O., Plouzeau, N., Jezequel, J.: A dynamic component model for cyber physical systems. In: Proceedings of the 15th ACM SIGSOFT Symposium on Component Based Software Engineering, pp. 135\u2013144 (2012)","DOI":"10.1145\/2304736.2304759"},{"key":"20_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"506","DOI":"10.1007\/BFb0014006","volume-title":"Temporal Logic","author":"J. Chomicki","year":"1994","unstructured":"Chomicki, J.: Temporal query language: a survey. In: Gabbay, D.M., Ohlbach, H.J. (eds.) ICTL 1994. LNCS, vol.\u00a0827, pp. 506\u2013534. Springer, Heidelberg (1994)"},{"key":"20_CR8","unstructured":"Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. MIT Press (1995)"},{"key":"20_CR9","doi-asserted-by":"crossref","unstructured":"Manna, Z., Pnueli, A.: Temporal Verification of Reactive Systems: Safety. Springer (1995)","DOI":"10.1007\/978-1-4612-4222-2"},{"key":"20_CR10","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1090\/S0002-9947-1937-1501905-7","volume":"41","author":"M.H. Stone","year":"1937","unstructured":"Stone, M.H.: Application of the theory of Boolean rings to general topology. Transactions of the AMS\u00a041, 321\u2013364 (1937)","journal-title":"Transactions of the AMS"},{"key":"20_CR11","doi-asserted-by":"publisher","first-page":"737","DOI":"10.1090\/S0002-9904-1938-06860-7","volume":"44","author":"T. Chen","year":"1938","unstructured":"Chen, T.: Algebraic postulates and a geometric interpretation of the Lewis calculus of strict implication. Bulletin of the AMS\u00a044, 737\u2013744 (1938)","journal-title":"Bulletin of the AMS"},{"issue":"3","key":"20_CR12","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/BF00156915","volume":"1","author":"M. Finger","year":"1992","unstructured":"Finger, M., Gabbay, D.M.: Adding a temporal dimension to a logic system. Journal of Logic, Language and Information\u00a01(3), 203\u2013233 (1992)","journal-title":"Journal of Logic, Language and Information"},{"issue":"4","key":"20_CR13","doi-asserted-by":"publisher","first-page":"117","DOI":"10.2307\/2267105","volume":"6","author":"J.C.C. McKinsey","year":"1941","unstructured":"McKinsey, J.C.C.: A solution of the decision problem for the Lewis systems S2 and S4, with an application to topology. Journal of Symbolic Logic\u00a06(4), 117\u2013134 (1941)","journal-title":"Journal of Symbolic Logic"},{"key":"20_CR14","unstructured":"Wolter, F., Zakharyaschev, M.: Spatio-temporal representation and reasoning based on RCC-8. In: Proceedings of the 7th Conference on Principles of Knowledge Representation and Reasoning (KR 2000), pp. 3\u201314 (2000)"},{"key":"20_CR15","unstructured":"Egenhofer, M.J., Herring, J.R.: Categorizing topological relationships between regions, lines and points in geographic databases. Tech. rep., University of Maine (1991)"},{"key":"20_CR16","doi-asserted-by":"crossref","unstructured":"Wolper, P.: Expressing interesting properties of programs in propositional temporal logic. In: Proceedings of the 13th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, pp. 184\u2013192 (1986)","DOI":"10.1145\/512644.512661"},{"key":"20_CR17","doi-asserted-by":"crossref","unstructured":"Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications. ACM Transactions on Programming Languages and Systems, 244\u2013263 (1986)","DOI":"10.1145\/5397.5399"},{"issue":"2","key":"20_CR18","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1016\/S0022-0000(03)00005-9","volume":"66","author":"M. Reynolds","year":"2003","unstructured":"Reynolds, M.: The complexity of the temporal logic with until over general linear time. Journal of Computer and System Sciences\u00a066(2), 393\u2013426 (2003)","journal-title":"Journal of Computer and System Sciences"},{"issue":"3","key":"20_CR19","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1145\/3828.3837","volume":"32","author":"A.P. Sistla","year":"1985","unstructured":"Sistla, A.P., Clarke, E.M.: The complexity of propositional linear temporal logics. Journal of the ACM\u00a032(3), 733\u2013749 (1985)","journal-title":"Journal of the ACM"},{"key":"20_CR20","series-title":"Oxford Logic Guides","volume-title":"Modal Logic","author":"C. Alexander","year":"1997","unstructured":"Alexander, C., Zakharyaschev, M.: Modal Logic. Oxford Logic Guides, vol.\u00a035. Clarendon Press, Oxford (1997)"},{"key":"20_CR21","unstructured":"Henzinger, T.A.: The theory of hybrid automata. In: Logic in Computer Science, LICS 1996, pp. 278\u2013292 (1996)"},{"key":"20_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/3-540-57318-6_30","volume-title":"Hybrid Systems","author":"R. Alur","year":"1993","unstructured":"Alur, R., Courcoubetis, C., Henzinger, T.A., Ho, P.: Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. In: Grossman, R.L., Ravn, A.P., Rischel, H., Nerode, A. (eds.) HS 1993. LNCS, vol.\u00a0736, pp. 209\u2013229. Springer, Heidelberg (1993)"},{"issue":"2","key":"20_CR23","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1145\/2000367.2000374","volume":"8","author":"N. Saeedloei","year":"2011","unstructured":"Saeedloei, N., Gupta, G.: A logic-based modeling and verification of CPS. ACM SIGBED Review\u00a08(2), 31\u201334 (2011)","journal-title":"ACM SIGBED Review"},{"key":"20_CR24","unstructured":"Gupta, R.: Programming models and methods for spatiotemporal actions and reasoning in cyber-physical systems. In: NSF Workshop on CPS (2006)"},{"key":"20_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1007\/3-540-46430-1_26","volume-title":"Hybrid Systems: Computation and Control","author":"J.S. Miller","year":"2000","unstructured":"Miller, J.S.: Decidability and Complexity Results for Timed Automata and Semi-linear Hybrid Automata. In: Lynch, N.A., Krogh, B.H. (eds.) HSCC 2000. LNCS, vol.\u00a01790, pp. 296\u2013310. Springer, Heidelberg (2000)"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2013"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39718-9_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T00:21:59Z","timestamp":1558052519000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39718-9_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642397172","9783642397189"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39718-9_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}