{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T06:23:12Z","timestamp":1729664592083,"version":"3.28.0"},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,4]]},"DOI":"10.1109\/icnsc.2013.6548712","type":"proceedings-article","created":{"date-parts":[[2013,7,9]],"date-time":"2013-07-09T14:57:54Z","timestamp":1373381874000},"page":"65-70","source":"Crossref","is-referenced-by-count":0,"title":["Control of a class of hybrid systems application to a water supply system"],"prefix":"10.1109","author":[{"given":"S.","family":"Batis","sequence":"first","affiliation":[]},{"given":"H.","family":"Alla","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","first-page":"2008","article-title":"PHAVer: Algorithmic Verification of Hybrid Systems past Hytech","volume":"10","author":"frehse","year":"0","journal-title":"International Journal on Software Tools for Technology Transfer (STTT)"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/9.272327"},{"key":"10","first-page":"375","article-title":"Timed control for rectangular hybrid systems","author":"batis","year":"0","journal-title":"14th IFAC Symposium on Information Control Problems in Manufacturing INCOM'12 Bucharest"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"7","first-page":"320","article-title":"Rectangular hybrid games","volume":"1664","author":"henzinger","year":"1999","journal-title":"Proceedings of the Tenth International Conference on Concurrency Theory Lecture Notes in Computer Science"},{"key":"6","doi-asserted-by":"crossref","first-page":"582","DOI":"10.1007\/3-540-63165-8_213","article-title":"Discrete-time control for rectangular hybrid automata","volume":"1256","author":"henzinger","year":"1997","journal-title":"Proceedings of the 241h International Colloquium on Automata Languages and Programming Lecture Notes in Computer Science"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1996.561342"},{"key":"4","first-page":"13","author":"ch gilbert","year":"0","journal-title":"Ensembles Con Vexes Elements d'Optimisation Differenciable Theorie et Algorithmes"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ICIT.2000.854195"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2000.912728"}],"event":{"name":"2013 IEEE 10th International Conference on Networking, Sensing and Control (ICNSC 2013)","start":{"date-parts":[[2013,4,10]]},"location":"Evry","end":{"date-parts":[[2013,4,12]]}},"container-title":["2013 10th IEEE INTERNATIONAL CONFERENCE ON NETWORKING, SENSING AND CONTROL (ICNSC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6530812\/6548700\/06548712.pdf?arnumber=6548712","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T15:58:12Z","timestamp":1498060692000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6548712\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,4]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/icnsc.2013.6548712","relation":{},"subject":[],"published":{"date-parts":[[2013,4]]}}}