Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Ben Denckla"'
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:
Ben Denckla, Pieter J. Mosterman
Publikováno v:
IFAC Proceedings Volumes. 41:7955-7960
Block diagrams are often used in embedded system design for modeling both plant and controller, typically with continuous and discrete modeling, respectively. Though easy to use, advanced users and implementers of these languages often run afoul of s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fbec921f3980f963e382d66644f570c5
https://doi.org/10.3182/20080706-5-kr-1001.01344
https://doi.org/10.3182/20080706-5-kr-1001.01344
Autor:
Ben Denckla
Publikováno v:
ACM SIGPLAN Notices. 41:16-20
Some cyclic block diagrams need parallel semantics: they are syntactically invalid or semantically nonterminating in any block diagram language with sequential semantics. Yet, many cyclic block diagrams do not need parallel semantics: they behave the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::48236418e408356cdf09cb2e9c83ff18
https://doi.org/10.1145/1163566.1163572
https://doi.org/10.1145/1163566.1163572
Autor:
Ben Denckla, Pieter J. Mosterman
Publikováno v:
Proceedings of the 44th IEEE Conference on Decision and Control.
This paper attempts to formalize the semantics of causal block diagrams, a language that is extensively used in the design of technical systems. The formalization is based on lambda calculus, and implemented in the declarative functional language Has
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9e59c27b51d1d4d1db048847ee9724d0
https://doi.org/10.1109/cdc.2005.1582820
https://doi.org/10.1109/cdc.2005.1582820
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
