{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,16]],"date-time":"2026-02-16T16:28:45Z","timestamp":1771259325415,"version":"3.50.1"},"reference-count":65,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"9","license":[{"start":{"date-parts":[[2018,9,1]],"date-time":"2018-09-01T00:00:00Z","timestamp":1535760000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Proc. IEEE"],"published-print":{"date-parts":[[2018,9]]},"DOI":"10.1109\/jproc.2018.2858016","type":"journal-article","created":{"date-parts":[[2018,9,17]],"date-time":"2018-09-17T18:37:36Z","timestamp":1537209456000},"page":"1568-1592","source":"Crossref","is-referenced-by-count":8,"title":["Building a Hybrid Systems Modeler on Synchronous Languages Principles"],"prefix":"10.1109","volume":"106","author":[{"given":"Albert","family":"Benveniste","sequence":"first","affiliation":[]},{"given":"Timothy","family":"Bourke","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3234-5033","authenticated-orcid":false,"given":"Benoit","family":"Caillaud","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3848-1826","authenticated-orcid":false,"given":"Jean-Louis","family":"Colaco","sequence":"additional","affiliation":[]},{"given":"Cedric","family":"Pasteur","sequence":"additional","affiliation":[]},{"given":"Marc","family":"Pouzet","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","first-page":"46","article-title":"Actors without directors: A Kahnian view of heterogeneous systems","volume":"5469","author":"caspi","year":"2009","journal-title":"Proc Hybrid Syst Comput Control 12th Int Conf (HSCC)"},{"key":"ref38","year":"2010","journal-title":"Simulink 7—User’s Guide"},{"key":"ref33","first-page":"447","article-title":"From timed to hybrid systems","volume":"600","author":"maler","year":"1991","journal-title":"REX Workshop"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2014.2345759"},{"key":"ref31","first-page":"376","article-title":"Towards computational hybrid system semantics for time-based block diagrams","author":"mosterman","year":"2009","journal-title":"Proc 3rd IFAC Conf Anal Des Hybrid Syst"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2011.04.013"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/2429069.2429120"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139172110.002"},{"key":"ref35","doi-asserted-by":"crossref","DOI":"10.1515\/9781400884223","author":"robinson","year":"1996","journal-title":"Nonstandard Analysis"},{"key":"ref34","volume":"1","author":"dahlquist and\u00e5 bj\u00f6rck","year":"2008","journal-title":"Numerical Methods in Scientific Computing"},{"key":"ref60","author":"cellier","year":"2006","journal-title":"Continuous System Simulation"},{"key":"ref62","doi-asserted-by":"crossref","DOI":"10.3384\/ecp15118459","article-title":"Simulation of large-scale models in modelica: State of the art and future perspectives","author":"casella","year":"2015","journal-title":"Proc 11th Int Modelica Conf"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1177\/0037549714536255"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1145\/2904081.2904091"},{"key":"ref28","doi-asserted-by":"crossref","first-page":"328","DOI":"10.1007\/3-540-36580-X_25","article-title":"On the causality of mixed-signal and hybrid models","volume":"2623","author":"liu","year":"2003","journal-title":"Proc 6th Int Workshop Hybrid Systems Computation Control (HSCC)"},{"key":"ref64","first-page":"253","article-title":"Structural analysis of multi-mode DAE systems","author":"benveniste","year":"2017","journal-title":"Proc 20th Int Conf Hybrid Syst Comput Control (HSCC)"},{"key":"ref27","author":"ptolemaeus","year":"2014","journal-title":"System Design Modeling and Simulation Using Ptolemy II"},{"key":"ref65","doi-asserted-by":"crossref","DOI":"10.1145\/3049797.3049806","article-title":"Structural analysis of multi-mode DAE systems","author":"benveniste","year":"2017"},{"key":"ref29","year":"2017","journal-title":"Simulink Developing S-Functions"},{"key":"ref2","author":"\u00e5str\u00f6m","year":"2014","journal-title":"Modeling and Simulation From Physics to Software"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1561\/1000000001","article-title":"Languages and tools for hybrid systems design","volume":"1","author":"carloni","year":"2006","journal-title":"Found Trends Electron Design Autom"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/1089014.1089020"},{"key":"ref22","article-title":"Heterogeneous concurrent modeling and design in Java","author":"brooks","year":"2004"},{"key":"ref21","first-page":"113","article-title":"Zélus: A synchronous language with ODEs","author":"bourke","year":"2013","journal-title":"Hybrid Syst Comput Control"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/43.736561"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2017.04.004"},{"key":"ref26","author":"halbwachs","year":"2002","journal-title":"A Tutorial of Lustre"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/5.97300"},{"key":"ref50","first-page":"121","article-title":"Clock-directed modular code generation of synchronous data-flow languages","author":"biernacki","year":"2008","journal-title":"Proc Conf Lang Compil Tools Embedded Syst (LCTES)"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1145\/1086228.1086261"},{"key":"ref59","volume":"69","author":"acary","year":"2010","journal-title":"Nonsmooth Modeling and Simulation for Switched Circuits"},{"key":"ref58","volume":"35","author":"vincent","year":"2008","journal-title":"Numerical Methods for Nonsmooth Dynamical Systems Applications in Mechanics and Electronics"},{"key":"ref57","article-title":"A synchronous look at the simulink standard library","author":"bourke","year":"2017","journal-title":"Proc ACM Int Conf Embedded Softw (EMSOFT)"},{"key":"ref56","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1145\/207110.207134","article-title":"Implementation of the data-flow synchronous language signal","author":"amagbegnon","year":"1995","journal-title":"Proc Program Lang Design Implement (PLDI)"},{"key":"ref55","author":"potop-butucaru","year":"2007","journal-title":"Compiling Esterel"},{"key":"ref54","first-page":"328","article-title":"Constructive analysis of cyclic circuits","author":"shiple","year":"1996","journal-title":"Proc Int l Design and Testing Conf (ITDC)"},{"key":"ref53","article-title":"The constructive semantics of pure Esterel","author":"berry","year":"1999"},{"key":"ref52","article-title":"Lucid synchrone, version 3. Tutorial and reference manual","author":"pouzet","year":"2006"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2011.08.009"},{"key":"ref11","year":"1999","journal-title":"Structured Analysis and Design Using MATLAB\/Simulink\/Stateflow Modelling Style Guidelines Version 2 4 2"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2015.01.036"},{"key":"ref12","year":"2001","journal-title":"Controller Style Guidelines for Production Intent Using MATLAB Simulink and Stateflow"},{"key":"ref13","first-page":"7","article-title":"On modelling guidelines: Flowchart patterns for STATEFLOW","volume":"21","author":"buck","year":"2001","journal-title":"Gesellschaft für Informatik FG 2 1 1 Softwaretechnik Trends"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805826"},{"key":"ref15","first-page":"1","article-title":"SCADE 6: A formal language for embedded critical software development","author":"colaco","year":"2017","journal-title":"Proc IEEE Int Symp Theor Aspects Softw Eng (TASE)"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1145\/1967677.1967687","article-title":"Divide and recycle: Types and compilation for a hybrid synchronous language","author":"benveniste","year":"2011","journal-title":"Proc Lang Compilers Tools for Embedded Syst (LCTES)"},{"key":"ref17","first-page":"137","article-title":"A hybrid synchronous language with hierarchical automata: Static typing and translation to synchronous code","author":"benveniste","year":"2011","journal-title":"Proc EMSOFT"},{"key":"ref18","first-page":"71","article-title":"A type-based analysis of causality loops in hybrid systems modelers","author":"benveniste","year":"2014","journal-title":"Proc 17th Int Conf Hybrid Syst Comput Control (Part CPS Week) (HSCC)"},{"key":"ref19","first-page":"69","article-title":"A synchronous-based code generator for explicit hybrid systems languages","volume":"9031","author":"bourke","year":"2015","journal-title":"Proc Held Part Eur Joint Conf Theory Pract Softw (ETAPS) Compiler Construct 24th Int Conf (CC)"},{"key":"ref4","first-page":"9","article-title":"Operational semantics of hybrid systems","volume":"3414","author":"lee","year":"2005","journal-title":"Hybrid Systems Computation and Control (HSCC)"},{"key":"ref3","first-page":"11","article-title":"Real Time programming: Special purpose or general purpose languages","author":"berry","year":"1989","journal-title":"Proc IFIP Congr"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2248418.2248437"},{"key":"ref5","author":"ljung","year":"1999","journal-title":"System Identification—Theory for the User"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1289927.1289949"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"376","DOI":"10.3182\/20090916-3-ES-3003.00065","article-title":"Towards computational hybrid system semantics for time-based block diagrams","volume":"42","author":"mosterman","year":"2009","journal-title":"IFAC Proc Volumes"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511615542"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"779","DOI":"10.1145\/1113830.1113834","article-title":"Translating discrete-time simulink to lustre","volume":"4","author":"caspi","year":"2005","journal-title":"ACM Trans Embedded Comput Syst"},{"key":"ref46","year":"2010","journal-title":"Functional Mock-up Interface for Model Exchange and Co-Simulation v2 0"},{"key":"ref45","year":"2010","journal-title":"Functional Mock-up Interfacefor Model Exchange 1 0"},{"key":"ref48","article-title":"Sundials\/ML: Interfacing with numerical solvers","author":"bourke","year":"2016","journal-title":"Proc of ACM MLBS Workshop"},{"key":"ref47","year":"2010","journal-title":"Functional Mock-up Interface for Co-Simulation v1 0"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.2307\/1995158"},{"key":"ref41","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1007\/s10009-004-0160-y","article-title":"Type-based initialization analysis of a synchronous data-flow language","volume":"6","author":"cola\u00e7o","year":"2004","journal-title":"Int J Softw Tools Technol Transfer"},{"key":"ref44","year":"2017","journal-title":"Stateflow User’s Guide (R2017b)"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(78)90014-4"}],"container-title":["Proceedings of the IEEE"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/5\/8466984\/08466987.pdf?arnumber=8466987","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,5]],"date-time":"2023-09-05T05:28:07Z","timestamp":1693891687000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8466987\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9]]},"references-count":65,"journal-issue":{"issue":"9"},"URL":"https:\/\/doi.org\/10.1109\/jproc.2018.2858016","relation":{},"ISSN":["0018-9219","1558-2256"],"issn-type":[{"value":"0018-9219","type":"print"},{"value":"1558-2256","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,9]]}}}