{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:55:12Z","timestamp":1725519312495},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540883869"},{"type":"electronic","value":"9783540883876"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-88387-6_25","type":"book-chapter","created":{"date-parts":[[2008,10,10]],"date-time":"2008-10-10T01:42:45Z","timestamp":1223602965000},"page":"274-288","source":"Crossref","is-referenced-by-count":2,"title":["Decidable Compositions of O-Minimal Automata"],"prefix":"10.1007","author":[{"given":"Alberto","family":"Casagrande","sequence":"first","affiliation":[]},{"given":"Pietro","family":"Corvaja","sequence":"additional","affiliation":[]},{"given":"Carla","family":"Piazza","sequence":"additional","affiliation":[]},{"given":"Bud","family":"Mishra","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"25_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"668","DOI":"10.1007\/978-3-540-71493-4_57","volume-title":"Hybrid Systems: Computation and Control","author":"A. Casagrande","year":"2007","unstructured":"Casagrande, A., Corvaja, P., Piazza, C., Mishra, B.: Composing semi-algebraic o-minimal automata. In: Bemporad, A., Bicchi, A., Buttazzo, G. (eds.) HSCC 2007. LNCS, vol.\u00a04416, pp. 668\u2013671. Springer, Heidelberg (2007)"},{"key":"25_CR2","unstructured":"Casagrande, A., Corvaja, P., Piazza, C., Mishra, B.: Parallel composition of semi-algebraic o-minimal automata (January 2008), http:\/\/www.dimi.uniud.it\/piazza\/PAPERS\/parallel.pdf"},{"key":"25_CR3","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1109\/REAL.1993.393520","volume-title":"IEEE Real-Time Systems Symposium 1993","author":"R. Alur","year":"1993","unstructured":"Alur, R., Henzinger, T.A., Ho, P.H.: Automatic Symbolic Verification of Embedded Systems. In: IEEE Real-Time Systems Symposium 1993, pp. 2\u201311. IEEE Press, Los Alamitos (1993)"},{"key":"25_CR4","doi-asserted-by":"crossref","unstructured":"Henzinger, T.A., Kopke, P.W., Puri, A., Varaiya, P.: What\u2019s decidable about hybrid automata? In: Proc. of Symp. on Theory of Computing (STOCS 1995), pp. 373\u2013382 (1995)","DOI":"10.1145\/225058.225162"},{"key":"25_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/PL00009858","volume":"13","author":"G. Lafferriere","year":"2000","unstructured":"Lafferriere, G., Pappas, G.J., Sastry, S.: O-minimal Hybrid Systems. Mathematics of Control, Signals, and Systems\u00a013, 1\u201321 (2000)","journal-title":"Mathematics of Control, Signals, and Systems"},{"key":"25_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/978-3-540-24743-2_15","volume-title":"Hybrid Systems: Computation and Control","author":"T. Brihaye","year":"2004","unstructured":"Brihaye, T., Michaux, C., Rivi\u00e8re, C., Troestler, C.: On O-Minimal Hybrid Systems. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol.\u00a02993, pp. 219\u2013233. Springer, Heidelberg (2004)"},{"key":"25_CR7","doi-asserted-by":"crossref","unstructured":"Tarski, A.: A Decision Method for Elementary Algebra and Geometry. Univ. California Press (1951)","DOI":"10.1525\/9780520348097"},{"key":"25_CR8","series-title":"London Mathematical Society Lecture Note Series","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511525919","volume-title":"Tame Topology and O-minimal Structures","author":"L. Dries van den","year":"1998","unstructured":"van den Dries, L.: Tame Topology and O-minimal Structures. London Mathematical Society Lecture Note Series, vol.\u00a0248. Cambridge University Press, Cambridge (1998)"},{"key":"25_CR9","doi-asserted-by":"crossref","first-page":"678","DOI":"10.1109\/CDC.2005.1582234","volume-title":"Proc. of the 44rd Conference on Decision and Control (CDC 2005)","author":"A. Casagrande","year":"2005","unstructured":"Casagrande, A., Piazza, C., Mishra, B.: Semi-Algebraic Constant Reset Hybrid Automata - SACoRe. In: Proc. of the 44rd Conference on Decision and Control (CDC 2005), pp. 678\u2013683. IEEE Press, Los Alamitos (2005)"},{"key":"25_CR10","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1109\/LICS.1996.561342","volume-title":"Proc. of IEEE Symposium on Logic in Computer Science (LICS 1996)","author":"T.A. Henzinger","year":"1996","unstructured":"Henzinger, T.A.: The Theory of Hybrid Automata. In: Proc. of IEEE Symposium on Logic in Computer Science (LICS 1996), pp. 278\u2013292. IEEE Press, Los Alamitos (1996)"},{"key":"25_CR11","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\u2013309. Springer, Heidelberg (2000)"},{"key":"25_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/3-540-53904-2_94","volume-title":"Rewriting Techniques and Applications","author":"L. Pottier","year":"1991","unstructured":"Pottier, L.: Minimal solutions of linear diophantine systems: Bounds and algorithms. In: Book, R.V. (ed.) RTA 1991. LNCS, vol.\u00a0488, pp. 162\u2013173. Springer, Heidelberg (1991)"},{"key":"25_CR13","volume-title":"Elements of Mathematics. General topology II","author":"N. Bourbaki","year":"1989","unstructured":"Bourbaki, N.: Elements of Mathematics. General topology II. Springer, Heidelberg (1989)"},{"key":"25_CR14","series-title":"Graduate Texts in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-02945-9","volume-title":"A Course in Computational Algebraic Number Theory","author":"H. Cohen","year":"1993","unstructured":"Cohen, H.: A Course in Computational Algebraic Number Theory. Graduate Texts in Mathematics, vol.\u00a0138. Springer, Heidelberg (1993)"},{"key":"25_CR15","volume-title":"Synchronized product of semi-algebraic o-minimal hybrid automata","author":"A. Casagrande","year":"2006","unstructured":"Casagrande, A., Corvaja, P., Piazza, C., Mishra, B.: Synchronized product of semi-algebraic o-minimal hybrid automata. Technical report, University of Udine (October 2006), http:\/\/fsv.dimi.uniud.it\/papers\/syncro.pdf"},{"key":"25_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/978-3-540-73433-8_5","volume-title":"Algebraic Biology","author":"A. Casagrande","year":"2007","unstructured":"Casagrande, A., Casey, K., Falchi, R., Piazza, C., Ruperti, B., Vizzotto, G., Mishra, B.: Translating Time-Course Gene Expression Profiles into Semi-algebraic Hybrid Automata Via Dimensionality Reduction. In: Anai, H., Horimoto, K., Kutsia, T. (eds.) AB 2007. LNCS, vol.\u00a04545, pp. 51\u201365. Springer, Heidelberg (2007)"}],"container-title":["Lecture Notes in Computer Science","Automated Technology for Verification and Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-88387-6_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,20]],"date-time":"2023-05-20T06:22:23Z","timestamp":1684563743000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-88387-6_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540883869","9783540883876"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-88387-6_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}