Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Grégoire Hamon"'
Publikováno v:
Control Engineering Practice. 20:2-13
Computation has quickly become of paramount importance in the design of engineered systems, both to support their features as well as their design. Tool support for high-level modeling formalisms has endowed design specifications with executable sema
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ecbb023cbd2f1754f97e10f9b8312cde
https://doi.org/10.1016/j.conengprac.2011.04.013
https://doi.org/10.1016/j.conengprac.2011.04.013
Publikováno v:
IFAC Proceedings Volumes. 44:9419-9424
Hybrid dynamic systems combine continuous and discrete behavior. Often, computational approaches approximate behavior of an analytic solution, for example, numerical integration to approximate differential equation behavior. The accuracy and computat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b408e4f19915f4aa76ab887944d51bb3
https://doi.org/10.3182/20110828-6-it-1002.02485
https://doi.org/10.3182/20110828-6-it-1002.02485
Autor:
Grégoire Hamon
Publikováno v:
Electronic Notes in Theoretical Computer Science. 153:37-54
We introduce variant types and a pattern matching operation to synchronous dataflow languages. These languages are used in the design of reactive systems. As these systems grow increasingly complex, the need for abstraction mechanisms, in particular,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b8bcac29310d06b6bd1758688ca2e85d
https://doi.org/10.1016/j.entcs.2006.02.024
https://doi.org/10.1016/j.entcs.2006.02.024
Publikováno v:
Modeling and Verification of Real-Time Systems: Formalisms and Software Tools
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::67eb0a7ae184a7dfadb28966b8447880
https://doi.org/10.1002/9780470611012.ch7
https://doi.org/10.1002/9780470611012.ch7
Publikováno v:
LCTES
The compilation of synchronous block diagrams into sequential imperative code has been addressed in the early eighties and can now be considered as folklore. However, separate, or modular, code generation, though largely used in existing compilers an
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8a08775705cf89ca768eafe4e604ecb3
https://doi.org/10.1145/1375657.1375674
https://doi.org/10.1145/1375657.1375674
Publikováno v:
EMSOFT
Synchronous data-flow languages such as SCADE LUSTRE manage infinite sequences, or streams, as primitive values making them naturally adapted to the description of dominated systems. Their conservative extension with means to define control-structure
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::acbd595db6d45c09950f038dc9999e55
https://doi.org/10.1145/1176887.1176899
https://doi.org/10.1145/1176887.1176899
Autor:
Grégoire Hamon
Publikováno v:
EMSOFT
We present a denotational semantics for Stateflow, the graphical Statecharts-like language of the Matlab/Simulink toolsuite. This semantics makes use of continuations to capture even the most complex constructions of the language, such as inter-level
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5ac3d6e6d5f769ab88ab50353652ed78
https://doi.org/10.1145/1086228.1086260
https://doi.org/10.1145/1086228.1086260
Publikováno v:
EMSOFT
ACM Fourth International Conference on Embedded Software (EMSOFT'04)
ACM Fourth International Conference on Embedded Software (EMSOFT'04), Sep 2004, Pisa, Italy. pp.230-239, ⟨10.1145/1017753.1017792⟩
ACM Fourth International Conference on Embedded Software (EMSOFT'04)
ACM Fourth International Conference on Embedded Software (EMSOFT'04), Sep 2004, Pisa, Italy. pp.230-239, ⟨10.1145/1017753.1017792⟩
International audience; The paper introduces a higher-order synchronous data-flow language in which communication channels may themselves transport programs. This provides a mean to dynamically reconfigure data-flow processes. The language comes as a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9df34704f52c711683df8ace928d79da
https://doi.org/10.1145/1017753.1017792
https://doi.org/10.1145/1017753.1017792
Autor:
Grégoire Hamon, Sylvain Boulmé
Publikováno v:
Logic for Programming, Artificial Intelligence, and Reasoning ISBN: 9783540429579
LPAR
LPAR 2001-8th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
LPAR 2001-8th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Dec 2001, La Havana, Cuba. pp.495-506, ⟨10.1007/3-540-45653-8_34⟩
LPAR
LPAR 2001-8th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
LPAR 2001-8th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Dec 2001, La Havana, Cuba. pp.495-506, ⟨10.1007/3-540-45653-8_34⟩
International audience; We express reactive programs in COQ using data-flow synchronous operators. Following LUID-SYNCHROME approach, synchronous static constraints are here expressed using dependent types. Hence, our analysis of synchrony is here di
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ddc3d0670fceacd0e7a9a42f9b804d09
https://doi.org/10.1007/3-540-45653-8_34
https://doi.org/10.1007/3-540-45653-8_34
Publikováno v:
Scopus-Elsevier
ADHS
ADHS
At the core of Model-Based Design, computational models have caused an autocatalytic trend to use computation in design by unlocking the potential of model transformations. Precisely specifying a computational transformation requires well-defined sem
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3d0b793860a8a272ff80202a8622e182
http://www.scopus.com/inward/record.url?eid=2-s2.0-78651473044&partnerID=MN8TOARS
http://www.scopus.com/inward/record.url?eid=2-s2.0-78651473044&partnerID=MN8TOARS