{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T13:57:06Z","timestamp":1761487026228},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/cdc.2002.1184461","type":"proceedings-article","created":{"date-parts":[[2003,8,27]],"date-time":"2003-08-27T11:38:00Z","timestamp":1061984280000},"page":"22-27","source":"Crossref","is-referenced-by-count":1,"title":["Discrete synchronization of hybrid systems"],"prefix":"10.1109","volume":"1","author":[{"given":"P.","family":"Tabuada","sequence":"first","affiliation":[]},{"given":"G.J.","family":"Pappas","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/.2001.980822"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008391200517"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-444-88074-1.50009-3"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/9.664154"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1002\/rnc.593"},{"key":"16","article-title":"Composing abstractions of hybrid systems","author":"tabuada","year":"2002","journal-title":"Hybrid Systems Computation and Control Lecture Notes in Computer Science"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.1999.786208"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/9.173140"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"21","article-title":"Constructing automata from temporal logic formulas: A tutorial","author":"wolper","year":"2000","journal-title":"Lectures on Formal Methods and Performance Analysis Volume 2090 of Lecture Notes in Computer Science"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45873-5_14"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/9.250509"},{"key":"2","article-title":"Computing aproximating automata for a class of hybrid systems","author":"chutinan","year":"1998","journal-title":"Mathematical and Computer Modelling of Dynamical Systems"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/9.880613"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1023\/A:1013339920783"},{"key":"7","first-page":"333","article-title":"Mode switching synthesis for reachability specifications","author":"koo","year":"2001","journal-title":"Hybrid Systems Computation and Control Volume 2034 of Lecture Notes in Computer Science"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1137\/S0363012902409982"},{"key":"5","article-title":"Control of piecewise-linear hybrid systems on simplices and rectangles","author":"habets","year":"2002","journal-title":"Hybrid Systems Computation and Control Lecture Notes in Computer Science"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(83)90017-5"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/357233.357237"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00307-8"}],"event":{"name":"IEEE Conference on Decision and Control","acronym":"CDC-02","location":"Las Vegas, NV, USA"},"container-title":["Proceedings of the 41st IEEE Conference on Decision and Control, 2002."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8437\/26566\/01184461.pdf?arnumber=1184461","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T18:43:29Z","timestamp":1489430609000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1184461\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/cdc.2002.1184461","relation":{},"subject":[]}}