{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T21:04:16Z","timestamp":1729631056618,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,8]]},"DOI":"10.1109\/case.2011.6042430","type":"proceedings-article","created":{"date-parts":[[2011,10,13]],"date-time":"2011-10-13T16:57:26Z","timestamp":1318525046000},"page":"419-424","source":"Crossref","is-referenced-by-count":1,"title":["Continuous flow systems and control methodology using Hybrid Petri nets"],"prefix":"10.1109","author":[{"given":"Latefa","family":"Ghomri","sequence":"first","affiliation":[]},{"given":"Hassane","family":"Alla","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1007\/3-540-57318-6_30","article-title":"Hybrid Automata: An algorithmic approach to the Specification and verification of hybrid systems","volume":"736","author":"alur","year":"2003","journal-title":"Hybrid Systems LNCS"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00202-T"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1996.561342"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/225058.225162"},{"key":"ref14","article-title":"Optimal Control Using Hybrid Petris Nets","author":"ghomri","year":"2011","journal-title":"internal report Gipsa-Lab"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/70.864231"},{"key":"ref4","first-page":"233","article-title":"On-the-Fly Controller Synthesis for Discrete and Dense-Time Systems","author":"altisen","year":"1999","journal-title":"Proceedings of the World Congress on Formal Methods in the Development of Computing System (FM'99) vol 1708 in Lecture Notes in Computer Science"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/3-540-48983-5_6","article-title":"As Soon as Possible: Time Optimal Control for Timed Automata","volume":"1569","author":"asarin","year":"1999","journal-title":"Proceedings of the 2nd International Workshop on Hybrid Systems Computation and Control (HSCC'99)"},{"article-title":"Language Overview for PHAver","year":"2006","author":"frehse","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2006.04.004"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1997.649708"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/9.272327"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"article-title":"Discrete, Continuous and Hybrid Petri Nets, second edition","year":"2010","author":"david","key":"ref9"}],"event":{"name":"2011 IEEE International Conference on Automation Science and Engineering (CASE 2011)","start":{"date-parts":[[2011,8,24]]},"location":"Trieste, Italy","end":{"date-parts":[[2011,8,27]]}},"container-title":["2011 IEEE International Conference on Automation Science and Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6033676\/6042395\/06042430.pdf?arnumber=6042430","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T03:55:48Z","timestamp":1497930948000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6042430\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,8]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/case.2011.6042430","relation":{},"subject":[],"published":{"date-parts":[[2011,8]]}}}