Building a Hybrid Systems Modeler on Synchronous Languages Principles

Hybrid systems modeling languages that mix discrete and continuous time signals and systems are widely used to develop cyber-physical systems where control software interacts with physical devices. Compilers play a central role, statically checking source models, generating intermediate representati...

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	Proceedings of the IEEE Ročník 106; číslo 9; s. 1568 - 1592
Hlavní autori:	Benveniste, Albert, Bourke, Timothy, Caillaud, Benoit, Colaco, Jean-Louis, Pasteur, Cedric, Pouzet, Marc
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	New York IEEE 01.09.2018 The Institute of Electrical and Electronics Engineers, Inc. (IEEE) Institute of Electrical and Electronics Engineers
Edícia:	Design Automation for Cyber-Physical Systems
Predmet:	Combinatorial analysis Compilers Computational modeling Computer models Computer Science Computer simulation Cyber-physical systems Differential equations Discrete-time systems Embedded Systems Hybrid systems Language Luster Mathematical model Modeling and Simulation nonlinear dynamical systems Numerical models Ordinary differential equations Programming Programming Languages Semantics systems modeling Systems modelling Time signals HybridLang Hybrid Systems Synchronous Languages Numerical Simulation
ISSN:	0018-9219, 1558-2256
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Abstract	Hybrid systems modeling languages that mix discrete and continuous time signals and systems are widely used to develop cyber-physical systems where control software interacts with physical devices. Compilers play a central role, statically checking source models, generating intermediate representations for testing and verification, and producing sequential code for simulation and execution on target platforms. This paper presents a novel approach to the design and implementation of a hybrid systems language, built on synchronous language principles and their proven compilation techniques. The result is a hybrid systems modeling language in which synchronous programming constructs can be mixed with ordinary differential equations (ODEs) and zero-crossing events, and a runtime that delegates their approximation to an off-the-shelf numerical solver. We propose an ideal semantics based on nonstandard analysis, which defines the execution of a hybrid model as an infinite sequence of infinitesimally small time steps. It is used to specify and prove correct three essential compilation steps: 1) a type system that guarantees that a continuous-time signal is never used where a discrete-time one is expected and conversely; 2) a type system that ensures the absence of combinatorial loops; and 3) the generation of statically scheduled code for efficient execution. Our approach has been evaluated in two implementations: the academic language Zélus, which extends a language reminiscent of Lustre with ODEs and zero-crossing events, and the industrial prototype Scade Hybrid, a conservative extension of Scade 6.
AbstractList	Hybrid systems modeling languages that mix discrete and continuous time signals and systems are widely used to develop Cyber-Physical systems where control software interacts with physical devices. Compilers play a central role, statically checking source models, generating intermediate representations for testing and verification, and producing sequential code for simulation and execution on target platforms.This paper presents a novel approach to the design and implementation of a hybrid systems language, built on synchronous language principles and their proven compilation techniques. The result is a hybrid systems modeling language in which synchronous programming constructs can be mixed with Ordinary Differential Equations (ODEs) and zero-crossing events, and a runtime that delegates their approximation to an off-the-shelf numerical solver.We propose an ideal semantics based on non standard analysis, which defines the execution of a hybrid model as an infinite sequence of infinitesimally small time steps. It is used to specify and prove correct three essential compilation steps: (1) a type system that guarantees that a continuous-time signal is never used where a discrete-time one is expected and conversely; (2) a type system that ensures the absence of combinatorial loops; (3) the generation of statically scheduled code for efficient execution.Our approach has been evaluated in two implementations: the academic language Zélus, which extends a language reminiscent of Lustre with ODEs and zero-crossing events, and the industrial prototype Scade Hybrid, a conservative extension of Scade 6. Hybrid systems modeling languages that mix discrete and continuous time signals and systems are widely used to develop cyber-physical systems where control software interacts with physical devices. Compilers play a central role, statically checking source models, generating intermediate representations for testing and verification, and producing sequential code for simulation and execution on target platforms. This paper presents a novel approach to the design and implementation of a hybrid systems language, built on synchronous language principles and their proven compilation techniques. The result is a hybrid systems modeling language in which synchronous programming constructs can be mixed with ordinary differential equations (ODEs) and zero-crossing events, and a runtime that delegates their approximation to an off-the-shelf numerical solver. We propose an ideal semantics based on nonstandard analysis, which defines the execution of a hybrid model as an infinite sequence of infinitesimally small time steps. It is used to specify and prove correct three essential compilation steps: 1) a type system that guarantees that a continuous-time signal is never used where a discrete-time one is expected and conversely; 2) a type system that ensures the absence of combinatorial loops; and 3) the generation of statically scheduled code for efficient execution. Our approach has been evaluated in two implementations: the academic language Zélus, which extends a language reminiscent of Lustre with ODEs and zero-crossing events, and the industrial prototype Scade Hybrid, a conservative extension of Scade 6.
Author	Bourke, Timothy Caillaud, Benoit Pouzet, Marc Colaco, Jean-Louis Pasteur, Cedric Benveniste, Albert
Author_xml	– sequence: 1 givenname: Albert surname: Benveniste fullname: Benveniste, Albert email: albert.benveniste@inria.fr organization: Inria, Rennes, France – sequence: 2 givenname: Timothy surname: Bourke fullname: Bourke, Timothy email: timothy.bourke@ens.fr organization: Inria, Paris, France – sequence: 3 givenname: Benoit orcidid: 0000-0002-3234-5033 surname: Caillaud fullname: Caillaud, Benoit email: benoit.caillaud@inria.fr organization: Inria, Rennes, France – sequence: 4 givenname: Jean-Louis orcidid: 0000-0003-3848-1826 surname: Colaco fullname: Colaco, Jean-Louis organization: ANSYS/Esterel-Technologies, Toulouse, France – sequence: 5 givenname: Cedric surname: Pasteur fullname: Pasteur, Cedric organization: ANSYS/Esterel-Technologies, Toulouse, France – sequence: 6 givenname: Marc surname: Pouzet fullname: Pouzet, Marc email: marc.pouzet@ens.fr organization: école normale supérieure, PSL University, Paris, France
BackLink	https://inria.hal.science/hal-01879026$$DView record in HAL
BookMark	eNp9kMtOwzAQRS0EEqXwA7CJxIpFih-x4yxLVSioqBWPteU4TusqtYudIPXvcWlhwYLNjDRzz-jOPQPH1lkNwCWCA4Rgcfs0f5mNBhgiPsCccojYEeghSnmKMWXHoAfjKi0wKk7BWQgrCCGhjPTA-K4zTWXsIpHJZFt6UyWv29DqdUieXaUb7RNn48iqpXfWdSGZSrvo5EKHZO6NVWbT6HAOTmrZBH1x6H3wfj9-G03S6ezhcTScporkpE0VU4TwsipLSDDGNcpUoWRVUpxVBUUFqnAFY81LWsO65rpmGeE5i0wGc4pJH9zs7y5lIzberKXfCieNmAynYjeLX-YFxOwTRe31Xrvx7qPToRUr13kb7QmMUI5yirIsqvhepbwLwetaKNPK1jjbemkagaDYBSy-Axa7gMUh4IjiP-iPo3-hqz1ktNa_AM8YK3hOvgDg8IdF
CODEN	IEEPAD
CitedBy_id	crossref_primary_10_1007_s10626_023_00375_x crossref_primary_10_1016_j_entcom_2024_100711 crossref_primary_10_1145_3737698 crossref_primary_10_2478_acss_2019_0001
Cites_doi	10.1145/1086228.1086261 10.1017/CBO9780511615542 10.1016/j.conengprac.2011.04.013 10.1145/3049797.3049806 10.1515/9781400884223 10.1561/1000000001 10.1016/j.tcs.2015.01.036 10.1145/2429069.2429120 10.3384/ecp15118459 10.1007/s10009-004-0160-y 10.1016/0022-0000(78)90014-4 10.1145/1113830.1113834 10.1145/1289927.1289949 10.1109/43.736561 10.1145/207110.207134 10.1145/1967677.1967687 10.1145/2248418.2248437 10.1177/0037549714536255 10.1016/j.nahs.2017.04.004 10.1109/ACCESS.2014.2345759 10.1145/1089014.1089020 10.1109/JPROC.2002.805826 10.1145/2904081.2904091 10.3182/20090916-3-ES-3003.00065 10.1109/5.97300 10.1017/CBO9781139172110.002 10.2307/1995158 10.1007/3-540-36580-X_25 10.1016/j.jcss.2011.08.009
ContentType	Journal Article
Copyright	Copyright The Institute of Electrical and Electronics Engineers, Inc. (IEEE) 2018 Distributed under a Creative Commons Attribution 4.0 International License
Copyright_xml	– notice: Copyright The Institute of Electrical and Electronics Engineers, Inc. (IEEE) 2018 – notice: Distributed under a Creative Commons Attribution 4.0 International License
DBID	97E RIA RIE AAYXX CITATION 7SP 8FD L7M 1XC VOOES
DOI	10.1109/JPROC.2018.2858016
DatabaseName	IEEE Xplore (IEEE) IEEE All-Society Periodicals Package (ASPP) 1998–Present IEEE Electronic Library (IEL) CrossRef Electronics & Communications Abstracts Technology Research Database Advanced Technologies Database with Aerospace Hyper Article en Ligne (HAL) Hyper Article en Ligne (HAL) (Open Access)
DatabaseTitle	CrossRef Technology Research Database Advanced Technologies Database with Aerospace Electronics & Communications Abstracts
DatabaseTitleList	Technology Research Database
Database_xml	– sequence: 1 dbid: RIE name: IEEE Electronic Library (IEL) url: https://ieeexplore.ieee.org/ sourceTypes: Publisher
DeliveryMethod	fulltext_linktorsrc
Discipline	Engineering Computer Science
EISSN	1558-2256
EndPage	1592
ExternalDocumentID	oai:HAL:hal-01879026v1 10_1109_JPROC_2018_2858016 8466987
Genre	orig-research
GroupedDBID	-DZ -~X .DC 0R~ 123 1OL 29P 3EH 4.4 6IK 85S 97E 9M8 AAJGR AAWTH ABAZT ABFSI ABJNI ABQJQ ABVLG ACBEA ACGFS AENEX AETEA AETIX AFOGA AGNAY AGQYO AGSQL AHBIQ AIBXA ALLEH ALMA_UNASSIGNED_HOLDINGS AZLTO BEFXN BFFAM BGNUA BKEBE BPEOZ CS3 DU5 EBS EJD FA8 HZ~ H~9 IAAWW IBMZZ ICLAB IDIHD IFIPE IFJZH IPLJI JAVBF LAI M43 MVM O9- OCL RIA RIE RIU RNS TAE TN5 TWZ UDY UHB UKR UQL VOH WHG XJT XOL YNT ZCA ZXP ZY4 ~02 AAYXX CITATION 7SP 8FD L7M RIG 1XC VOOES
ID	FETCH-LOGICAL-c373t-c6c338bdbb03222f14c9cadb524d95191d2d091d7b5f0ff8ef64387638b407523
IEDL.DBID	RIE
ISICitedReferencesCount	6
ISICitedReferencesURI	http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000445274600007&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN	0018-9219
IngestDate	Sat Oct 25 11:34:01 EDT 2025 Fri Jul 25 18:58:42 EDT 2025 Sat Nov 29 03:15:13 EST 2025 Tue Nov 18 20:45:56 EST 2025 Wed Aug 27 02:43:12 EDT 2025
IsDoiOpenAccess	true
IsOpenAccess	true
IsPeerReviewed	true
IsScholarly	true
Issue	9
Keywords	HybridLang Hybrid Systems Synchronous Languages Numerical Simulation
Language	English
License	https://ieeexplore.ieee.org/Xplorehelp/downloads/license-information/IEEE.html Distributed under a Creative Commons Attribution 4.0 International License: http://creativecommons.org/licenses/by/4.0
LinkModel	DirectLink
MergedId	FETCHMERGED-LOGICAL-c373t-c6c338bdbb03222f14c9cadb524d95191d2d091d7b5f0ff8ef64387638b407523
Notes	ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 14
ORCID	0000-0002-3234-5033 0000-0003-3848-1826 0000-0003-0601-4182
OpenAccessLink	https://inria.hal.science/hal-01879026
PQID	2117175144
PQPubID	85453
PageCount	25
ParticipantIDs	crossref_citationtrail_10_1109_JPROC_2018_2858016 hal_primary_oai_HAL_hal_01879026v1 proquest_journals_2117175144 crossref_primary_10_1109_JPROC_2018_2858016 ieee_primary_8466987
PublicationCentury	2000
PublicationDate	2018-09-01
PublicationDateYYYYMMDD	2018-09-01
PublicationDate_xml	– month: 09 year: 2018 text: 2018-09-01 day: 01
PublicationDecade	2010
PublicationPlace	New York
PublicationPlace_xml	– name: New York
PublicationSeriesTitle	Design Automation for Cyber-Physical Systems
PublicationTitle	Proceedings of the IEEE
PublicationTitleAbbrev	JPROC
PublicationYear	2018
Publisher	IEEE The Institute of Electrical and Electronics Engineers, Inc. (IEEE) Institute of Electrical and Electronics Engineers
Publisher_xml	– name: IEEE – name: The Institute of Electrical and Electronics Engineers, Inc. (IEEE) – name: Institute of Electrical and Electronics Engineers
References	ref14 benveniste (ref17) 2011 ref10 åström (ref2) 2014 (ref29) 2017 cellier (ref60) 2006 mosterman (ref7) 2009; 42 (ref46) 2010 ref51 (ref12) 2001 dahlquist andå björck (ref34) 2008; 1 bourke (ref21) 2013 bourke (ref19) 2015; 9031 ref42 ref43 ljung (ref5) 1999 ref49 (ref45) 2010 benveniste (ref64) 2017 ref8 pouzet (ref52) 2006 ref6 liu (ref28) 2003; 2623 (ref11) 1999 caspi (ref39) 2009; 5469 ref40 benveniste (ref16) 2011 buck (ref13) 2001; 21 bourke (ref57) 2017 mosterman (ref31) 2009 ref37 ref36 ref30 halbwachs (ref26) 2002 ref32 amagbegnon (ref56) 1995 (ref44) 2017 caspi (ref9) 2005; 4 berry (ref53) 1999 biernacki (ref50) 2008 acary (ref59) 2010; 69 colaco (ref15) 2017 ptolemaeus (ref27) 2014 berry (ref3) 1989 benveniste (ref65) 2017 ref24 ref23 ref25 benveniste (ref18) 2014 ref20 (ref38) 2010 ref63 carloni (ref1) 2006; 1 brooks (ref22) 2004 vincent (ref58) 2008; 35 potop-butucaru (ref55) 2007 bourke (ref48) 2016 shiple (ref54) 1996 casella (ref62) 2015 maler (ref33) 1991; 600 robinson (ref35) 1996 ref61 lee (ref4) 2005; 3414 (ref47) 2010 colaço (ref41) 2004; 6
References_xml	– ident: ref51 doi: 10.1145/1086228.1086261 – ident: ref49 doi: 10.1017/CBO9780511615542 – start-page: 11 year: 1989 ident: ref3 article-title: Real Time programming: Special purpose or general purpose languages publication-title: Proc IFIP Congr – ident: ref30 doi: 10.1016/j.conengprac.2011.04.013 – year: 2017 ident: ref65 article-title: Structural analysis of multi-mode DAE systems doi: 10.1145/3049797.3049806 – start-page: 121 year: 2008 ident: ref50 article-title: Clock-directed modular code generation of synchronous data-flow languages publication-title: Proc Conf Lang Compil Tools Embedded Syst (LCTES) – volume: 9031 start-page: 69 year: 2015 ident: ref19 article-title: A synchronous-based code generator for explicit hybrid systems languages publication-title: Proc Held Part Eur Joint Conf Theory Pract Softw (ETAPS) Compiler Construct 24th Int Conf (CC) – year: 2010 ident: ref47 publication-title: Functional Mock-up Interface for Co-Simulation v1 0 – year: 1996 ident: ref35 publication-title: Nonstandard Analysis doi: 10.1515/9781400884223 – volume: 1 start-page: 1 year: 2006 ident: ref1 article-title: Languages and tools for hybrid systems design publication-title: Found Trends Electron Design Autom doi: 10.1561/1000000001 – year: 2016 ident: ref48 article-title: Sundials/ML: Interfacing with numerical solvers publication-title: Proc of ACM MLBS Workshop – volume: 35 year: 2008 ident: ref58 publication-title: Numerical Methods for Nonsmooth Dynamical Systems Applications in Mechanics and Electronics – year: 2017 ident: ref29 publication-title: Simulink Developing S-Functions – ident: ref40 doi: 10.1016/j.tcs.2015.01.036 – volume: 3414 start-page: 9 year: 2005 ident: ref4 article-title: Operational semantics of hybrid systems publication-title: Hybrid Systems Computation and Control (HSCC) – ident: ref37 doi: 10.1145/2429069.2429120 – start-page: 328 year: 1996 ident: ref54 article-title: Constructive analysis of cyclic circuits publication-title: Proc Int l Design and Testing Conf (ITDC) – year: 2015 ident: ref62 article-title: Simulation of large-scale models in modelica: State of the art and future perspectives publication-title: Proc 11th Int Modelica Conf doi: 10.3384/ecp15118459 – volume: 6 start-page: 245 year: 2004 ident: ref41 article-title: Type-based initialization analysis of a synchronous data-flow language publication-title: Int J Softw Tools Technol Transfer doi: 10.1007/s10009-004-0160-y – year: 2010 ident: ref38 publication-title: Simulink 7-User's Guide – ident: ref43 doi: 10.1016/0022-0000(78)90014-4 – start-page: 137 year: 2011 ident: ref17 article-title: A hybrid synchronous language with hierarchical automata: Static typing and translation to synchronous code publication-title: Proc EMSOFT – volume: 4 start-page: 779 year: 2005 ident: ref9 article-title: Translating discrete-time simulink to lustre publication-title: ACM Trans Embedded Comput Syst doi: 10.1145/1113830.1113834 – ident: ref8 doi: 10.1145/1289927.1289949 – year: 2004 ident: ref22 article-title: Heterogeneous concurrent modeling and design in Java – year: 2017 ident: ref44 publication-title: Stateflow User's Guide (R2017b) – ident: ref24 doi: 10.1109/43.736561 – year: 2006 ident: ref52 article-title: Lucid synchrone, version 3. Tutorial and reference manual – year: 2014 ident: ref27 publication-title: System Design Modeling and Simulation Using Ptolemy II – start-page: 163 year: 1995 ident: ref56 article-title: Implementation of the data-flow synchronous language signal publication-title: Proc Program Lang Design Implement (PLDI) doi: 10.1145/207110.207134 – year: 2010 ident: ref45 publication-title: Functional Mock-up Interfacefor Model Exchange 1 0 – year: 2014 ident: ref2 publication-title: Modeling and Simulation From Physics to Software – year: 1999 ident: ref5 publication-title: System Identification-Theory for the User – year: 2002 ident: ref26 publication-title: A Tutorial of Lustre – year: 2001 ident: ref12 publication-title: Controller Style Guidelines for Production Intent Using MATLAB Simulink and Stateflow – start-page: 61 year: 2011 ident: ref16 article-title: Divide and recycle: Types and compilation for a hybrid synchronous language publication-title: Proc Lang Compilers Tools for Embedded Syst (LCTES) doi: 10.1145/1967677.1967687 – start-page: 71 year: 2014 ident: ref18 article-title: A type-based analysis of causality loops in hybrid systems modelers publication-title: Proc 17th Int Conf Hybrid Syst Comput Control (Part CPS Week) (HSCC) – ident: ref6 doi: 10.1145/2248418.2248437 – start-page: 1 year: 2017 ident: ref15 article-title: SCADE 6: A formal language for embedded critical software development publication-title: Proc IEEE Int Symp Theor Aspects Softw Eng (TASE) – volume: 21 start-page: 7 year: 2001 ident: ref13 article-title: On modelling guidelines: Flowchart patterns for STATEFLOW publication-title: Gesellschaft für Informatik FG 2 1 1 Softwaretechnik Trends – volume: 5469 start-page: 46 year: 2009 ident: ref39 article-title: Actors without directors: A Kahnian view of heterogeneous systems publication-title: Proc Hybrid Syst Comput Control 12th Int Conf (HSCC) – ident: ref61 doi: 10.1177/0037549714536255 – ident: ref23 doi: 10.1016/j.nahs.2017.04.004 – ident: ref32 doi: 10.1109/ACCESS.2014.2345759 – ident: ref20 doi: 10.1145/1089014.1089020 – year: 2007 ident: ref55 publication-title: Compiling Esterel – start-page: 376 year: 2009 ident: ref31 article-title: Towards computational hybrid system semantics for time-based block diagrams publication-title: Proc 3rd IFAC Conf Anal Des Hybrid Syst – ident: ref14 doi: 10.1109/JPROC.2002.805826 – ident: ref63 doi: 10.1145/2904081.2904091 – volume: 42 start-page: 376 year: 2009 ident: ref7 article-title: Towards computational hybrid system semantics for time-based block diagrams publication-title: IFAC Proc Volumes doi: 10.3182/20090916-3-ES-3003.00065 – start-page: 113 year: 2013 ident: ref21 article-title: Zélus: A synchronous language with ODEs publication-title: Hybrid Syst Comput Control – ident: ref25 doi: 10.1109/5.97300 – year: 2010 ident: ref46 publication-title: Functional Mock-up Interface for Model Exchange and Co-Simulation v2 0 – start-page: 253 year: 2017 ident: ref64 article-title: Structural analysis of multi-mode DAE systems publication-title: Proc 20th Int Conf Hybrid Syst Comput Control (HSCC) – ident: ref36 doi: 10.1017/CBO9781139172110.002 – volume: 600 start-page: 447 year: 1991 ident: ref33 article-title: From timed to hybrid systems publication-title: REX Workshop – volume: 1 year: 2008 ident: ref34 publication-title: Numerical Methods in Scientific Computing – year: 2017 ident: ref57 article-title: A synchronous look at the simulink standard library publication-title: Proc ACM Int Conf Embedded Softw (EMSOFT) – volume: 69 year: 2010 ident: ref59 publication-title: Nonsmooth Modeling and Simulation for Switched Circuits – year: 2006 ident: ref60 publication-title: Continuous System Simulation – ident: ref42 doi: 10.2307/1995158 – year: 1999 ident: ref11 publication-title: Structured Analysis and Design Using MATLAB/Simulink/Stateflow Modelling Style Guidelines Version 2 4 2 – volume: 2623 start-page: 328 year: 2003 ident: ref28 article-title: On the causality of mixed-signal and hybrid models publication-title: Proc 6th Int Workshop Hybrid Systems Computation Control (HSCC) doi: 10.1007/3-540-36580-X_25 – year: 1999 ident: ref53 article-title: The constructive semantics of pure Esterel – ident: ref10 doi: 10.1016/j.jcss.2011.08.009
SSID	ssj0003563
Score	2.3220577
Snippet	Hybrid systems modeling languages that mix discrete and continuous time signals and systems are widely used to develop cyber-physical systems where control... Hybrid systems modeling languages that mix discrete and continuous time signals and systems are widely used to develop Cyber-Physical systems where control...
SourceID	hal proquest crossref ieee
SourceType	Open Access Repository Aggregation Database Enrichment Source Index Database Publisher
StartPage	1568
SubjectTerms	Combinatorial analysis Compilers Computational modeling Computer models Computer Science Computer simulation Cyber-physical systems Differential equations Discrete-time systems Embedded Systems Hybrid systems Language Luster Mathematical model Modeling and Simulation nonlinear dynamical systems Numerical models Ordinary differential equations Programming Programming Languages Semantics systems modeling Systems modelling Time signals
Title	Building a Hybrid Systems Modeler on Synchronous Languages Principles
URI	https://ieeexplore.ieee.org/document/8466987 https://www.proquest.com/docview/2117175144 https://inria.hal.science/hal-01879026
Volume	106
WOSCitedRecordID	wos000445274600007&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText	1
inHoldings	1
isFullTextHit
isPrint
journalDatabaseRights	– providerCode: PRVIEE databaseName: IEEE Electronic Library (IEL) customDbUrl: eissn: 1558-2256 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0003563 issn: 0018-9219 databaseCode: RIE dateStart: 19630101 isFulltext: true titleUrlDefault: https://ieeexplore.ieee.org/ providerName: IEEE
link	http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1LS8NAEB5s8aAH32K0yiLeNDbvx7FKpYiPIgreQvaFgiTStAX_vTPJNiiK4C0su7Dk252db3dmPoATR8sETYBvh06U2gH3QzvnMrclD7jUUnAvaMQm4ru75Pk5HS_BWZsLo5Sqg8_UOX3Wb_myFDO6KuvjWRkhR-5AJ46jJlertbp-aFTTXNzAuA0XCTJO2r8eP9xfUhRXcu4lIZrk6Nsh1HmhEMhaW-WHQa5Pmav1_81vA9aMN8kGDfybsKSKLVj9UmNwG4YXRvia5Wz0QflZzFQpZ7e1Cs6ElQU2FYLK5Jazit2YK8yKjRc38dUOPF0NHy9HttFOsIUf-1NbRALJJ5ecO_SWot1ApCKXPPQCiU5V6kpPoqsgYx5qR-tEaXRNqDpdwpHiITvdhW5RFmoPWO5TpkecuHmiAxzPyctAr0l5gVYqdSxwFz8zE6awOOlbvGU1wXDSrAYgIwAyA4AFp-2Y96asxp-9jxGjtiNVxB4NbjJqI03BFHnk3LVgmxBpexkwLOgtIM3M9qwyZL1IY9FXDPZ_H3UAKzSBJpisB93pZKYOYVnMp6_V5KheeZ_Ol9Pu
linkProvider	IEEE
linkToHtml	http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1LSwMxEB5qFdSDb7E-g3jT1X22u0ctLVVrLaLgLWxeKMhWum3Bf-_MNl0URfC2hATCfslkvmRmPoAT16gYTUDgRG49cUIRRE4qVOooEQpllBR-OBWbaPR68fNz0q_AWZkLo7Uugs_0OX0Wb_lqIMd0VXaBZ2UdOfIczJNyls3WKu1uEFndNA-3MG7EWYqMm1zc9B_umxTHFZ_7cYRGuf7tGJp7oSDIQl3lh0kuzpn26v9muAYr1p9kl9MFsA4VnW3A8pcqg5vQurLS1yxlnQ_K0GK2Tjm7K3RwhmyQYVMmqVDuYJyzrr3EzFl_dhefb8FTu_XY7DhWPcGRQSMYObIukX4KJYRLrynGC2UiUyUiP1ToViWe8hU6C6ohIuMaE2uDzgnVp4sFkjzkp9tQzQaZ3gGWBpTr0Yi9NDYhjhfkZ6DfpP3QaJ24NfBmP5NLW1qcFC7eeEEx3IQXAHACgFsAanBajnmfFtb4s_cxYlR2pJrYncsupzZSFUyQSU68GmwSImUvC0YN9meQcrtBc468F4kseovh7u-jjmCx83jX5d3r3u0eLNFkpqFl-1AdDcf6ABbkZPSaDw-LVfgJBZbXNw
openUrl	ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Building+a+Hybrid+Systems+Modeler+on+Synchronous+Languages+Principles&rft.jtitle=Proceedings+of+the+IEEE&rft.au=Benveniste%2C+Albert&rft.au=Bourke%2C+Timothy&rft.au=Caillaud%2C+Benoit&rft.au=Cola%C3%A7o%2C+Jean-Louis&rft.series=Design+Automation+for+Cyber-Physical+Systems&rft.date=2018-09-01&rft.pub=Institute+of+Electrical+and+Electronics+Engineers&rft.issn=0018-9219&rft.eissn=1558-2256&rft.volume=106&rft.issue=9&rft.spage=1568&rft.epage=1592&rft_id=info:doi/10.1109%2FJPROC.2018.2858016&rft.externalDBID=HAS_PDF_LINK&rft.externalDocID=oai%3AHAL%3Ahal-01879026v1
thumbnail_l	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0018-9219&client=summon
thumbnail_m	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0018-9219&client=summon
thumbnail_s	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0018-9219&client=summon