{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,18]],"date-time":"2025-10-18T23:07:41Z","timestamp":1760828861085,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,12]]},"DOI":"10.1109\/cdc.2010.5717614","type":"proceedings-article","created":{"date-parts":[[2011,2,22]],"date-time":"2011-02-22T17:37:42Z","timestamp":1298396262000},"page":"4180-4185","source":"Crossref","is-referenced-by-count":9,"title":["The fundamentals of hybrid systems modelers"],"prefix":"10.1109","author":[{"given":"Albert","family":"Benveniste","sequence":"first","affiliation":[]},{"given":"Benoit","family":"Caillaud","sequence":"additional","affiliation":[]},{"given":"Marc","family":"Pouzet","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1561\/1000000001"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)00050-7"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/43.736561"},{"key":"ref13","first-page":"25","article-title":"Operational semantics of hybrid systems","author":"lee","year":"2005","journal-title":"HSCC"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/1289927.1289949"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139172110.002"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139172110"},{"key":"ref17","article-title":"Modeling Hybrid Automata in Scicos","author":"najafi","year":"2007","journal-title":"IEEE Multi-conference on Systems and Control"},{"key":"ref18","first-page":"376","article-title":"Towards Computational Hybrid System Semantics for Time-Based Block Diagrams","author":"mosterman","year":"2009","journal-title":"3rd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS'09)"},{"journal-title":"Modeling And Simulation in Scilab\/Scicos","year":"2006","author":"campbell","key":"ref19"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1006\/inco.2000.9999"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/9.664162"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90030-J"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805826"},{"journal-title":"Un cadre formel pour l'étude des systèmes industriels complexes un exemple basé sur l'infrastructure de l'UMTS","year":"2006","author":"bliudze","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0014318"},{"journal-title":"Extended version of this paper","year":"2010","author":"benveniste","key":"ref2"},{"key":"ref1","doi-asserted-by":"crossref","DOI":"10.1515\/9781400884223","author":"robinson","year":"1996","journal-title":"Non Standard Analysis Princeton Landmarks in Mathematics"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"251","DOI":"10.3233\/FI-2009-0043","article-title":"Modelling of complex systems: Systems as dataflow machines","volume":"91","author":"bliudze","year":"2009","journal-title":"Fundam Inform"}],"event":{"name":"2010 49th IEEE Conference on Decision and Control (CDC)","start":{"date-parts":[[2010,12,15]]},"location":"Atlanta, GA, USA","end":{"date-parts":[[2010,12,17]]}},"container-title":["49th IEEE Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5707200\/5716927\/05717614.pdf?arnumber=5717614","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,16]],"date-time":"2020-06-16T20:40:05Z","timestamp":1592340005000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5717614\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,12]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/cdc.2010.5717614","relation":{},"subject":[],"published":{"date-parts":[[2010,12]]}}}