{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T22:15:54Z","timestamp":1649196954560},"reference-count":31,"publisher":"Elsevier BV","issue":"6","license":[{"start":{"date-parts":[[2003,6,1]],"date-time":"2003-06-01T00:00:00Z","timestamp":1054425600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IFAC Proceedings Volumes"],"published-print":{"date-parts":[[2003,6]]},"DOI":"10.1016\/s1474-6670(17)36447-9","type":"journal-article","created":{"date-parts":[[2017,5,17]],"date-time":"2017-05-17T00:16:05Z","timestamp":1494980165000},"page":"295-300","source":"Crossref","is-referenced-by-count":0,"title":["Formal Analysis of Scientific-Computation Methods"],"prefix":"10.1016","volume":"36","author":[{"given":"Gadiel","family":"Auerbach","sequence":"first","affiliation":[]},{"given":"Orna","family":"Kupferman","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"issue":"2","key":"10.1016\/S1474-6670(17)36447-9_bib0005","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","article-title":"A theory of timed automata","volume":"126","author":"Alur","year":"1994","journal-title":"TCS"},{"key":"10.1016\/S1474-6670(17)36447-9_bib0010","first-page":"115","article-title":"Model-checking for probabilistic real-time systems","volume":"510","author":"Alur","year":"1991"},{"issue":"1","key":"10.1016\/S1474-6670(17)36447-9_bib0015","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","article-title":"The algorithmic analysis of hybrid systems","volume":"138","author":"Alur","year":"1995","journal-title":"TCS"},{"key":"10.1016\/S1474-6670(17)36447-9_bib0020","first-page":"6","article-title":"Modular specification of hybrid systems in CHARON","author":"Alur","year":"2000","journal-title":"Hybrid Systems: Computation and Control, Proc. of the Third Int. Conf. Vol. 1790 of LNCS"},{"issue":"2","key":"10.1016\/S1474-6670(17)36447-9_bib0025","doi-asserted-by":"crossref","first-page":"971","DOI":"10.1109\/5.871304","article-title":"Discrete ahstractions of hybrid system","volume":"88","author":"Alur","year":"2000","journal-title":"IEEE"},{"key":"10.1016\/S1474-6670(17)36447-9_bib0030","series-title":"Formal analysis of mechanical system","author":"Auerbach","year":"2002"},{"key":"10.1016\/S1474-6670(17)36447-9_bib0035","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1080\/001075197182405","article-title":"From snowflake formation to growth of bacterial colonies Part II: Cooperative formation of complex colonial patterns","volume":"38","author":"Ben-Jacob","year":"1997","journal-title":"Contemporary Physics"},{"key":"10.1016\/S1474-6670(17)36447-9_bib0040","series-title":"Complexity and Real Computation","author":"Blum","year":"1997"},{"key":"10.1016\/S1474-6670(17)36447-9_bib0045","article-title":"Simulation, analysis and optimization of continuous-discrete interactions in chemical processing plants","author":"Engell","year":"2000","journal-title":"In: Proc. of IEEE"},{"key":"10.1016\/S1474-6670(17)36447-9_bib0050","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-009-5819-7","author":"Hammersley","year":"1964","journal-title":"Monte Carlo Methods"},{"key":"10.1016\/S1474-6670(17)36447-9_bib0055","first-page":"278","article-title":"The theory of hybrid automata","author":"Henzinger","year":"1996","journal-title":"In: Proc. 11th LICS."},{"key":"10.1016\/S1474-6670(17)36447-9_bib0060","series-title":"Proc 14th CAV.","first-page":"2404","article-title":"Invited tutorial. The symbolic approach to hybrid systems","author":"Henzinger","year":"2002"},{"issue":"1","key":"10.1016\/S1474-6670(17)36447-9_bib0065","doi-asserted-by":"crossref","first-page":"94","DOI":"10.1006\/jcss.1998.1581","article-title":"What's decidable about hybrid automata?","volume":"57","author":"Henzinger","year":"1998","journal-title":"J. of Comput. and System Sci."},{"issue":"7","key":"10.1016\/S1474-6670(17)36447-9_bib0070","doi-asserted-by":"crossref","first-page":"913","DOI":"10.1109\/5.871301","article-title":"Control design of an automated highway system","volume":"88","author":"Horowitz","year":"2000","journal-title":"Proc of IEEE: Special Issue on Hybrid Systems"},{"key":"10.1016\/S1474-6670(17)36447-9_bib0075","article-title":"A probabilistic approach to aircraft conflict detection","author":"Lygeros","year":"2000","journal-title":"IEEE Trans. on Intelligent Transportation Systems Special issue on Air Traffic Control - Part I"},{"key":"10.1016\/S1474-6670(17)36447-9_bib0080","series-title":"Hybrid Systems: Computation and Control. Vol. 1569 of LNCS","first-page":"137","article-title":"A new class of decidable hybrid systems","author":"Lafferriere","year":"1999"},{"key":"10.1016\/S1474-6670(17)36447-9_bib0085","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/PL00009858","article-title":"O-minimal hybrid systems","volume":"13","author":"Lafferriere","year":"2000","journal-title":"Math. Control Signals Systems"},{"key":"10.1016\/S1474-6670(17)36447-9_bib0090","first-page":"133","article-title":"On the advantages of free choice: A symmetric and fully distributed solution to the dining philosophers problem","author":"Lehmann","year":"1981","journal-title":"8th POPL."},{"key":"10.1016\/S1474-6670(17)36447-9_bib0095","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1109\/REAL.1999.818833","article-title":"High-level modeling and analysis of TCAS","author":"Livadas","year":"1999","journal-title":"IEEE Real-Time Systems Symposium"},{"issue":"4","key":"10.1016\/S1474-6670(17)36447-9_bib0100","doi-asserted-by":"crossref","first-page":"522","DOI":"10.1109\/9.664155","article-title":"A verified hybrid controller for automated vehicles","volume":"43","author":"Lygeros","year":"1998","journal-title":"IEEE Trans. on Automatic Control"},{"key":"10.1016\/S1474-6670(17)36447-9_bib0105","first-page":"289","article-title":"An approach to the verification of the center TRACON automation system","author":"Lygeros","year":"1998","journal-title":"Hybrid Systems: Computation and Control"},{"key":"10.1016\/S1474-6670(17)36447-9_bib0110","series-title":"Proc. of the IEEE 7th Israeli Conference on Computer Systems and Software Engineering","article-title":"Hardware timing verification using KRONOS","author":"Maler","year":"1996"},{"key":"10.1016\/S1474-6670(17)36447-9_bib0115","series-title":"Finite and Infinite Machines","author":"Minsky","year":"1967"},{"key":"10.1016\/S1474-6670(17)36447-9_bib0120","article-title":"A probabilistic framework for aircraft conflict detection","author":"Prandini","year":"1999","journal-title":"AIAA on Guidance Navigation and Control"},{"key":"10.1016\/S1474-6670(17)36447-9_bib0125","doi-asserted-by":"crossref","DOI":"10.1109\/5.871311","article-title":"Intelligent scheduling, planning and control: Analytical integration of hybrid systems","volume":"88","author":"Song","year":"2000","journal-title":"Proc. of the IEEE"},{"issue":"4","key":"10.1016\/S1474-6670(17)36447-9_bib0130","doi-asserted-by":"crossref","first-page":"509","DOI":"10.1109\/9.664154","article-title":"Conflict resolution for air traffic management: A study in multiagent hybrid systems","volume":"43","author":"Tomlin","year":"1998","journal-title":"IEEE Trans. on Automatic Control"},{"key":"10.1016\/S1474-6670(17)36447-9_bib0135","first-page":"84","article-title":"Verification of a chemical process leak test procedure","volume":"1254","author":"Turk","year":"1997","journal-title":"Proc 9th CAV. LNCS"},{"key":"10.1016\/S1474-6670(17)36447-9_bib0140","series-title":"Tame Topology and Ominimal Structures","author":"van den Dries","year":"1998"},{"issue":"2","key":"10.1016\/S1474-6670(17)36447-9_bib0145","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1215\/S0012-7094-96-08416-1","article-title":"Geometric categories and o-minimal structures","volume":"84","author":"van den Dries","year":"1996","journal-title":"Duke Math. J"},{"issue":"2","key":"10.1016\/S1474-6670(17)36447-9_bib0150","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1109\/9.250509","article-title":"Smart cars on Smart roads: Problems of control","volume":"38","author":"Varaiya","year":"1993","journal-title":"IEEE Trans. on Automatic Control"},{"key":"10.1016\/S1474-6670(17)36447-9_bib0155","series-title":"ARTS: Int. Workshop on Formal Methods for Real-Time and Probabilistic Systems","article-title":"Probabilistic linear-time model checking: An overview of the automata-theoretic approach","author":"Vardi","year":"1999"}],"container-title":["IFAC Proceedings Volumes"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1474667017364479?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1474667017364479?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2018,9,1]],"date-time":"2018-09-01T19:58:46Z","timestamp":1535831926000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1474667017364479"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,6]]},"references-count":31,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2003,6]]}},"alternative-id":["S1474667017364479"],"URL":"https:\/\/doi.org\/10.1016\/s1474-6670(17)36447-9","relation":{},"ISSN":["1474-6670"],"issn-type":[{"value":"1474-6670","type":"print"}],"subject":[],"published":{"date-parts":[[2003,6]]}}}