{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T13:07:24Z","timestamp":1762520844850},"reference-count":25,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"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":["Annual Reviews in Control"],"published-print":{"date-parts":[[2002,1]]},"DOI":"10.1016\/s1367-5788(02)00030-5","type":"journal-article","created":{"date-parts":[[2003,3,25]],"date-time":"2003-03-25T21:13:35Z","timestamp":1048626815000},"page":"175-187","source":"Crossref","is-referenced-by-count":29,"title":["Control from computer science"],"prefix":"10.1016","volume":"26","author":[{"given":"Oded","family":"Maler","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1367-5788(02)00030-5_BIB1","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":"Theoretical Computer Science"},{"key":"10.1016\/S1367-5788(02)00030-5_BIB2","series-title":"Hybrid Systems: Computation and Control","first-page":"20","article-title":"Approximate reachability analysis of piecewise-linear dynamical systems","author":"Asarin","year":"2000"},{"key":"10.1016\/S1367-5788(02)00030-5_BIB3","series-title":"Effective synthesis of switching controllers for linear systems","first-page":"1011","volume":"88","author":"Asarin","year":"2000"},{"key":"10.1016\/S1367-5788(02)00030-5_BIB4","series-title":"Hybrid Systems: Computation and Control","first-page":"77","article-title":"On hybrid control of under-actuated mechanical systems","author":"Asarin","year":"2001"},{"key":"10.1016\/S1367-5788(02)00030-5_BIB5","series-title":"Hybrid Systems: Computation and Control","first-page":"73","article-title":"Verification of hybrid systems with linear differential inclusions using ellipsoidal approximations","author":"Botchkarev","year":"2000"},{"key":"10.1016\/S1367-5788(02)00030-5_BIB6","series-title":"Hybrid Systems: Computation and Control","first-page":"46","article-title":"Orthogonal polyhedra: Representation and computation","author":"Bournez","year":"1999"},{"key":"10.1016\/S1367-5788(02)00030-5_BIB7","series-title":"Computer Aided Verification","year":"2002"},{"key":"10.1016\/S1367-5788(02)00030-5_BIB8","series-title":"Computing polyhedral approximations to dynamic flow pipes","author":"Chutinan","year":"1998"},{"key":"10.1016\/S1367-5788(02)00030-5_BIB9","series-title":"Hybrid Systems: Computation and Control","first-page":"76","article-title":"Verification of polyhedral invariant hybrid automata using polygonal flow pipe approximations","author":"Chutinan","year":"1999"},{"key":"10.1016\/S1367-5788(02)00030-5_BIB10","author":"Clarke","year":"1999"},{"key":"10.1016\/S1367-5788(02)00030-5_BIB11","series-title":"Verification and Synthesis of Hybrid Systems","author":"Dang","year":"2000"},{"key":"10.1016\/S1367-5788(02)00030-5_BIB12","series-title":"Hybrid Systems: Computation and Control","first-page":"96","article-title":"Reachability analysis via face lifting","author":"Dang","year":"1998"},{"key":"10.1016\/S1367-5788(02)00030-5_BIB13","series-title":"Computer Aided Verification","first-page":"277","article-title":"Verifying safety properties of differential equations","author":"Greenstreet","year":"1996"},{"key":"10.1016\/S1367-5788(02)00030-5_BIB14","doi-asserted-by":"crossref","first-page":"110","DOI":"10.1007\/s100090050008","article-title":"HyTech: A model checker for hybrid systems","volume":"1","author":"Henzinger","year":"1997","journal-title":"Software Tools for Technology Transfer"},{"key":"10.1016\/S1367-5788(02)00030-5_BIB15","author":"Isaacs","year":"1965"},{"key":"10.1016\/S1367-5788(02)00030-5_BIB16","author":"Kurshan","year":"1994"},{"key":"10.1016\/S1367-5788(02)00030-5_BIB17","author":"Kurzhanski","year":"1997"},{"key":"10.1016\/S1367-5788(02)00030-5_BIB18","series-title":"A unified approach for studying discrete and continuous dynamical systems","author":"Maler","year":"1998"},{"key":"10.1016\/S1367-5788(02)00030-5_BIB19","author":"Manna","year":"1995"},{"key":"10.1016\/S1367-5788(02)00030-5_BIB20","author":"McMillan","year":"1993"},{"key":"10.1016\/S1367-5788(02)00030-5_BIB21","series-title":"Hybrid Systems: Computation and Control","first-page":"311","article-title":"Level set method for computation in hybrid systems","author":"Mitchell","year":"2000"},{"key":"10.1016\/S1367-5788(02)00030-5_BIB22","series-title":"The control of discrete event systems","first-page":"81","volume":"77","author":"Ramadge","year":"1989"},{"key":"10.1016\/S1367-5788(02)00030-5_BIB23","series-title":"Hybrid Systems: Computation and Control","year":"2002"},{"key":"10.1016\/S1367-5788(02)00030-5_BIB24","series-title":"A game-theoretic approach to controller design for hybrid systems","first-page":"940","volume":"88","author":"Tomlin","year":"2000"},{"key":"10.1016\/S1367-5788(02)00030-5_BIB25","series-title":"Reach set computation using optimal control","first-page":"377","author":"Varaiya","year":"1998"}],"container-title":["Annual Reviews in Control"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1367578802000305?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1367578802000305?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,27]],"date-time":"2019-03-27T06:59:12Z","timestamp":1553669952000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1367578802000305"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,1]]},"references-count":25,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2002,1]]}},"alternative-id":["S1367578802000305"],"URL":"https:\/\/doi.org\/10.1016\/s1367-5788(02)00030-5","relation":{},"ISSN":["1367-5788"],"issn-type":[{"value":"1367-5788","type":"print"}],"subject":[],"published":{"date-parts":[[2002,1]]}}}